PAPERS

Title:Program Synthesis for Program Analysis
Links:Homepage
Document as PDF
Authors:Cristina David
Pascal Kesseli
Daniel Kroening EMail
Matt Lewis
Remarks:
Topics:

Bibtex:

@article{dkkl2018,
  AUTHOR    = { David, Cristina
                and Kesseli, Pascal
                and Kroening, Daniel
                and Lewis, Matt },
  TITLE     = { Program Synthesis for Program Analysis },
  YEAR      = { 2018 },
  PAGES     = { 5:1--5:45 },
  JOURNAL   = { ACM Transactions on Programming Languages and Systems (TOPLAS) },
  VOLUME    = { 40 },
  NUMBER    = { 2 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.