Onward! 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
SPLASH 2017 (series) / Onward! 2017 (series) / Hyatt Regency Vancouver /

Room information: Regency B

VenueHyatt Regency Vancouver
Room nameRegency B
Floor0
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 22 Oct
Times are displayed in time zone: Tijuana, Baja California change

08:30 - 10:00: Metaprogramming and Domain Specific LanguagesMETA at Regency B
Chair(s): Sebastian ErdwegTU Delft
08:50 - 09:00
Day opening		Welcome
META
Stefan MarrUniversity of Kent
09:00 - 09:30
Talk		Markedly: a cartographic approach for mapping eDSL implementation costs
META
Matthew Ahrens, Karl CronburgTufts University, Jeanne-Marie MuscaTufts University
File Attached
09:30 - 10:00
Talk		Less Testing Ink
META
Yossi GilTechnion—Israel Institute of Technology
10:30 - 12:00: Code GenerationMETA at Regency B
Chair(s): Stefan MarrUniversity of Kent
10:30 - 11:30
Talk		Hop.js: JavaScript Multitier Programming ⭐️
META
Manuel SerranoInria, France
11:30 - 12:00
Talk		Toward Abstract Interpretation of Program Transformations
META
Sven KeidelDelft University of Technology, Netherlands, Sebastian ErdwegTU Delft
DOI
13:30 - 15:00: Runtime ReflectionMETA at Regency B
Chair(s): Cyrus OmarCarnegie Mellon University
13:30 - 14:00
Talk		Reactive Reflection in an FRP Language for Small-Scale Embedded Systems
META
Takuo WatanabeTokyo Institute of Technology
File Attached
14:00 - 14:30
Talk		Metaphysics: Towards a Robust Framework for Remotely Working with Potentially Broken Objects and Runtimes
META
Javier PimásPalantir Solutions, Stefan MarrUniversity of Kent
File Attached
14:30 - 15:00
Talk		An Annotation-based API for Supporting Runtime Code Annotation Reading
META
Phyllipe LimaINPE - National Institute for Space Research, Eduardo GuerraINPE - National Institute for Space Research, Marco NardesINPE - National Institute for Space Research, Andrea MocciUniversita della Svizzera italiana (USI), Gabriele BavotaUniversità della Svizzera italiana (USI), Michele LanzaUniversità della Svizzera italiana (USI)
DOI
15:30 - 17:00: Compiling ReflectionMETA at Regency B
Chair(s): Stefan MarrUniversity of Kent
15:30 - 16:30
Talk		Collapsing Towers of Interpreters ⭐️
META
Nada AminUniversity of Cambridge
16:30 - 17:00
Day closing		Discussion and Closing
META

