| Isolation without Taxation Near-Zero-Cost Transitions for WebAssembly and SFI | 0 | 0.34 | 2022 |
| Solver-Aided Constant-Time Hardware Verification | 0 | 0.34 | 2021 |
| Automatically eliminating speculative leaks from cryptographic code with blade | 3 | 0.37 | 2021 |
| RAPID: checking API usage for the cloud in the cloud | 0 | 0.34 | 2021 |
| Refinements of Futures Past - Higher-Order Specification with Implicit Refinement Types. | 0 | 0.34 | 2021 |
| Refinement Types: A Tutorial | 0 | 0.34 | 2021 |
| STORM - Refinement Types for Secure Web Applications. | 0 | 0.34 | 2021 |
| PABLO - Helping Novices Debug Python Code Through Data-Driven Fault Localization. | 0 | 0.34 | 2020 |
| Type error feedback via analytic program repair | 1 | 0.35 | 2020 |
| Digging for fold: synthesis-aided API discovery for Haskell | 0 | 0.34 | 2020 |
| Block public access: trust safety verification of access control policies | 0 | 0.34 | 2020 |
| Program synthesis by type-guided abstraction refinement | 1 | 0.40 | 2020 |
| InFix - Automatically Repairing Novice Program Inputs. | 2 | 0.36 | 2019 |
| Iodine: Verifying Constant-Time Execution Of Hardware | 0 | 0.34 | 2019 |
| FaCT: a DSL for timing-sensitive computation | 2 | 0.35 | 2019 |
| Pretend synchrony: synchronous verification of asynchronous distributed programs. | 0 | 0.34 | 2019 |
| Lazy counterfactual symbolic execution | 0 | 0.34 | 2019 |
| Refinement reflection: complete verification with SMT | 6 | 0.57 | 2018 |
| Towards Verified, Constant-time Floating Point Operations. | 3 | 0.37 | 2018 |
| Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong). | 0 | 0.34 | 2018 |
| Finding and Preventing Bugs in JavaScript Bindings | 4 | 0.42 | 2017 |
| Local refinement typing | 0 | 0.34 | 2017 |
| Learning to blame: localizing novice type errors with data-driven diagnosis | 2 | 0.35 | 2017 |
| Verifying distributed programs via canonical sequentialization | 2 | 0.37 | 2017 |
| Deriving Law-Abiding Instances. | 0 | 0.34 | 2017 |
| FaCT: A Flexible, Constant-Time Programming Language | 4 | 0.39 | 2017 |
| Refinement Types for TypeScript. | 8 | 0.48 | 2016 |
| Printing floating-point numbers: a faster, always correct method. | 1 | 0.39 | 2016 |
| Dynamic Witnesses for Static Type Errors. | 3 | 0.40 | 2016 |
| Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131). | 0 | 0.34 | 2016 |
| Refinement Reflection (or, how to turn your favorite language into a proof assistant using SMT). | 1 | 0.39 | 2016 |
| Nsf Expedition On Variability-Aware Software: Recent Results And Contributions | 3 | 0.37 | 2015 |
| Trust, but Verify: Two-Phase Typing for Dynamic Languages. | 2 | 0.36 | 2015 |
| On Subnormal Floating Point and Abnormal Timing | 35 | 0.98 | 2015 |
| Bounded refinement types | 8 | 0.45 | 2015 |
| LiquidHaskell: experience with refinement types in the real world | 19 | 0.77 | 2014 |
| Refinement types for Haskell | 14 | 0.56 | 2014 |
| From Safety To Termination And Back: SMT-Based Verification For Lazy Languages. | 0 | 0.34 | 2014 |
| Abstractions from proofs | 217 | 10.72 | 2014 |
| Type Targeted Testing | 6 | 0.45 | 2014 |
| Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271). | 0 | 0.34 | 2014 |
| Refinement types for Haskell | 10 | 0.52 | 2014 |
| Abstract refinement types | 22 | 0.72 | 2013 |
| Dependent types for JavaScript | 24 | 0.89 | 2012 |
| Deterministic parallelism via liquid effects | 7 | 0.52 | 2012 |
| Nested refinements: a logic for duck typing | 23 | 0.82 | 2012 |
| CSolve: verifying c with liquid types | 5 | 0.40 | 2012 |
| Verifying GPU kernels by test amplification | 27 | 0.94 | 2012 |
| Towards verifying android apps for the absence of no-sleep energy bugs | 19 | 0.91 | 2012 |
| System D: Dependent Dynamic Dictionaries | 0 | 0.34 | 2011 |
