Regency B - Onward! 2017

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 ErdwegTU Delft

08:50 - 09:00
Day opening

Welcome

Stefan MarrUniversity of Kent

09:00 - 09:30
Talk

Markedly: a cartographic approach for mapping eDSL implementation costs

Matthew Ahrens, Karl CronburgTufts University, Jeanne-Marie MuscaTufts University

File Attached

09:30 - 10:00
Talk

Less Testing Ink

Yossi GilTechnion—Israel Institute of Technology

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

10:30 - 11:30
Talk

Hop.js: JavaScript Multitier Programming ⭐️

Manuel SerranoInria, France

11:30 - 12:00
Talk

Toward Abstract Interpretation of Program Transformations

Sven KeidelDelft University of Technology, Netherlands, Sebastian ErdwegTU Delft

DOI

13:30 - 15:00: Meta 2017 - Runtime Reflection 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

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

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

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: Meta 2017 - Compiling Reflection at Regency B
Chair(s): Stefan MarrUniversity of Kent

15:30 - 16:30
Talk

Collapsing Towers of Interpreters ⭐️

Nada AminUniversity of Cambridge

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ämmelUniversity of Koblenz-Landau, Germany

10:30 - 10:55
Talk

Type-Safe Modular Parsing

Haoyuan Zhang, Huang Li, Bruno C. d. S. OliveiraUniversity of Hong Kong, China

DOI

10:55 - 11:20
Talk

Incremental Packrat Parsing

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

Kimio KuramitsuYokohama National University, Japan

DOI

11:45 - 12:00
Talk

Red Shift: Procedural Shift-Reduce ParsingVision Paper

Nicolas LaurentUniversité Catholique de Louvain, Belgium

DOI

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

13:30 - 13:53
Talk

Towards a Taxonomy of Grammar Smells

Mats StijlaartUniversiteit van Amsterdam, Vadim ZaytsevRaincode Labs, Belgium

DOI

13:53 - 14:15
Talk

Deep Priority Conflicts in the Wild: A Pilot Study

Luís 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-Orientation

Robert BillVienna University of Technology, Patrick NeubauerUniversity of York, UK, Manuel WimmerTU Wien

DOI

14:38 - 15:00
Talk

Robust Projectional Editing

Friedrich SteimannFernuniversität, Marcus FrenkelFernuni Hagen, Markus Voelteritemis

DOI

15:30 - 17:00: SLE - DSLs at Regency B
Chair(s): Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven

15:30 - 15:55
Talk

Debugging with Domain-Specific Events via Macros

Xiangqi LiUniversity of Utah, Matthew FlattUniversity of Utah

DOI

15:55 - 16:20
Talk

A Chrestomathy of DSL implementations

Simon SchaussUniversity of Koblenz-Landau, Ralf LämmelUniversity 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 Development

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

Marco BrambillaPolitecnico di Milano, Jordi CabotICREA - UOC, Javier Luis Cánovas IzquierdoIN3 - UOC, Andrea MauriPolitecnico di Milano, Italy

DOI

Tue 24 Oct

10:30 - 12:00: SLE - Grammars at Regency B
Chair(s): Bernhard RumpeRWTH Aachen University, Germany

10:30 - 10:55
Talk

A Formalisation of Parameterised Reference Attribute Grammars

Scott BuckleyMacquarie University, Australia, Anthony SloaneMacquarie University

DOI

10:55 - 11:20
Talk

Concurrent Circular Reference Attribute Grammars

Jesper OqvistLund University, Görel Hedin

DOI

11:20 - 11:45
Talk

Ensuring Non-interference of Composable Language Extensions

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 Paper

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: SLE - Meta-modelling at Regency B
Chair(s): Marjan MernikUniversity of Maribor

13:30 - 13:53
Talk

Concrete Syntax: A Multi-paradigm Modelling Approach

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 Constraints

Artur BoronatUniversity of Leicester

DOI

14:16 - 14:38
Talk

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

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

Ed SeidewitznMeta LLC

DOI

15:30 - 17:00: SLE - GPL/DSL implementation at Regency B
Chair(s): Eric Van WykUniversity of Minnesota, USA

15:30 - 15:55
Talk

FlowSpec: Declarative Dataflow Analysis Specification

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

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 Iterators

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