Mon 23 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: ParsingSLE at Regency B
Chair(s): Ralf LaemmelUniversity of Koblenz-Landau, Germany
10:30 - 10:55
Talk		Type-Safe Modular ParsingArtifact Evaluation
SLE
Haoyuan Zhang, Huang Li, Bruno C. d. S. OliveiraUniversity of Hong Kong, China
DOI
10:55 - 11:20
Talk		Incremental Packrat ParsingArtifact Evaluation
SLE
Patrick DubroyY Combinator Research, USA, Alessandro WarthY Combinator Research, USA
DOI
11:20 - 11:45
Talk		A Symbol-Based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing
SLE
Kimio KuramitsuYokohama National University, Japan
DOI
11:45 - 12:00
Talk		Red Shift: Procedural Shift-Reduce ParsingVision Paper
SLE
Nicolas LaurentUniversité Catholique de Louvain, Belgium
DOI
13:30 - 15:00: Textual ModelsSLE at Regency B
Chair(s): Anthony SloaneMacquarie University
13:30 - 13:53
Talk		Towards a Taxonomy of Grammar Smells
SLE
Mats StijlaartUniversiteit van Amsterdam, Vadim ZaytsevRaincode Labs, Belgium
DOI
13:53 - 14:15
Talk		Deep Priority Conflicts in the Wild: A Pilot StudyArtifact Evaluation
SLE
Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Michael J. SteindorferDelft University of Technology, Eelco VisserDelft University of Technology
DOI
14:16 - 14:38
Talk		Virtual Textual Model Composition for Supporting Versioning and Aspect-OrientationArtifact Evaluation
SLE
Robert BillVienna University of Technology, Patrick NeubauerUniversity of York, UK, Manuel WimmerTU Wien
DOI
14:38 - 15:00
Talk		Robust Projectional EditingArtifact Evaluation
SLE
Friedrich SteimannFernuniversität, Marcus FrenkelFernuni Hagen, Markus Voelteritemis
DOI
15:30 - 17:00: DSLsSLE at Regency B
Chair(s): Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven
15:30 - 15:55
Talk		Debugging with Domain-Specific Events via MacrosDistinguished PaperArtifact Evaluation
SLE
Xiangqi LiUniversity of Utah, Matthew FlattUniversity of Utah
DOI
15:55 - 16:20
Talk		A Chrestomathy of DSL implementations
SLE
Simon SchaussUniversity of Koblenz-Landau, Ralf LaemmelUniversity of Koblenz-Landau, Germany, Johannes HärtelUniversity of Koblenz-Landau, Germany, Marcel HeinzUniversity of Koblenz-Landau, Germany, Kevin KleinUniversity of Koblenz-Landau, Lukas HärtelUniversity of Koblenz-Landau, Germany, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden
DOI
16:20 - 16:45
Talk		A Requirements Engineering Approach for Usability-Driven DSL DevelopmentArtifact Evaluation
SLE
Ankica BarisicNOVA-LINCS - Universidade Nova de Lisboa, Dominique BlouinLTCI Lab, Telecom ParisTech, Université Paris-Saclay, Vasco AmaralNOVA-LINCS, FCT/UNL, Miguel GoulaoNOVA-LINCS, FCT/UNL
DOI
16:45 - 17:10
Talk		Better Call the Crowd. Using Crowdsourcing to Shape the Notation of Domain-Specific Languages
SLE
Marco BrambillaPolitecnico di Milano, Jordi CabotICREA - UOC, Javier Luis Cánovas IzquierdoIN3 - UOC, Andrea MauriPolitecnico di Milano, Italy
DOI

Tue 24 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: GrammarsSLE at Regency B
Chair(s): Bernhard RumpeRWTH Aachen University, Germany
10:30 - 10:55
Talk		A Formalisation of Parameterised Reference Attribute GrammarsArtifact Evaluation
SLE
Scott BuckleyMacquarie University, Australia, Anthony SloaneMacquarie University
DOI
10:55 - 11:20
Talk		Concurrent Circular Reference Attribute GrammarsArtifact Evaluation
SLE
Jesper OqvistLund University, Görel Hedin
DOI
11:20 - 11:45
Talk		Ensuring Non-interference of Composable Language Extensions
SLE
Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA
DOI
11:45 - 12:00
Talk		A Domain-Specific Controlled English Language for Automated Regulatory ComplianceIndustrial PaperArtifact Evaluation
SLE
Suman RoychoudhuryTata Consultancy Services Research, Sagar SunkleTata Consultancy Services Research, Deepali KholkarTata Consultancy Services Research, Vinay KulkarniTata Consultancy Services Research
DOI
13:30 - 15:00: Meta-modellingSLE at Regency B
Chair(s): Marjan MernikUniversity of Maribor
13:30 - 13:53
Talk		Concrete Syntax: A Multi-paradigm Modelling Approach
SLE
Yentl Van TendelooUniversity of Antwerp, Simon Van MierloUniversity of Antwerp, Bart MeyersUniversity of Antwerp, Belgium, Hans VangheluweUniversity of Antwerp and McGill University
DOI
13:53 - 14:16
Talk		Structural Model Subtyping with OCL ConstraintsArtifact Evaluation
SLE
Artur BoronatUniversity of Leicester
DOI
14:16 - 14:38
Talk		Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
SLE
Lechanceux LuhunuUniversity of Montreal, Eugene SyrianiUniversity of Montreal
DOI
14:38 - 15:00
Talk		Tool Demonstration: A development environment for the Alf language within the MagicDraw UML toolTool Demo
SLE
Ed SeidewitznMeta LLC
DOI
15:30 - 17:00: GPL/DSL implementationSLE at Regency B
Chair(s): Eric Van WykUniversity of Minnesota, USA
15:30 - 15:55
Talk		FlowSpec: Declarative Dataflow Analysis Specification
SLE
Jeff SmitsDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
DOI File Attached
15:55 - 16:20
Talk		Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages
SLE
Francesco Di GiacomoUniversità Ca' Foscari, Mohamed AbbadiHogeschool Rotterdam, Agostino CortesiUniversità Ca' Foscari Venezia, Pieter SpronckTilburg University, Giuseppe MaggioreHogeschool Rotterdam
DOI
16:20 - 16:45
Talk		Robust Programs with Filtered IteratorsArtifact EvaluationDistinguished Artifact
SLE
Jiasi ShenMassachusetts Institute of Technology, Martin RinardMassachusetts Institute of Technology
DOI
16:45 - 17:10
Talk		An Introduction to the Software Language Engineering Body of Knowledge
SLE
Vadim ZaytsevRaincode Labs, Belgium
17:10 - 17:20
Talk		Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate?
SLE
Rui PereiraHASLab/INESC TEC & Universidade do Minho, Marco CoutoHASLab/INESC TEC & Universidade do Minho, Francisco RibeiroHASLab/INESC TEC & Universidade do Minho, Rui RuaHASLab/INESC TEC & Universidade do Minho, Jácome CunhaNOVA-LINCS - Universidade Nova de Lisboa, João Paulo FernandesRelease/LISP, CISUC, João SaraivaUniversity of Minho, Portugal
DOI Media Attached

