| 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 },
PUBLISHER = { ACM },
PAGES = { 1642--1665 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.