22 citations · 34 across the 10 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018
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…
cs.PL2018
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…