Psamathe: A DSL with Flows for Safe Blockchain Assets (extended abstract)
Blockchains host smart contracts for crowdfunding, tokens, and many other purposes. Vulnerabilities in contracts are often discovered, leading to the loss of large quantities of money. Psamathe is a new language we are designing around a new flow abstraction, reducing asset bugs and making contracts more concise than in existing languages. We present an overview of Psamathe, and an example contract in Psamathe, and compare it to the same program written in Solidity.
Tue 19 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
18:00 - 19:30
|Synchronous Message-Passing with Priority|
|Putting gradual types to work|
|Psamathe: A DSL with Flows for Safe Blockchain Assets (extended abstract)|
Reed Oei University of Illinois at Urbana-Champaign, Michael Coblenz University of Maryland at College Park, Jonathan Aldrich Carnegie Mellon UniversityFile Attached