Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
VenueHyatt Regency Vancouver
Room nameRegency B
Floor0
Room InformationNo extra information 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
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
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

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

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

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

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

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

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

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