@INPROCEEDINGS{ase20-solis,
  title     = "Demystifying Loops in Smart Contracts",
  booktitle = "2020 35th {IEEE/ACM} International Conference on Automated
               Software Engineering ({ASE})",
  author    = "Mariano, B and Chen, Y and Feng, Y and Lahiri, S K and Dillig, I",
  abstract  = "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 blockchain, 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.",
  publisher = "IEEE Computer Society",
  pages     = "262--274",
  month     =  sep,
  year      =  2020,
  address   = "Los Alamitos, CA, USA",
  keywords  = "smart contracts;semantics;blockchain;syntactics;dsl;software
               engineering;domain specific languages"
}