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 Jan Times are displayed in 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 OeiUniversity of Illinois at Urbana-Champaign, Michael CoblenzUniversity of Maryland at College Park, Jonathan AldrichCarnegie Mellon UniversityFile Attached