Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Fri 19 Jun 2020 09:20 - 09:40 at PLDI Research Papers live stream - Smart Contracts Chair(s): Ilya Sergey

We present Solythesis, a source to source Solidity compiler which takes a smart contract code and a user specified invariant as the input and produces an instrumented contract that rejects all transactions that violate the invariant. The design of Solythesis is driven by our observation that the consensus protocol and the storage layer are the primary and the secondary performance bottlenecks of Ethereum, respectively. Solythesis operates with our novel delta update and delta check techniques to minimize the overhead caused by the instrumented storage access statements. Our experimental results validate our hypothesis that the overhead of runtime validation, which is often too expensive for other domains, is in fact negligible for smart contracts. The CPU overhead of Solythesis is only 0.1% on average for our 23 benchmark contracts.

Fri 19 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

pldi-2020-papers
09:20 - 10:20: PLDI Research Papers - Smart Contracts at PLDI Research Papers live stream
Chair(s): Ilya SergeyYale-NUS College and National University of Singapore

YouTube lightning session video

pldi-2020-papers09:20 - 09:40
Talk
Ao LiUniversity of Toronto, Canada, Jemin Andrew ChoiUniversity of Toronto, Canada, Fan LongUniversity of Toronto, Canada
pldi-2020-papers09:40 - 10:00
Talk
Lexi BrentInternational Computer Science Institute, USA / University of Sydney, Australia, Neville GrechUniversity of Athens, Greece, Sifis LagouvardosUniversity of Athens, Greece, Bernhard ScholzUniversity of Sydney, Australia, Yannis SmaragdakisUniversity of Athens, Greece
pldi-2020-papers10:00 - 10:20
Talk
Sidi Mohamed BeillahiIRIF - Université de Paris, Gabriela CiocarlieSRI International, Michael EmmiAmazon Web Services, Constantin EneaUniversity of Paris Diderot, France