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.