| Verifying Visibility-Based Weak Consistency | 0 | 0.34 | 2020 |
| Behavioral simulation for smart contracts | 0 | 0.34 | 2020 |
| Violat: Generating Tests Of Observational Refinement For Concurrent Objects | 0 | 0.34 | 2019 |
| On The Complexity Of Checking Consistency For Replicated Data Types | 0 | 0.34 | 2019 |
| Weak-consistency specification via visibility relaxation. | 0 | 0.34 | 2019 |
| ct-fuzz: Fuzzing for Timing Leaks | 2 | 0.36 | 2019 |
| Sound, complete, and tractable linearizability monitoring for concurrent collections | 1 | 0.38 | 2018 |
| Monitoring Weak Consistency | 0 | 0.34 | 2018 |
| Exposing Non-Atomic Methods of Concurrent Objects. | 1 | 0.36 | 2017 |
| Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency. | 2 | 0.37 | 2017 |
| Symbolic abstract data type inference. | 1 | 0.37 | 2016 |
| Verifying Constant-Time Implementations | 26 | 0.74 | 2016 |
| SMACK software verification toolchain. | 8 | 0.53 | 2016 |
| On Reducing Linearizability to State Reachability. | 4 | 0.40 | 2015 |
| Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk). | 0 | 0.34 | 2015 |
| Monitoring refinement via symbolic reasoning | 4 | 0.39 | 2015 |
| SMACK+Corral: A Modular Verifier - (Competition Contribution). | 0 | 0.34 | 2015 |
| Tractable Refinement Checking for Concurrent Objects | 17 | 0.66 | 2015 |
| Systematic Asynchrony Bug Exploration For Android Apps | 6 | 0.44 | 2015 |
| Bounded phase analysis of message-passing programs | 19 | 0.70 | 2014 |
| Exploiting synchronization in the analysis of shared-memory asynchronous programs | 4 | 0.43 | 2014 |
| Analysis of Recursively Parallel Programs | 12 | 0.57 | 2013 |
| Verifying concurrent programs against sequential specifications | 21 | 0.83 | 2013 |
| Finding non-terminating executions in distributed asynchronous programs | 3 | 0.41 | 2012 |
| Asynchronous programs with prioritized task-buffers | 12 | 0.57 | 2012 |
| Detecting fair non-termination in multithreaded programs | 16 | 0.60 | 2012 |
| On sequentializing concurrent programs | 10 | 0.58 | 2011 |
| Parameterized verification of transactional memories | 8 | 0.50 | 2010 |
| Verifying Reference Counting Implementations | 11 | 0.65 | 2009 |
| Assume-Guarantee Verification for Interface Automata | 20 | 0.73 | 2008 |
| Dynamic test input generation for database applications | 114 | 5.32 | 2007 |
| Verifying Compensating Transactions | 4 | 0.50 | 2007 |
| Assembling an expressive facial animation system | 23 | 0.96 | 2007 |
| Decision problems for the verification of real-time software | 16 | 0.72 | 2006 |
