Conflict-Driven Synthesis for Layout Engines
Name
3591246.pdf
Size
932.05 KB
Format
Adobe PDF
Checksum (MD5)
2e833163639db100b7c0cb553548ce41
Author(s)
Liu, Junrui
Chen, Yanju
Atkinson, Eric
Feng, Yu
Bodik, Rastislav
Date Issued
June 6, 2023
Journal
Proceedings of the ACM on Programming Languages
Publisher
ACM
Citation
Liu, Junrui, Chen, Yanju, Atkinson, Eric, Feng, Yu and Bodik, Rastislav. 2023. "Conflict-Driven Synthesis for Layout Engines." Proceedings of the ACM on Programming Languages, 7 (PLDI).
Version
Final published version
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Terms of Use
Creative Commons Attribution
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/3591246
