Regency B - Onward! 2017

Sun 22 - Fri 27 October 2017 Vancouver, Canada

co-located with SPLASH 2017

VenueHyatt Regency Vancouver

Room nameRegency B

Floor0

Room number

Capacity0

Additional informationThere is no additional information of this room available.

Program

Sun 22 Oct

08:30 - 10:00: Meta 2017 - Metaprogramming and Domain Specific Languages at Regency B
Chair(s): Sebastian Erdweg

08:50 - 09:00
Day opening

09:00 - 09:30
Talk

Markedly: a cartographic approach for mapping eDSL implementation costs

Matthew Ahrens, Karl Cronburg, Jeanne-Marie Musca

09:30 - 10:00
Talk

Less Testing Ink

10:30 - 12:00: Meta 2017 - Code Generation at Regency B
Chair(s): Stefan Marr

10:30 - 11:30
Talk

Hop.js: JavaScript Multitier Programming ⭐️

11:30 - 12:00
Talk

Toward Abstract Interpretation of Program Transformations

Sven Keidel, Sebastian Erdweg

13:30 - 15:00: Meta 2017 - Runtime Reflection at Regency B
Chair(s): Cyrus Omar

13:30 - 14:00
Talk

Reactive Reflection in an FRP Language for Small-Scale Embedded Systems

14:00 - 14:30
Talk

Metaphysics: Towards a Robust Framework for Remotely Working with Potentially Broken Objects and Runtimes

Javier Pimás, Stefan Marr

14:30 - 15:00
Talk

An Annotation-based API for Supporting Runtime Code Annotation Reading

Phyllipe Lima, Eduardo Guerra, Marco Nardes, Andrea Mocci, Gabriele Bavota, Michele Lanza

15:30 - 17:00: Meta 2017 - Compiling Reflection at Regency B
Chair(s): Stefan Marr

15:30 - 16:30
Talk

Collapsing Towers of Interpreters ⭐️

16:30 - 17:00
Day closing

Discussion and Closing

Mon 23 Oct

10:30 - 12:00: SLE - Parsing at Regency B
Chair(s): Ralf Lämmel

10:30 - 10:55
Talk

Type-Safe Modular Parsing

Artifact Evaluation

Haoyuan Zhang, Huang Li, Bruno C. d. S. Oliveira

10:55 - 11:20
Talk

Incremental Packrat Parsing

Artifact Evaluation

Patrick Dubroy, Alessandro Warth

11:20 - 11:45
Talk

A Symbol-Based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing

Kimio Kuramitsu

11:45 - 12:00
Talk

Red Shift: Procedural Shift-Reduce ParsingVision Paper

Nicolas Laurent

13:30 - 15:00: SLE - Textual Models at Regency B
Chair(s): Anthony Sloane

13:30 - 13:53
Talk

Towards a Taxonomy of Grammar Smells

Mats Stijlaart, Vadim Zaytsev

13:53 - 14:15
Talk

Deep Priority Conflicts in the Wild: A Pilot Study

Artifact Evaluation

Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Eelco Visser

14:16 - 14:38
Talk

Virtual Textual Model Composition for Supporting Versioning and Aspect-Orientation

Artifact Evaluation

Robert Bill, Patrick Neubauer, Manuel Wimmer

14:38 - 15:00
Talk

Robust Projectional Editing

Artifact Evaluation

Friedrich Steimann, Marcus Frenkel, Markus Voelter

15:30 - 17:00: SLE - DSLs at Regency B
Chair(s): Jurgen Vinju

15:30 - 15:55
Talk

Debugging with Domain-Specific Events via Macros

Distinguished Paper

Artifact Evaluation

Xiangqi Li, Matthew Flatt

15:55 - 16:20
Talk

A Chrestomathy of DSL implementations

Simon Schauss, Ralf Lämmel, Johannes Härtel, Marcel Heinz, Kevin Klein, Lukas Härtel, Thorsten Berger

16:20 - 16:45
Talk

A Requirements Engineering Approach for Usability-Driven DSL Development

Artifact Evaluation

Ankica Barisic, Dominique Blouin, Vasco Amaral, Miguel Goulao

16:45 - 17:10
Talk

Better Call the Crowd. Using Crowdsourcing to Shape the Notation of Domain-Specific Languages

