Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Tue 22 Sep 2020 16:20 - 16:40 at Kangaroo - Synthesis and Repair Chair(s): Shahar Maoz

This paper aims to shed light on how loops are used in smart contracts. Towards this goal, we study various syntactic and semantic characteristics of loops used in over 20,000 Solidity contracts deployed on the Ethereum block chain, with the goal of informing future research on program analysis for smart contracts. Based on our findings, we propose a small domain-specific language (DSL) that can be used to summarize common looping patterns in Solidity. To evaluate what percentage of smart contract loops can be expressed in our proposed DSL, we also design and implement a program synthesis toolchain called Solis that can synthesize loop summaries in our DSL. Our evaluation shows that at least 56% of the analyzed loops can be summarized in our DSL, and 81% of these summaries are exactly equivalent to the original loop.

Tue 22 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

16:00 - 17:00
Synthesis and RepairResearch Papers at Kangaroo
Chair(s): Shahar Maoz Tel Aviv University, Israel
16:00
20m
Talk
Synthesis of Infinite-State Systems with Random Behavior
Research Papers
Andreas Katis University of Minnesota, Grigory Fedyukovich Florida State University, Jeffrey Chen University of Minnesota, David Greve Collins Aerospace, Sanjai Rayadurgam University of Minnesota, Michael Whalen University of Minnesota
16:20
20m
Talk
Demystifying Loops in Smart Contracts
Research Papers
Benjamin Mariano University of Texas at Austin, Yanju Chen University of California, Santa Barbara, Yu Feng University of California, Santa Barbara, Shuvendu K. Lahiri Microsoft Research, Işıl Dillig University of Texas at Austin, USA
16:40
20m
Talk
Patching as Translation: The Data and the Metaphor
Research Papers
Yangruibo Ding Columbia University, Baishakhi Ray Columbia University, USA, Prem Devanbu University of California, Vincent J. Hellendoorn Carnegie Mellon University
DOI Pre-print