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 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 19 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
18:00 - 19:30: Foundations and Programming Concepts at WorkPADL at PADL Chair(s): Mario AlvianoUniversity of Calabria | |||
18:00 - 18:30 Research paper | Synchronous Message-Passing with Priority PADL Cheng-En ChuangUniversity at Buffalo, Grant IraciUniversity at Buffalo, Lukasz ZiarekSUNY Buffalo, USA | ||
18:30 - 19:00 Research paper | Putting gradual types to work PADL Bhargav ShivkumarState University of New York - University at Buffalo, Enrique NaudonBloomberg, Lukasz ZiarekSUNY Buffalo, USA | ||
19:00 - 19:30 Short-paper | Psamathe: A DSL with Flows for Safe Blockchain Assets (extended abstract) PADL Reed OeiUniversity of Illinois at Urbana-Champaign, Michael CoblenzUniversity of Maryland at College Park, Jonathan AldrichCarnegie Mellon University File Attached |