Marco Brambilla, Jordi Cabot, Javier Luis Cánovas Izquierdo, Andrea Mauri

Tue 24 Oct

10:30 - 12:00: SLE - Grammars at Regency B
Chair(s): Bernhard Rumpe

10:30 - 10:55
Talk

A Formalisation of Parameterised Reference Attribute Grammars

Artifact Evaluation

Scott Buckley, Anthony Sloane

10:55 - 11:20
Talk

Concurrent Circular Reference Attribute Grammars

Artifact Evaluation

Jesper Oqvist, Görel Hedin

11:20 - 11:45
Talk

Ensuring Non-interference of Composable Language Extensions

Ted Kaminski, Eric Van Wyk

11:45 - 12:00
Talk

A Domain-Specific Controlled English Language for Automated Regulatory ComplianceIndustrial Paper

Artifact Evaluation

Suman Roychoudhury, Sagar Sunkle, Deepali Kholkar, Vinay Kulkarni

13:30 - 15:00: SLE - Meta-modelling at Regency B
Chair(s): Marjan Mernik

13:30 - 13:53
Talk

Concrete Syntax: A Multi-paradigm Modelling Approach

Yentl Van Tendeloo, Simon Van Mierlo, Bart Meyers, Hans Vangheluwe

13:53 - 14:16
Talk

Structural Model Subtyping with OCL Constraints

Artifact Evaluation

14:16 - 14:38
Talk

Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools

Lechanceux Luhunu, Eugene Syriani

14:38 - 15:00
Talk

Tool Demonstration: A development environment for the Alf language within the MagicDraw UML toolTool Demo

15:30 - 17:00: SLE - GPL/DSL implementation at Regency B
Chair(s): Eric Van Wyk

15:30 - 15:55
Talk

FlowSpec: Declarative Dataflow Analysis Specification

Jeff Smits, Eelco Visser

DOI File Attached

15:55 - 16:20
Talk

Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages

Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore

16:20 - 16:45
Talk

Robust Programs with Filtered Iterators

Artifact Evaluation

Distinguished Artifact

Jiasi Shen, Martin Rinard

16:45 - 17:10
Talk

An Introduction to the Software Language Engineering Body of Knowledge

-
Talk

Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate?

Rui Pereira, Marco Couto, Francisco Ribeiro, Rui Rua, Jácome Cunha, João Paulo Fernandes, João Saraiva

DOI Media Attached

Wed 25 Oct

10:30 - 12:00: Onward! Papers - Language Design at Regency B
Chair(s): Zachary Tatlock

10:30 - 11:00
Talk

Can We Crowdsource Language Design?

Preston Tunnell Wilson, Justin Pombrio, Shriram Krishnamurthi

11:00 - 11:30
Talk

Assessing User Preferences in Programming Language Design

Roger Chamberlain

11:30 - 12:00
Talk

Replacing Phrase Structure Grammar with Dependency Grammar in the Design and Implementation of Programming Languages

Friedrich Steimann

13:30 - 15:00: Onward! Papers - Program Generation and Synthesis at Regency B
Chair(s): Emina Torlak

13:30 - 14:00
Talk

Generating Chat Bots from Web API Specifications

Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jerome Simeon, Martin Hirzel

14:00 - 14:30
Talk

ChimpCheck: Property-based Randomized Test Generation for Interactive Apps

Edmund Lam, Peilun Zhang, Bor-Yuh Evan Chang

14:30 - 15:00
Talk

Unbounded Superoptimization

Abhinav Jangda, Greta Yorsh

15:30 - 17:00: Onward! Essays - Essays at Regency B
Chair(s): Robert Biddle

15:30 - 16:15
Talk

Some Were Meant For C: The endurance of an unmanageable language

16:15 - 17:00
Talk

Concept Analysis in Programming Language Research: Done Well It Is All Right

Antti-Juhani Kaijanaho

Thu 26 Oct

10:30 - 12:00: Onward! Essays - Essay Panel at Regency B
Chair(s): Robert Biddle

10:30 - 12:00
Other

Panel: How can our publication models best serve our research?

Mary Shaw, Crista Lopes, Matthias Hauswirth, Philippe Kruchten