Wed 25 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: Language DesignOnward! Papers at Regency B
Chair(s): Zachary TatlockUniversity of Washington, Seattle
10:30 - 11:00
Talk		Can We Crowdsource Language Design?
Onward! Papers
Preston Tunnell WilsonBrown University, Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA
11:00 - 11:30
Talk		Assessing User Preferences in Programming Language Design
Onward! Papers
Roger ChamberlainWashington University in St. Louis
11:30 - 12:00
Talk		Replacing Phrase Structure Grammar with Dependency Grammar in the Design and Implementation of Programming Languages
Onward! Papers
Friedrich SteimannFernuniversität
13:30 - 15:00: Program Generation and SynthesisOnward! Papers at Regency B
Chair(s): Emina TorlakUniversity of Washington
13:30 - 14:00
Talk		Generating Chat Bots from Web API Specifications
Onward! Papers
Mandana VaziriIBM Research, Louis MandelIBM Research, Avraham ShinnarIBM Research, Jerome SimeonIBM Research, Martin HirzelIBM Research
14:00 - 14:30
Talk		ChimpCheck: Property-based Randomized Test Generation for Interactive Apps
Onward! Papers
Edmund LamUniversity of Colorado Boulder, Peilun Zhang, Bor-Yuh Evan ChangUniversity of Colorado Boulder
14:30 - 15:00
Talk		Unbounded Superoptimization
Onward! Papers
Abhinav JangdaUniversity of Massachusetts, Amherst, Greta YorshQueen Mary University of London
15:30 - 17:00: EssaysOnward! Essays at Regency B
Chair(s): Robert BiddleCarleton University
15:30 - 16:15
Talk		Some Were Meant For C: The endurance of an unmanageable language
Onward! Essays
Stephen KellUniversity of Cambridge
16:15 - 17:00
Talk		Concept Analysis in Programming Language Research: Done Well It Is All Right
Onward! Essays
A: Antti-Juhani KaijanahoUniversity of Jyväskylä
DOI Pre-print

Thu 26 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: Essay PanelOnward! Essays at Regency B
Chair(s): Robert BiddleCarleton University
10:30 - 12:00
Other		Panel: How can our publication models best serve our research?
Onward! Essays
Mary ShawCarnegie Mellon University, P: Crista LopesUniversity of California, Irvine, Matthias HauswirthUniversità della Svizzera italiana (USI), P: Philippe KruchtenUniversity of British Columbia
13:30 - 15:00: Programming ModelsOnward! Papers at Regency B
Chair(s): Karim AliUniversity of Alberta
13:30 - 14:00
Talk		The Serverless Trilemma: Function Composition for Serverless Computing
Onward! Papers
Ioana BaldiniIBM T.J. Watson Research, Perry ChengIBM Research, Stephen J FinkIBM, Nick Mitchell, Vinod MuthusamyIBM T.J. Watson Research, Rodric RabbahIBM Research, Philippe SuterTwo Sigma, Olivier TardieuIBM Research
14:00 - 14:30
Talk		Encoding the building blocks of communication
Onward! Papers
Aleksandar ProkopecOracle Labs
14:30 - 15:00
Talk		IoTa: A Calculus for Internet of Things Automation
Onward! Papers
Julie L. NewcombUniversity of California at Berkeley, Satish ChandraFacebook, Jean-Baptiste JeanninCarnegie Mellon University , Cole SchlesingerSamsung Research America, Manu SridharanUber

