Conflict-Driven Synthesis for Layout Engines

Liu, Junrui; Chen, Yanju; Atkinson, Eric; Feng, Yu; Bodik, Rastislav

Conflict-Driven Synthesis for Layout Engines

Download

Name

3591246.pdf

Size

932.05 KB

Format

Adobe PDF

Checksum (MD5)

2e833163639db100b7c0cb553548ce41

Download all files submitted through automated deposit

3591246.zip (830.3 KB)

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

https://creativecommons.org/licenses/by/4.0/

Persistent DSpace Link

https://hdl.handle.net/1721.1/151093

DOI of Published Version

https://doi.org/10.1145/3591246