Onward! 2015
Sun 25 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
Thu 29 Oct 2015 14:15 - 14:37 at Grand Station 3-5 - Session the Second Chair(s): Karim Ali

Splitting a language into a core language and a desugaring function makes it possible to produce tractable semantics for real-world languages. It does so by pushing much of the language’s complexity into desugaring. This, however, produces large and unwieldy core programs, which has proven to be a significant obstacle to actual use of these semantics.

In this paper we analyze this problem for a semantics of JavaScript. We show that much of the bloat is semantic bloat: a consequence of the language’s rich semantics. We demonstrate how assumptions about language use can confine this bloat, and codify these through several transformations that, in general, do not preserve the language’s semantics. We experimentally demonstrate the effectiveness of these transformations. Finally, we discuss the implications of this work on language design and structure.

Thu 29 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

13:30 - 15:00: Onward! Papers - Session the Second at Grand Station 3-5
Chair(s): Karim AliTU Darmstadt
onward2015-papers13:30 - 13:52
Mattias De WaelVrije Universiteit Brussel, Stefan MarrINRIA, France, Joeri De KosterVrije Universiteit Brussel, Jennifer B. SartorVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication DOI
onward2015-papers13:52 - 14:15
David H. LorenzOpen University and Technion IIT, Boaz RosenanUniversity of Haifa
Media Attached
onward2015-papers14:15 - 14:37
Junsong LiBrown University, Justin Pombrio, Joe Gibbs PolitzSwarthmore College, Shriram KrishnamurthiBrown University
Media Attached
onward2015-papers14:37 - 15:00
Ethan HolderVirginia Tech, Eli TilevichVirginia Tech, Amy GillickVirginia Tech