Synthesizing fine-grained synchronization protocols for implicit monitors | 0 | 0.34 | 2022 |
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts | 1 | 0.35 | 2021 |
Symbolic Reasoning for Automatic Signal Placement | 0 | 0.34 | 2020 |
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. | 2 | 0.37 | 2019 |
Symbolic Reasoning for Automatic Signal Placement (Extended Version). | 0 | 0.34 | 2018 |
A Datalog model of must-alias analysis | 0 | 0.34 | 2017 |
Failure-Directed Program Trimming (Extended Version). | 0 | 0.34 | 2017 |