Title: | Program Synthesis From Partial Traces |
---|---|
Links: | Homepage Document as PDF |
Authors: | Joey Dodds |
Margarida Ferreira | |
Victor Nicolet | |
Daniel Kroening EMail | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{dfnk2025, AUTHOR = { Dodds, Joey and Ferreira, Margarida and Nicolet, Victor and Kroening, Daniel }, TITLE = { Program Synthesis From Partial Traces }, BOOKTITLE = { Programming Language Design and Implementation (PLDI) }, YEAR = { 2025 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.