Build systems are awesome, terrifying – and unloved. We offer a systematic, and executable, framework for developing and comparing build systems, viewing them as related points in landscape rather than as isolated phenomena. By first teasing apart build systems, we can recombine them, allowing us to present (an executable prototype of) the first build system that combines dynamic dependencies and cloud build.
Mon 24 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Mon 24 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00 | Environments and ToolsResearch Papers at Stifel Theatre Chair(s): Alejandro Russo Chalmers University of Technology, Sweden | ||
10:30 22mTalk | Build Systems à la CarteDistinguished Paper Research Papers DOI | ||
10:52 22mTalk | Keep Your Laziness in Check Research Papers Kenneth Foner , Hengchu Zhang University of Pennsylvania, Leonidas Lampropoulos University of Pennsylvania DOI | ||
11:15 22mTalk | Merlin: A Language Server for OCaml (Experience Report) Research Papers DOI | ||
11:37 22mTalk | Functional Programming for Compiling and Decompiling Computer-Aided Design Research Papers Chandrakana Nandi University of Washington, USA, James R. Wilcox University of Washington, Taylor Blau University of Washington, Dan Grossman University of Washington, Zachary Tatlock University of Washington, Seattle DOI | ||