ICSE 2018★ Award

Generalized data structure synthesis

Calvin Loncaric, Michael D. Ernst, Emina Torlak

Abstract

Data structure synthesis is the task of generating data structure implementations from high-level specifications. Recent work in this area has shown potential to save programmer time and reduce the risk of defects. Existing techniques focus on data structures for manipulating subsets of a single collection, but real-world programs often track multiple related collections and aggregate properties such as sums, counts, minimums, and maximums.

BibTeX

@inproceedings{Loncaric-al:ICSE18,
  author    = {Calvin Loncaric and
               Michael D. Ernst and
               Emina Torlak},
  title     = {Generalized data structure synthesis},
  booktitle = {ICSE},
  pages     = {958--968},
  publisher = {{ACM}},
  year      = {2018},
}

Generalized data structure synthesis

Abstract

Related papers