| A functional proof pearl - inverting the Ackermann hierarchy. | 0 | 0.34 | 2020 |
| Certifying graph-manipulating C programs via localizations within data structures | 0 | 0.34 | 2019 |
| Logical Reasoning for Disjoint Permissions. | 2 | 0.36 | 2018 |
| BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. | 0 | 0.34 | 2018 |
| Exploiting The Laws of Order in Smart Contracts. | 8 | 0.51 | 2018 |
| Scilla: a Smart Contract Intermediate-Level LAnguage. | 4 | 0.44 | 2018 |
| Complexity Analysis of Tree Share Structure. | 0 | 0.34 | 2018 |
| Temporal Properties of Smart Contracts. | 1 | 0.35 | 2018 |
| A Concurrent Perspective on Smart Contracts. | 12 | 0.61 | 2017 |
| A Certified Decision Procedure for Tree Shares. | 2 | 0.37 | 2017 |
| Verifying Concurrent Graph Algorithms. | 2 | 0.44 | 2016 |
| Decidability and Complexity of Tree Share Formulas. | 0 | 0.34 | 2016 |
| On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining. | 25 | 2.29 | 2015 |
| Specifying Compatible Sharing in Data Structures. | 0 | 0.34 | 2015 |
| Certified Reasoning with Infinity. | 1 | 0.38 | 2015 |
| A Resource-Based Logic for Termination and Non-termination Proofs. | 5 | 0.40 | 2014 |
| The ramifications of sharing in data structures | 21 | 0.75 | 2013 |
| Barriers in Concurrent Separation Logic: Now With Tool Support! | 2 | 0.37 | 2012 |
| Time Bounds for General Function Pointers | 1 | 0.35 | 2012 |
| Decision Procedures over Sophisticated Fractional Permissions. | 8 | 0.51 | 2012 |
| Barriers in Concurrent Separation Logic: Now With Tool Support! | 0 | 0.34 | 2012 |
| Barriers in Concurrent Separation Logic | 18 | 0.78 | 2011 |
| Teaching experience: logic and formal methods with coq | 3 | 0.41 | 2011 |
| A logical mix of approximation and separation | 2 | 0.41 | 2010 |
| A Theory of Termination via Indirection. | 3 | 0.43 | 2010 |
| A Fresh Look at Separation Algebras and Share Accounting | 58 | 1.79 | 2009 |
| Oracle semantics for concurrent separation logic | 62 | 2.72 | 2008 |
| Multimodal Separation Logic for Reasoning About Operational Semantics | 3 | 0.41 | 2008 |
