Wed 7 Nov 2018 14:37 - 15:00 at Studio 2 - Language Design 1 Chair(s): Eelco Visser

We present a new approach for building source-to-source transformations that can run on multiple programming languages, based on a new way of representing programs called incremental parametric syntax. We implement this approach in Haskell in our Cubix system, and construct incremental parametric syntaxes for C, Java, JavaScript, Lua, and Python. We demonstrate a whole-program refactoring tool that runs on all of them, along with three smaller transformations that each run on several. Our evaluation shows that (1) once a transformation is written, little work is required to configure it for a new language (2) transformations built this way output readable code which preserve the structure of the original, according to participants in our human study, and (3) our transformations can still handle language corner-cases, as validated on compiler test suites.

Wed 7 Nov

13:30 - 15:00: OOPSLA - Language Design 1 at Studio 2
Chair(s): Eelco VisserDelft University of Technology
splash-2018-OOPSLA13:30 - 13:52
Roland LeißaSaarland University, Germany, Klaas BoescheSaarland University, Sebastian HackSaarland University, Germany, Arsène Pérard-GayotSaarland University, Germany, Richard MembarthDFKI, Germany, Philipp SlusallekDFKI, Germany, André MüllerJohannes Gutenberg University, Bertil SchmidtJohannes Gutenberg University
splash-2018-OOPSLA13:52 - 14:15
Jeff BezansonJulia Computing, Benjamin ChungNortheastern University, Jiahao ChenCapital One, Stefan Karpinski, Viral B ShahJulia Computing, Jan VitekNortheastern University, Lionel ZoubritzkyÉcole Normale Supérieure
splash-2018-OOPSLA14:15 - 14:37
splash-2018-OOPSLA14:37 - 15:00