| dc.contributor.author | Liu, Junrui | |
| dc.contributor.author | Chen, Yanju | |
| dc.contributor.author | Atkinson, Eric | |
| dc.contributor.author | Feng, Yu | |
| dc.contributor.author | Bodik, Rastislav | |
| dc.date.accessioned | 2023-07-11T18:56:02Z | |
| dc.date.available | 2023-07-11T18:56:02Z | |
| dc.date.issued | 2023-06-06 | |
| dc.identifier.issn | 2475-1421 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/151093 | |
| dc.publisher | ACM | en_US |
| dc.relation.isversionof | https://doi.org/10.1145/3591246 | en_US |
| dc.rights | Creative Commons Attribution | en_US |
| dc.rights.uri | https://creativecommons.org/licenses/by/4.0/ | en_US |
| dc.source | Association for Computing Machinery | en_US |
| dc.title | Conflict-Driven Synthesis for Layout Engines | en_US |
| dc.type | Article | en_US |
| dc.identifier.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). | |
| dc.contributor.department | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory | |
| dc.relation.journal | Proceedings of the ACM on Programming Languages | en_US |
| dc.identifier.mitlicense | PUBLISHER_CC | |
| dc.eprint.version | Final published version | en_US |
| dc.type.uri | http://purl.org/eprint/type/JournalArticle | en_US |
| eprint.status | http://purl.org/eprint/status/PeerReviewed | en_US |
| dc.date.updated | 2023-07-01T07:55:12Z | |
| dc.language.rfc3066 | en | |
| dc.rights.holder | The author(s) | |
| dspace.date.submission | 2023-07-01T07:55:12Z | |
| mit.journal.volume | 7 | en_US |
| mit.journal.issue | PLDI | en_US |
| mit.license | PUBLISHER_CC | |
| mit.metadata.status | Authority Work and Publication Information Needed | en_US |
