| Transparent IFC Enforcement: Possibility and (In)Efficiency Results | 0 | 0.34 | 2020 |
| The anchor verifier for blocking and non-blocking concurrent software | 0 | 0.34 | 2020 |
| IDVE: an integrated development and verification environment for JavaScript | 0 | 0.34 | 2019 |
| Optimising Faceted Secure Multi-Execution | 1 | 0.35 | 2019 |
| A Better Facet of Dynamic Information Flow Control. | 4 | 0.38 | 2018 |
| VerifiedFT: a verified, high-performance precise dynamic race detector. | 1 | 0.36 | 2018 |
| ESVERIFY: Verifying Dynamically-Typed Higher-Order Functional Programs by SMT Solving | 0 | 0.34 | 2018 |
| Faceted Secure Multi Execution. | 6 | 0.40 | 2018 |
| Correctness of Partial Escape Analysis for Multithreading Optimization | 0 | 0.34 | 2017 |
| Multiple Facets for Dynamic Information Flow with Exceptions. | 2 | 0.36 | 2017 |
| BigFoot: static check placement for dynamic race detection. | 5 | 0.39 | 2017 |
| Using Precise Taint Tracking for Auto-sanitization. | 2 | 0.38 | 2017 |
| Precise, Dynamic Information Flow for Database-Backed Applications | 7 | 0.44 | 2016 |
| Faceted Dynamic Information Flow via Control and Data Monads. | 9 | 0.48 | 2016 |
| Macrofication: Refactoring by Reverse Macro Expansion. | 0 | 0.34 | 2016 |
| Array Shadow State Compression for Precise Dynamic Race Detection (T) | 8 | 0.43 | 2015 |
| Game Semantics for Type Soundness | 0 | 0.34 | 2015 |
| End-To-End Policy-Agnostic Security for Database-Backed Applications | 2 | 0.39 | 2015 |
| Sweeten your JavaScript: hygienic macros for ES5 | 4 | 0.46 | 2014 |
| Practices of PLDI | 0 | 0.34 | 2014 |
| Developments in automated verification techniques. | 0 | 0.34 | 2014 |
| Dynamic detection of object capability violations through model checking | 1 | 0.34 | 2014 |
| Faceted execution of policy-agnostic programs | 9 | 0.46 | 2013 |
| RedCard: redundant check elimination for dynamic race detectors | 23 | 0.62 | 2013 |
| PLDI 2002: Extended static checking for Java | 4 | 0.41 | 2013 |
| Cooperative types for controlling thread interference in Java | 9 | 0.46 | 2012 |
| Sound predictive race detection in polynomial time | 73 | 1.46 | 2012 |
| Multiple facets for dynamic information flow | 83 | 2.13 | 2012 |
| Detecting inconsistencies via universal reachability analysis | 13 | 0.65 | 2012 |
| A Functional View of Imperative Information Flow. | 5 | 0.42 | 2012 |
| Cooperative Concurrency for a Multicore World - (Extended Abstract). | 0 | 0.34 | 2011 |
| Virtual values for language extension | 15 | 0.80 | 2011 |
| Temporal higher-order contracts | 10 | 0.52 | 2011 |
| Permissive dynamic information flow analysis | 48 | 1.25 | 2010 |
| Hybrid type checking | 29 | 1.16 | 2010 |
| Adversarial memory for detecting destructive races | 26 | 0.92 | 2010 |
| Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010 | 6 | 0.48 | 2010 |
| The RoadRunner Dynamic Analysis Framework for Concurrent Programs | 56 | 1.66 | 2010 |
| Effects for cooperable and serializable threads | 7 | 0.48 | 2010 |
| 09361 Abstracts Collection - Design and Validation of Concurrent Systems. | 0 | 0.34 | 2009 |
| SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs | 35 | 1.14 | 2009 |
| Compositional reasoning and decidable checking for dependent contract types | 3 | 0.39 | 2009 |
| SideTrack: generalizing dynamic atomicity analysis | 16 | 0.77 | 2009 |
| Atomizer: A dynamic atomicity checker for multithreaded programs | 201 | 7.07 | 2008 |
| Types for atomicity: Static checking and inference for Java | 29 | 0.86 | 2008 |
| Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs | 109 | 2.67 | 2008 |
| Type inference against races | 23 | 1.38 | 2007 |
| Type reconstruction for general refinement types | 14 | 0.96 | 2007 |
| Space-efficient gradual typing | 29 | 1.50 | 2007 |
| Cartesian Partial-Order Reduction | 37 | 1.49 | 2007 |
