| BinFPE: accurate floating-point exception detection for GPU applications | 0 | 0.34 | 2022 |
| Automata and Computability Education via Jove | 0 | 0.34 | 2021 |
| ArcherGear: data race equivalencing for expeditious HPC debugging | 1 | 0.37 | 2020 |
| Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions. | 33 | 0.99 | 2019 |
| Multi-level analysis of compiler induced variability and performance tradeoffs. | 0 | 0.34 | 2018 |
| An Operational Semantic Basis for Building an OpenMP Data Race Checker | 1 | 0.36 | 2018 |
| Moving the Needle on Rigorous Floating-Point Precision Tuning. | 0 | 0.34 | 2017 |
| An Operational Semantic Basis for OpenMP Race Analysis. | 0 | 0.34 | 2017 |
| FLiT: Cross-platform floating-point result-consistency tester and workload | 2 | 0.38 | 2017 |
| Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC. | 0 | 0.34 | 2017 |
| Rigorous floating-point mixed-precision tuning. | 20 | 1.07 | 2017 |
| Portable inter-workgroup barrier synchronisation for GPUs. | 5 | 0.43 | 2016 |
| A Parameterized Floating-Point Formalizaton in HOL Light | 4 | 0.40 | 2015 |
| Achieving Formal Parallel Program Debugging by Incentivizing CS/HPC Collaborative Tool Development | 0 | 0.34 | 2015 |
| Towards Providing Low-Overhead Data Race Detection for Large OpenMP Applications | 5 | 0.50 | 2014 |
| Practical symbolic race checking of GPU programs | 12 | 0.62 | 2014 |
| Towards Formal Approaches to System Resilience | 31 | 0.98 | 2013 |
| Towards shared memory consistency models for GPUs | 7 | 0.54 | 2013 |
| Hybrid approach for data-flow analysis of MPI programs | 8 | 0.53 | 2013 |
| Abstract: MAPPED: Predictive Dynamic Analysis Tool for MPI Applications | 0 | 0.34 | 2012 |
| GKLEE: concolic verification and test generation for GPUs | 59 | 2.30 | 2012 |
| A sound reduction of persistent-sets for deadlock detection in MPI applications | 2 | 0.37 | 2012 |
| Formal Methods for Surviving the Jungle of Heterogeneous Parallelism | 0 | 0.34 | 2012 |
| Formal Analysis of Message Passing - (Invited Talk) | 0 | 0.34 | 2011 |
| Practical parallel and concurrent programming | 9 | 0.64 | 2011 |
| Bug-Assist: assisting fault localization in ANSI-C programs | 12 | 0.62 | 2011 |
| Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update | 9 | 0.59 | 2011 |
| Formal analysis of MPI-based parallel programs | 35 | 1.33 | 2011 |
| Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings | 55 | 7.13 | 2011 |
| Top ten ways to make formal methods for HPC practical | 1 | 0.37 | 2010 |
| Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols | 10 | 0.52 | 2010 |
| Scalable verification of MPI programs | 1 | 0.36 | 2010 |
| Scalable SMT-based verification of GPU kernel functions | 60 | 2.58 | 2010 |
| Precise dynamic analysis for slack elasticity: adding buffering without adding bugs | 6 | 0.46 | 2010 |
| Distributed dynamic partial order reduction | 1 | 0.35 | 2010 |
| Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking | 2 | 0.37 | 2010 |
| Reduced Execution Semantics of MPI: From Theory to Practice | 9 | 0.64 | 2009 |
| MCC: A runtime verification tool for MCAPI user applications | 12 | 0.67 | 2009 |
| Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract) | 2 | 0.39 | 2009 |
| Some resources for teaching concurrency | 1 | 0.39 | 2009 |
| Formal verification of practical MPI programs | 45 | 2.14 | 2009 |
| Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009 | 9 | 0.76 | 2009 |
| ISP Tool Update: Scalable MPI Verification. | 1 | 0.36 | 2009 |
| Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis | 15 | 0.62 | 2009 |
| Practical Formal Verification of MPI and Thread Programs | 1 | 0.37 | 2009 |
| Dynamic Verification Of Multicore Communication Applications In Mcapi | 1 | 0.36 | 2009 |
| Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism | 4 | 0.51 | 2009 |
| Review computation engineering: applied automata theory and logic | 0 | 0.34 | 2008 |
| Formal specification of the MPI-2.0 standard in TLA+ | 9 | 0.62 | 2008 |
| Scheduling considerations for building dynamic verification tools for MPI | 7 | 0.60 | 2008 |