Fri 27 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: Usability and PerformanceOnward! Papers at Regency B
Chair(s): Sam Tobin-HochstadtIndiana University
10:30 - 11:00
Talk		Error Messages are Classifiers: A Process to Design and Evaluate Error Messages
Onward! Papers
John WrennBrown University, Shriram KrishnamurthiBrown University, USA
11:00 - 11:30
Talk		You Can Have it All: Abstraction and Good Cache Performance
Onward! Papers
Juliana FrancoImperial College London, Martin Hagelin(Dirac), Tobias WrigstadUppsala University, Sophia Drossopoulou, Susan EisenbachImperial College London
11:30 - 12:00
Talk		Garbology: A Study of How Java Objects Die
Onward! Papers
Raoul VeroyTufts University, Sam GuyerTufts University
13:30 - 15:00: New LanguagesOnward! Papers at Regency B
Chair(s): Adrian SampsonCornell University
13:30 - 14:00
Talk		Infra: Structure All the Way Down - Structured Data as a Visual Programming Language
Onward! Papers
Christopher Hall, Trevor StandleyStanford, Tobias HollererUCSB
14:00 - 14:30
Talk		Selfie and the Basics
Onward! Papers
Christoph KirschUniversity of Salzburg
14:30 - 15:00
Talk		Systems Level Liveness with AnonSystem
Onward! Papers
Andrew SorensenAustralian National University, Henry GardnerThe Australian National University

Sun 22 Oct
Times are displayed in time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Regency B

META

Metaprogramming and Domain Specific Languages

META

Code Generation

META

Runtime Reflection

META

Compiling Reflection

Mon 23 Oct
Times are displayed in time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:003015:003016:0030
Regency B

SLE

Parsing

SLE

Textual Models

SLE

DSLs

Tue 24 Oct
Times are displayed in time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:003015:003016:0030
Regency B

SLE

Grammars

SLE

Meta-modelling

SLE

GPL/DSL implementation

Wed 25 Oct
Times are displayed in time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:003015:003016:0030
Regency B

Onward! Papers

Language Design

Onward! Papers

Program Generation and Synthesis

Onward! Essays

Essays

Thu 26 Oct
Times are displayed in time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:0030
Regency B

Onward! Essays

Essay Panel

Onward! Papers

Programming Models

Fri 27 Oct
Times are displayed in time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:0030
Regency B

Onward! Papers

Usability and Performance

Onward! Papers

New Languages

Sun 22 Oct
Times are displayed in time zone: Tijuana, Baja California change

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

Mon 23 Oct
Times are displayed in time zone: Tijuana, Baja California change

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

Tue 24 Oct
Times are displayed in time zone: Tijuana, Baja California change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Regency B
SLEArtifact Evaluation
A Formalisation of Parameterised Reference Attribute Grammars
10:30 - 10:55
SLEArtifact Evaluation
Concurrent Circular Reference Attribute Grammars
10:55 - 11:20
SLE
Ensuring Non-interference of Composable Language Extensions
11:20 - 11:45
SLEIndustrial PaperArtifact Evaluation
A Domain-Specific Controlled English Language for Automated Regulatory ...
11:45 - 12:00
SLE
Concrete Syntax: A Multi-paradigm Modelling Approach
13:30 - 13:53
SLEArtifact Evaluation
Structural Model Subtyping with OCL Constraints
13:53 - 14:16
SLE
Comparison of the Expressiveness and Performance of Template-Based Code ...
14:16 - 14:38
SLETool Demo
Tool Demonstration: A development environment for the Alf language with ...
14:38 - 15:00
SLE
FlowSpec: Declarative Dataflow Analysis Specification
15:30 - 15:55
SLE
Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages
15:55 - 16:20
SLEArtifact EvaluationDistinguished Artifact
Robust Programs with Filtered Iterators
16:20 - 16:45
SLE
An Introduction to the Software Language Engineering Body of Knowledge
16:45 - 17:10
SLE
Energy Efficiency across Programming Languages: How do Energy, Time, an ...
17:10 - 17:20

Wed 25 Oct
Times are displayed in time zone: Tijuana, Baja California change

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

Thu 26 Oct
Times are displayed in time zone: Tijuana, Baja California change

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

Fri 27 Oct
Times are displayed in time zone: Tijuana, Baja California change

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