13:30 - 15:00: Onward! Papers - Programming Models at Regency B
Chair(s): Karim Ali

13:30 - 14:00
Talk

The Serverless Trilemma: Function Composition for Serverless Computing

Ioana Baldini, Perry Cheng, Stephen J Fink, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Philippe Suter, Olivier Tardieu

14:00 - 14:30
Talk

Encoding the building blocks of communication

Aleksandar Prokopec

14:30 - 15:00
Talk

IoTa: A Calculus for Internet of Things Automation

Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan

Fri 27 Oct

10:30 - 12:00: Onward! Papers - Usability and Performance at Regency B
Chair(s): Sam Tobin-Hochstadt

10:30 - 11:00
Talk

Error Messages are Classifiers: A Process to Design and Evaluate Error Messages

John Wrenn, Shriram Krishnamurthi

11:00 - 11:30
Talk

You Can Have it All: Abstraction and Good Cache Performance

Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach

11:30 - 12:00
Talk

Garbology: A Study of How Java Objects Die

Raoul Veroy, Sam Guyer

13:30 - 15:00: Onward! Papers - New Languages at Regency B
Chair(s): Adrian Sampson

13:30 - 14:00
Talk

Infra: Structure All the Way Down - Structured Data as a Visual Programming Language

Christopher Hall, Trevor Standley, Tobias Hollerer

14:00 - 14:30
Talk

Selfie and the Basics

Christoph Kirsch

14:30 - 15:00
Talk

Systems Level Liveness with AnonSystem

Andrew Sorensen, Henry Gardner

Sun 22 Oct 2017


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Regency B							Meta 2017 Metaprogramming and Domain Specific Languages 08:30 - 10:00																								Meta 2017 Code Generation 10:30 - 12:00																																				Meta 2017 Runtime Reflection 13:30 - 15:00																								Meta 2017 Compiling Reflection 15:30 - 17:00

Mon 23 Oct 2017


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Regency B							SLE Parsing 10:30 - 12:00																																				SLE Textual Models 13:30 - 15:00																								SLE DSLs 15:30 - 17:00

Tue 24 Oct 2017


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Regency B							SLE Grammars 10:30 - 12:00																																				SLE Meta-modelling 13:30 - 15:00																								SLE GPL/DSL implementation 15:30 - 17:00

Wed 25 Oct 2017


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Regency B							Onward! Papers Language Design 10:30 - 12:00																																				Onward! Papers Program Generation and Synthesis 13:30 - 15:00																								Onward! Essays Essays 15:30 - 17:00

Thu 26 Oct 2017


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Regency B							Onward! Essays Essay Panel 10:30 - 12:00																																				Onward! Papers Programming Models 13:30 - 15:00

Fri 27 Oct 2017


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Regency B							Onward! Papers Usability and Performance 10:30 - 12:00																																				Onward! Papers New Languages 13:30 - 15:00

Sun 22 Oct 2017


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Regency B											META 2017 Welcome 08:50 - 09:00		META 2017 Markedly: a cartographic approach for mapping eDSL implementation costs 09:00 - 09:30						META 2017 Less Testing Ink 09:30 - 10:00												META 2017 Hop.js: JavaScript Multitier Programming ⭐️ 10:30 - 11:30												META 2017 Toward Abstract Interpretation of Program Transformations 11:30 - 12:00																								META 2017 Reactive Reflection in an FRP Language for Small-Scale Embedded Systems 13:30 - 14:00						META 2017 Metaphysics: Towards a Robust Framework for Remotely Working with Poten ... 14:00 - 14:30						META 2017 An Annotation-based API for Supporting Runtime Code Annotation Reading 14:30 - 15:00												META 2017 Collapsing Towers of Interpreters ⭐️ 15:30 - 16:30												META 2017 Discussion and Closing 16:30 - 17:00

