ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Wed 18 Nov 2020 11:40 - 12:00 at SPLASH-V - Scala Symposium

In this paper, we introduce Asterisk as a new statically-typed programming language that is built on top of the Scala compiler. This new programming language is particularly designed for building safe and reliable Ethereum smart contracts. Because the Ethereum platform supports the execution of decentralized programs (i.e., smart contracts), Asterisk can have broad applications in new domains of technology such as financial system, health care, and 5G networks. Moreover, Ethereum operates the second-largest cryptocurrency after Bitcoin, typically for holding and transferring digital assets on the blockchain platform. Consequently, the role of smart contract compilers is even more important in generating portable, secure, and predictable code under real-world circumstances in the blockchain network. Accordingly, Asterisk aims to empower the Ethereum community to deploy robust code for business-critical and high-value use cases. Asterisk’s compilation architecture leverages Scala, and therefore, the generated smart contracts by Asterisk are cross-platform in the sense that a compiled contract runs on all platforms for which there exists a Java Virtual Machine (JVM). The compiler structure also supports formal verification to guarantee the reliability and safety of the bytecode produced by Asterisk at runtime.

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

09:00 - 14:20: Scala SymposiumScala at SPLASH-V
10:00 - 10:05
Day opening
Scala
Nada AminHarvard University, Guido SalvaneschiUniversity of St. Gallen, David RichterTechnische Universität Darmstadt
10:05 - 10:40
Keynote
Scala
10:40 - 11:00
Talk
Scala
11:00 - 11:20
Paper
Scala
Mohammadreza AshouriUniversity of Potsdam, Germany
11:40 - 12:00
Talk
Scala
Mohammadreza AshouriUniversity of Potsdam, Germany
12:00 - 12:20
Paper
Scala
Shadaj LaddadUniversity of California at Berkeley, Koushik SenUniversity of California at Berkeley
12:20 - 12:40
Paper
Scala
Nicolas StuckiEPFL, Switzerland, Aggelos BiboudisEPFL, Sébastien DoeraeneEPFL, Switzerland, Martin OderskyEPFL
12:40 - 13:00
Talk
Scala
Ifaz KabirUniversity of Alberta, Karim AliUniversity of Alberta
13:00 - 13:20
Day closing
Scala
Nada AminHarvard University, Guido SalvaneschiUniversity of St. Gallen, David RichterTechnische Universität Darmstadt