84 citations · 356 across the 59 of their papers we have counts for
5 papers · 1 filter
Formal Specification and Verification of Smart Contracts for Azure Blockchain
Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen +4
Ensuring correctness of smart contracts is paramount to ensuring trust in blockchain-based systems. This paper studies the safety and security of smart contracts in the \emph{Azure…
Relational Program Synthesis
Yuepeng Wang, Xinyu Wang, Isil Dillig
This paper proposes relational program synthesis, a new problem that concerns synthesizing one or more programs that collectively satisfy a relational specification. As a dual of r…
Learning Abstractions for Program Synthesis
Xinyu Wang, Greg Anderson, Isil Dillig +1
Many example-guided program synthesis techniques use abstractions to prune the search space. While abstraction-based synthesis has proven to be very powerful, a domain expert needs…
Symbolic Reasoning for Automatic Signal Placement (Extended Version)
Kostas Ferles, Jacob Van Geffen, Isil Dillig +1
Explicit signaling between threads is a perennial cause of bugs in concurrent programs. While there are several run-time techniques to automatically notify threads upon the availab…
Verifying Semantic Conflict-Freedom in Three-Way Program Merges
Marcelo Sousa, Isil Dillig, Shuvendu Lahiri
Even though many programmers rely on 3-way merge tools to integrate changes from different branches, such tools can introduce subtle bugs in the integration process. This paper aim…