PAPERS

Title:Program Synthesis for Program Analysis
Links:
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 },
  NOTE      = { To appear. },
  YEAR      = { 2018 },
  JOURNAL   = { ACM Transactions on Programming Languages and Systems (TOPLAS) },
}

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