Mon 23 Oct 2017


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Regency B							SLE 2017 Type-Safe Modular Parsing 10:30 - 10:55					SLE 2017 Incremental Packrat Parsing 10:55 - 11:20					SLE 2017 A Symbol-Based Extension of Parsing Expression Grammars and Context-Sen ... 11:20 - 11:45					SLE 2017Vision Paper Red Shift: Procedural Shift-Reduce Parsing 11:45 - 12:00																					SLE 2017 Towards a Taxonomy of Grammar Smells 13:30 - 13:53					SLE 2017 Deep Priority Conflicts in the Wild: A Pilot Study 13:53 - 14:15				SLE 2017 Virtual Textual Model Composition for Supporting Versioning and Aspect- ... 14:16 - 14:38					SLE 2017 Robust Projectional Editing 14:38 - 15:00										SLE 2017 Debugging with Domain-Specific Events via Macros 15:30 - 15:55					SLE 2017 A Chrestomathy of DSL implementations 15:55 - 16:20					SLE 2017 A Requirements Engineering Approach for Usability-Driven DSL Development 16:20 - 16:45					SLE 2017 Better Call the Crowd. Using Crowdsourcing to Shape the Notation of Dom ... 16:45 - 17:10

Tue 24 Oct 2017


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Regency B							SLE 2017 A Formalisation of Parameterised Reference Attribute Grammars 10:30 - 10:55					SLE 2017 Concurrent Circular Reference Attribute Grammars 10:55 - 11:20					SLE 2017 Ensuring Non-interference of Composable Language Extensions 11:20 - 11:45					SLE 2017Industrial Paper A Domain-Specific Controlled English Language for Automated Regulatory ... 11:45 - 12:00																					SLE 2017 Concrete Syntax: A Multi-paradigm Modelling Approach 13:30 - 13:53					SLE 2017 Structural Model Subtyping with OCL Constraints 13:53 - 14:16				SLE 2017 Comparison of the Expressiveness and Performance of Template-Based Code ... 14:16 - 14:38					SLE 2017Tool Demo Tool Demonstration: A development environment for the Alf language with ... 14:38 - 15:00										SLE 2017 FlowSpec: Declarative Dataflow Analysis Specification 15:30 - 15:55					SLE 2017 Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages 15:55 - 16:20					SLE 2017 Robust Programs with Filtered Iterators 16:20 - 16:45					SLE 2017 An Introduction to the Software Language Engineering Body of Knowledge 16:45 - 17:10

Wed 25 Oct 2017


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Regency B							Onward! 2017 Onward! Papers Can We Crowdsource Language Design? 10:30 - 11:00						Onward! 2017 Onward! Papers Assessing User Preferences in Programming Language Design 11:00 - 11:30						Onward! 2017 Onward! Papers Replacing Phrase Structure Grammar with Dependency Grammar in the Desig ... 11:30 - 12:00																								Onward! 2017 Onward! Papers Generating Chat Bots from Web API Specifications 13:30 - 14:00						Onward! 2017 Onward! Papers ChimpCheck: Property-based Randomized Test Generation for Interactive Apps 14:00 - 14:30						Onward! 2017 Onward! Papers Unbounded Superoptimization 14:30 - 15:00												Onward! 2017 Onward! Essays Some Were Meant For C: The endurance of an unmanageable language 15:30 - 16:15									Onward! 2017 Onward! Essays Concept Analysis in Programming Language Research: Done Well It Is All ... 16:15 - 17:00

Thu 26 Oct 2017


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Regency B							Onward! 2017 Onward! Essays Panel: How can our publication models best serve our research? 10:30 - 12:00																																				Onward! 2017 Onward! Papers The Serverless Trilemma: Function Composition for Serverless Computing 13:30 - 14:00						Onward! 2017 Onward! Papers Encoding the building blocks of communication 14:00 - 14:30						Onward! 2017 Onward! Papers IoTa: A Calculus for Internet of Things Automation 14:30 - 15:00

Fri 27 Oct 2017


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Regency B							Onward! 2017 Onward! Papers Error Messages are Classifiers: A Process to Design and Evaluate Error ... 10:30 - 11:00						Onward! 2017 Onward! Papers You Can Have it All: Abstraction and Good Cache Performance 11:00 - 11:30						Onward! 2017 Onward! Papers Garbology: A Study of How Java Objects Die 11:30 - 12:00																								Onward! 2017 Onward! Papers Infra: Structure All the Way Down - Structured Data as a Visual Program ... 13:30 - 14:00						Onward! 2017 Onward! Papers Selfie and the Basics 14:00 - 14:30						Onward! 2017 Onward! Papers Systems Level Liveness with AnonSystem 14:30 - 15:00