Vadim ZaytsevRaincode Labs, Belgium

17:10 - 17:20
Talk

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

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

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

10:30 - 11:00
Talk

Can We Crowdsource Language Design?

Preston Tunnell WilsonBrown University, Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA

11:00 - 11:30
Talk

Assessing User Preferences in Programming Language Design

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

Friedrich SteimannFernuniversität

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

13:30 - 14:00
Talk

Generating Chat Bots from Web API Specifications

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

Edmund LamUniversity of Colorado Boulder, Peilun Zhang, Bor-Yuh Evan ChangUniversity of Colorado Boulder

14:30 - 15:00
Talk

Unbounded Superoptimization

Abhinav JangdaUniversity of Massachusetts, Amherst, Greta YorshQueen Mary University of London

15:30 - 17:00: Onward! Essays - 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

Stephen KellUniversity of Cambridge

16:15 - 17:00
Talk

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

Antti-Juhani KaijanahoUniversity of Jyväskylä

DOI Pre-print

Thu 26 Oct

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

10:30 - 12:00
Other

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

Mary ShawCarnegie Mellon University, Crista LopesUniversity of California, Irvine, Matthias HauswirthUniversità della Svizzera italiana (USI), Philippe KruchtenUniversity of British Columbia

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

13:30 - 14:00
Talk

The Serverless Trilemma: Function Composition for Serverless Computing

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

Aleksandar ProkopecOracle Labs

14:30 - 15:00
Talk

IoTa: A Calculus for Internet of Things Automation

Julie L. NewcombUniversity of California at Berkeley, Satish ChandraFacebook, Jean-Baptiste JeanninCarnegie Mellon University , Cole SchlesingerSamsung Research America, Manu SridharanUber

Fri 27 Oct

10:30 - 12:00: Onward! Papers - Usability and Performance 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

John WrennBrown University, Shriram KrishnamurthiBrown University, USA

11:00 - 11:30
Talk

You Can Have it All: Abstraction and Good Cache Performance

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

Raoul VeroyTufts University, Sam GuyerTufts University

13:30 - 15:00: Onward! Papers - New Languages 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

Christopher Hall, Trevor StandleyStanford, Tobias HollererUCSB

14:00 - 14:30
Talk

Selfie and the Basics

Christoph KirschUniversity of Salzburg

14:30 - 15:00
Talk

Systems Level Liveness with AnonSystem

Andrew SorensenAustralian National University, Henry GardnerThe Australian National University

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 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 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 Type-Safe Modular Parsing 10:30 - 10:55					SLE 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					SLE Deep Priority Conflicts in the Wild: A Pilot Study 13:53 - 14:15				SLE Virtual Textual Model Composition for Supporting Versioning and Aspect- ... 14:16 - 14:38					SLE Robust Projectional Editing 14:38 - 15:00										SLE Debugging with Domain-Specific Events via Macros 15:30 - 15:55					SLE A Chrestomathy of DSL implementations 15:55 - 16:20					SLE 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 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 A Formalisation of Parameterised Reference Attribute Grammars 10:30 - 10:55					SLE Concurrent Circular Reference Attribute Grammars 10:55 - 11:20					SLE Ensuring Non-interference of Composable Language Extensions 11:20 - 11:45					SLEIndustrial Paper 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					SLE 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					SLE 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 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! 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 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! 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 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! 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

Room information: Regency B

Sun 22 Oct

Mon 23 Oct

Tue 24 Oct

Wed 25 Oct

Thu 26 Oct

Fri 27 Oct

Sun 22 Oct 2017

Meta 2017

Meta 2017

Meta 2017

Meta 2017

Mon 23 Oct 2017

SLE

SLE

SLE

Tue 24 Oct 2017

SLE

SLE

SLE

Wed 25 Oct 2017

Onward! Papers

Onward! Papers

Onward! Essays

Thu 26 Oct 2017

Onward! Essays

Onward! Papers

Fri 27 Oct 2017

Onward! Papers

Onward! Papers

Sun 22 Oct 2017

Mon 23 Oct 2017

Tue 24 Oct 2017

Wed 25 Oct 2017

Thu 26 Oct 2017

Fri 27 Oct 2017

Tracks