Conflict-Driven Synthesis for Layout Engines

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

Author(s)

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

Download3591246.pdf (932.0Kb)

Publisher with Creative Commons License

Terms of use

Creative Commons Attribution https://creativecommons.org/licenses/by/4.0/

Metadata

Show full item record

Date issued

2023-06-06

URI

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

Department

Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory

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

ISSN

2475-1421

Collections

MIT Open Access Articles

The following license files are associated with this item:

Creative Commons