POPL 2021 (series) / PADL 2021 (series) / The 23rd International Symposium on Practical Aspects of Declarative Languages (PADL) 2021 /
Psamathe: A DSL with Flows for Safe Blockchain Assets (extended abstract)
Tue 19 Jan 2021 19:00 - 19:30 at PADL - Foundations and Programming Concepts at Work Chair(s): Mario Alviano
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.
Submission (padl-21.pdf) | 170KiB |
Tue 19 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 19 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
18:00 - 19:30 | Foundations and Programming Concepts at WorkPADL at PADL Chair(s): Mario Alviano University of Calabria | ||
18:00 30mResearch paper | Synchronous Message-Passing with Priority PADL Cheng-En Chuang University at Buffalo, Grant Iraci University at Buffalo, Lukasz Ziarek SUNY Buffalo, USA | ||
18:30 30mResearch paper | Putting gradual types to work PADL Bhargav Shivkumar State University of New York - University at Buffalo, Enrique Naudon Bloomberg, Lukasz Ziarek SUNY Buffalo, USA | ||
19:00 30mShort-paper | Psamathe: A DSL with Flows for Safe Blockchain Assets (extended abstract) PADL Reed Oei University of Illinois at Urbana-Champaign, Michael Coblenz University of Maryland at College Park, Jonathan Aldrich Carnegie Mellon University File Attached |