Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings | 0 | 0.34 | 2022 |
Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis. | 0 | 0.34 | 2021 |
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers. | 0 | 0.34 | 2020 |
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers. | 0 | 0.34 | 2020 |
Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis. | 1 | 0.37 | 2019 |
Paxos Consensus, Deconstructed and Abstracted. | 0 | 0.34 | 2018 |