Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
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

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
Research paper
Synchronous Message-Passing with Priority
Cheng-En Chuang University at Buffalo, Grant Iraci University at Buffalo, Lukasz Ziarek SUNY Buffalo, USA
Research paper
Putting gradual types to work
Bhargav Shivkumar State University of New York - University at Buffalo, Enrique Naudon Bloomberg, Lukasz Ziarek SUNY Buffalo, USA
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 University
File Attached