US

Templars - SPLASH 2019

https://2019.splashcon.org/room/splash-2019-venue-templars Archived on 2026-04-25 15:02 UTC

Templars - SPLASH 2019

Write a Blog >>

Sun 20 - Fri 25 October 2019 Athens, Greece

VenueRoyal Olympic Hotel

Room nameTemplars

Floor0

Capacity100

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

Mon 21 Oct
Displayed time zone: Beirut change

	09:00 - 10:30	Session 1: SLE WelcomeSLE at Templars Chair(s): Beatriz Sanchez University of York

	09:00 90m Talk		Software Language Engineering -- 42 Frequently Asked Questions SLE Ralf Laemmel Facebook London

	11:00 - 12:30	Session 2: GrammarsSLE at Templars Chair(s): Elizabeth Scott Royal Holloway University of London

	11:00 30m Talk		A Feature-Based Classification of Triple Graph Grammar Variants SLE Nils Weidmann Paderborn University, Patrick Robrecht Independent, Robin Oppermann Independent
	11:30 30m Talk		Spectrum-Based Fault Localization for Context-Free Grammars SLE Moeketsi Raselimo Stellenbosch University, Bernd Fischer Stellenbosch University
	12:00 30m Talk		Consistency Management via a Combination of Triple Graph Grammars and Linear Programming SLE Nils Weidmann Paderborn University, Anthony Anjorin Paderborn University, Erhan Leblebici Technische Universität Darmstadt, Andy Schürr Technische Universität Darmstadt

	14:00 - 15:30	Session 3: LanguagesSLE at Templars Chair(s): Casper Bach Delft University of Technology

	14:00 30m Talk		Operationalizing the Integration of User Interaction Specifications in the Synthesis of Modeling Editors SLE Vasco Sousa Université de Montréal, Eugene Syriani Université de Montréal, Khady Fall Université de Montréal
	14:30 20m Talk		A Vision of Miking: Interactive Programmatic Modeling, Sound Language Composition, and Self-Learning CompilationNEW IDEA SLE David Broman KTH Royal Institute of Technology
	14:50 20m Talk		Shadow Models [Tool Demo] -- Incremental Transformations for MPSDEMO SLE Markus Völter itemis/independent, Klaus Birken itemis AG, Sascha Lisson itemis AG, Alexander Rimer itemis AG
	15:10 20m Talk		The Lands Platform: Lan.guages and D.omain S.yntax, Tool DemoDEMO SLE Nick Papoulias Université Grenoble Alpes, France

	16:00 - 17:30	Session 4: ParsingSLE at Templars Chair(s): Adrian Johnstone Royal Holloway, University of London

	16:00 30m Talk		Multiple Lexicalisation - A Java Based Study SLE Elizabeth Scott Royal Holloway University of London, Adrian Johnstone Royal Holloway, University of London
	16:30 20m Talk		Breaking Parsers: Mutation-based Generation of Programs with Guaranteed Syntax ErrorsNEW IDEABest Paper SLE Moeketsi Raselimo Stellenbosch University, Jan Taljaard Stellenbosch University, Bernd Fischer Stellenbosch University
	16:50 30m Talk		Default disambiguation for online parsers SLE Lukas Diekmann King's College London, Laurence Tratt King's College London DOI Pre-print

	17:30 - 18:00	SLE MIP Awards 2018 and 2019SLE at Templars

	17:20 40m Awards		SLE MIP Awards 2018 and 2019 SLE

Tue 22 Oct
Displayed time zone: Beirut change

	09:00 - 10:30	Session 5: GPCE WelcomeSLE at Templars

	11:00 - 12:30	Session 6: ModelingSLE at Templars

	11:00 30m Talk		Domain-specific model differencing in visual concrete syntaxBest Paper SLE Manouchehr Zadahmad Jafarlou Université de Montréal, Eugene Syriani Université de Montréal, Omar Alam Trent University, Esther Guerra Universidad Autonoma de Madrid, Juan de Lara Universidad Autonoma de Madrid
	11:30 30m Talk		Detecting and Exploring Side Effects when Repairing Model Inconsistencies SLE Djamel Eddine Khelladi CNRS, IRISA, Roland Kretschmer JOHANNES KEPLER UNIVERSITY LINZ, Alexander Egyed JOHANNES KEPLER UNIVERSITY LINZ
	12:00 30m Talk		Higher-Level Mission Specification for Multiple Robots SLE Sergio Garcia Chalmers \| University of Gothenburg, Patrizio Pelliccione Chalmers \| University of Gothenburg, Claudio Menghi University of Luxembourg, Luxembourg, Thorsten Berger Chalmers \| University of Gothenburg, Tomas Bures Charles University

	14:00 - 15:30	Session 7: DSLs and CompositionSLE at Templars Chair(s): Eugene Syriani Université de Montréal

	14:00 30m Talk		Efficient Late Binding of Dynamic Function Compositions SLE Lars Schütze Technische Universität Dresden, Jeronimo Castrillon TU Dresden, Germany
	14:30 30m Talk		Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects SLE Philipp Seifer University of Koblenz-Landau, Germany, Johannes Härtel University of Koblenz-Landau, Germany, Martin Leinberger University of Koblenz-Landau, Germany, Ralf Laemmel Facebook London, Steffen Staab University of Koblenz-Landau and University of Southampton, Germany
	15:00 30m Talk		From DSL specification to interactive computer programming environment SLE Pierre Jeanjean Inria, Univ Rennes, CNRS, IRISA, Benoit Combemale University of Toulouse, Olivier Barais Univ. Rennes, Inria, CNRS, IRISA

	16:00 - 17:30	Sessions 8: Types, ACID and GovernanceSLE at Templars Chair(s): Vadim Zaytsev Raincode Labs, Belgium

	16:00 20m Talk		Analysis and Modeling of the Governance in General Programming LanguagesNEW IDEA SLE Javier Luis Cánovas Izquierdo IN3 - UOC, Jordi Cabot ICREA - UOC
	16:20 30m Talk		Developing a Monadic Type Checker for an Object-Oriented Language (Experience Report) SLE Elias Castegren KTH Royal Institute of Technology, Kiko Fernandez-Reyes Uppsala University DOI Pre-print
	16:50 20m Talk		Vision Paper: Generating Incremental Type ServicesNEW IDEA SLE André Pacak JGU Mainz, Sebastian Erdweg JGU Mainz
	17:10 30m Talk		Transactional Editing: Giving ACID to Programmers SLE Friedrich Steimann Fernuni Hagen, Nils Kurowsky Fernuni Hagen

Wed 23 Oct
Displayed time zone: Beirut change

	11:00 - 12:30	Onward! Papers 1Onward! Papers at Templars Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel

	11:00 30m Talk		Deployable Probabilistic Programming Onward! Papers David Tolpin PUB+
	11:30 30m Talk		An Approach for Persistent Time-Varying Values Onward! Papers Tetsuo Kamina Oita University, Tomoyuki Aotani Tokyo Institute of Technology
	12:00 30m Talk		CallƐ: An Effect System for Method Calls Onward! Papers Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Marco Servetto Victoria University Wellington, New Zealand

	14:00 - 15:30	Onward! Papers 2Onward! Papers at Templars Chair(s): Hidehiko Masuhara Tokyo Institute of Technology

	14:00 30m Talk		AlleAlle: Bounded Relational Model Finding with Unbounded Data Onward! Papers Jouke Stoel CWI, Tijs van der Storm CWI & University of Groningen, Netherlands, Jurgen Vinju CWI, Netherlands Link to publication DOI Pre-print
	14:30 30m Talk		Active Learning for Software Engineering Onward! Papers José Pablo Cambronero MIT, Thurston HY Dang MIT, Nikos Vasilakis MIT CSAIL, USA, Jiasi Shen Massachusetts Institute of Technology, Jerry Wu MIT, Martin C. Rinard MIT

	16:00 - 17:30	Onward! Essays - Session 1Onward! Essays at Templars

	16:00 45m Talk		Local-first software: You own your data, in spite of the cloud Onward! Essays Martin Kleppmann University of Cambridge, Adam Wiggins Ink & Switch, Peter van Hardenberg Ink & Switch, Mark McGranaghan Ink & Switch
	16:45 45m Talk		Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring? Onward! Essays Yannis Smaragdakis University of Athens

Thu 24 Oct
Displayed time zone: Beirut change

	11:00 - 12:30	Onward! Papers 3Onward! Papers at Templars Chair(s): Tobias Wrigstad Uppsala University

	11:00 30m Talk		Declarative Assembly of Web Applications from Predefined Concepts Onward! Papers Santiago Perez De Rosso MIT CSAIL, Daniel Jackson MIT, Maryam Archie MIT, Czarina Lao MIT, Barry A. McNamara III MIT Link to publication Pre-print Media Attached
	11:30 30m Talk		GoTcha: An Interactive Debugger for GoT-Based Distributed Systems Onward! Papers Rohan Achar UC Irvine, Pritha Dawn UC Irvine, Crista Lopes UC Irvine Pre-print
	12:00 30m Talk		Storage Combinators Onward! Papers Marcel Weiher Hasso-Plattner-Institut (HPI), Germany, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany Link to publication DOI Pre-print

	14:00 - 15:30	Onward! Papers 4Onward! Papers at Templars Chair(s): Hidehiko Masuhara Tokyo Institute of Technology

	14:00 30m Talk		Property Conveyances as a Programming Language Onward! Papers Shrutarshi Basu Cornell University, Nate Foster Cornell University, James Grimmelmann Cornell University Pre-print
	14:30 30m Talk		The Adverse Effects of Code Duplication in Machine Learning Models of Code Onward! Papers Miltiadis Allamanis Microsoft Research, Cambridge DOI Pre-print

	16:00 - 17:30	Onward! Essays - Session 2Onward! Essays at Templars

	16:00 45m Talk		Learning to Listen for Design Onward! Essays Elisa Baniassad University of British Columbia, Ivan Beschastnikh Computer Science, University of British Columbia, Reid Holmes University of British Columbia, Gregor Kiczales University of British Columbia, Meghan Allen University of British Columbia

Fri 25 Oct
Displayed time zone: Beirut change

	11:00 - 12:30	Repair & TransformationOOPSLA at Templars Chair(s): Bor-Yuh Evan Chang University of Colorado Boulder \| Amazon

	11:00 22m Talk		Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts OOPSLA Shuai Wang Hong Kong University of Science and Technology, Chengyu Zhang East China Normal University, Zhendong Su ETH Zurich DOI
	11:22 22m Talk		Automatic Repair of Regular Expressions OOPSLA Rong Pan University of Texas at Austin, Qinheping Hu University of Wisconsin, Madison, Gaowei Xu University of Wisconsin Madison, Loris D'Antoni University of Wisconsin Madison DOI Pre-print
	11:45 22m Talk		Getafix: Learning to Fix Bugs Automatically OOPSLA Johannes Bader Facebook, Andrew Scott Facebook, Michael Pradel University of Stuttgart, Satish Chandra Facebook DOI Pre-print
	12:07 22m Talk		IntelliMerge: A Refactoring-Aware Software Merging Technique OOPSLA Bo Shen Peking University, Wei Zhang Peking University, Haiyan Zhao Peking University, Guangtai Liang Huawei Technologies Co. Ltd, Zhi Jin Peking University, Qianxiang Wang Huawei Technologies Co. Ltd DOI

	14:00 - 15:30	Model CheckingOOPSLA at Templars Chair(s): Casper Bach Delft University of Technology

	14:00 22m Talk		Value-Centric Dynamic Partial Order Reduction OOPSLA Krishnendu Chatterjee IST Austria, Andreas Pavlogiannis EPFL, Viktor Toman IST Austria (Institute of Science and Technology Austria) DOI
	14:22 22m Talk		Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency OOPSLA Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Sweden, Bengt Jonsson Uppsala University, Sweden, Magnus Lång Uppsala University, Sweden, Tuan Phong Ngo Uppsala University, Sweden, Konstantinos (Kostis) Sagonas Uppsala University, Sweden DOI Pre-print
	14:45 22m Talk		TLA+ Model Checking Made Symbolic OOPSLA Igor Konnov Inria Nancy - Grand Est, France, Jure Kukovec TU Wien, Austria, Thanh-Hai Tran TU Wien, Austria DOI
	15:07 22m Talk		Effective Lock Handling in Stateless Model Checking OOPSLA Michalis Kokologiannakis MPI-SWS, Germany, Azalea Raad MPI-SWS, Germany, Viktor Vafeiadis MPI-SWS, Germany DOI

Mon 21 Oct
Displayed time zone: Beirut change


Room	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
Templars	SLE Session 1: SLE Welcome																								SLE Session 2: Grammars																																				SLE Session 3: Languages																								SLE Session 4: Parsing																		SLE SLE MIP Awards 2018 and 2019

Tue 22 Oct
Displayed time zone: Beirut change


Room	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
Templars	SLE Session 5: GPCE Welcome																								SLE Session 6: Modeling																																				SLE Session 7: DSLs and Composition																								SLE Sessions 8: Types, ACID and Governance

Wed 23 Oct
Displayed time zone: Beirut change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Templars	Onward! Papers Onward! Papers 1																																				Onward! Papers Onward! Papers 2																								Onward! Essays Onward! Essays - Session 1

Thu 24 Oct
Displayed time zone: Beirut change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Templars	Onward! Papers Onward! Papers 3																																				Onward! Papers Onward! Papers 4																								Onward! Essays Onward! Essays - Session 2

Fri 25 Oct
Displayed time zone: Beirut change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Templars	OOPSLA Repair & Transformation																																				OOPSLA Model Checking

Mon 21 Oct
Displayed time zone: Beirut change


Room	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
Templars	SLE Software Language Engineering -- 42 Frequently Asked Questions 09:00 - 10:30																								SLE A Feature-Based Classification of Triple Graph Grammar Variants 11:00 - 11:30						SLE Spectrum-Based Fault Localization for Context-Free Grammars 11:30 - 12:00						SLE Consistency Management via a Combination of Triple Graph Grammars and L ... 12:00 - 12:30																								SLE Operationalizing the Integration of User Interaction Specifications in ... 14:00 - 14:30						SLENEW IDEA A Vision of Miking: Interactive Programmatic Modeling, Sound Language C ... 14:30 - 14:50				SLEDEMO Shadow Models [Tool Demo] -- Incremental Transformations for MPS 14:50 - 15:10				SLEDEMO The Lands Platform: Lan.guages and D.omain S.yntax, Tool Demo 15:10 - 15:30										SLE Multiple Lexicalisation - A Java Based Study 16:00 - 16:30						SLENEW IDEABest Paper Breaking Parsers: Mutation-based Generation of Programs with Guaranteed ... 16:30 - 16:50				SLE Default disambiguation for online parsers 16:50 - 17:20						SLE SLE MIP Awards 2018 and 2019 17:20 - 18:00

Tue 22 Oct
Displayed time zone: Beirut change


Room	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
Templars	SLEBest Paper Domain-specific model differencing in visual concrete syntax 11:00 - 11:30						SLE Detecting and Exploring Side Effects when Repairing Model Inconsistencies 11:30 - 12:00						SLE Higher-Level Mission Specification for Multiple Robots 12:00 - 12:30																								SLE Efficient Late Binding of Dynamic Function Compositions 14:00 - 14:30						SLE Empirical Study on the Usage of Graph Query Languages in Open Source Ja ... 14:30 - 15:00						SLE From DSL specification to interactive computer programming environment 15:00 - 15:30												SLENEW IDEA Analysis and Modeling of the Governance in General Programming Languages 16:00 - 16:20				SLE Developing a Monadic Type Checker for an Object-Oriented Language (Expe ... 16:20 - 16:50						SLENEW IDEA Vision Paper: Generating Incremental Type Services 16:50 - 17:10				SLE Transactional Editing: Giving ACID to Programmers 17:10 - 17:40

Wed 23 Oct
Displayed time zone: Beirut change


Room	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
Templars	SPLASH Onward! Papers Deployable Probabilistic Programming 11:00 - 11:30						SPLASH Onward! Papers An Approach for Persistent Time-Varying Values 11:30 - 12:00						SPLASH Onward! Papers CallƐ: An Effect System for Method Calls 12:00 - 12:30																								SPLASH Onward! Papers AlleAlle: Bounded Relational Model Finding with Unbounded Data 14:00 - 14:30						SPLASH Onward! Papers Active Learning for Software Engineering 14:30 - 15:00																		SPLASH Onward! Essays Local-first software: You own your data, in spite of the cloud 16:00 - 16:45									SPLASH Onward! Essays Next-Paradigm Programming Languages: What Will They Look Like and What ... 16:45 - 17:30

Thu 24 Oct
Displayed time zone: Beirut change


Room	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
Templars	SPLASH Onward! Papers Declarative Assembly of Web Applications from Predefined Concepts 11:00 - 11:30						SPLASH Onward! Papers GoTcha: An Interactive Debugger for GoT-Based Distributed Systems 11:30 - 12:00						SPLASH Onward! Papers Storage Combinators 12:00 - 12:30																								SPLASH Onward! Papers Property Conveyances as a Programming Language 14:00 - 14:30						SPLASH Onward! Papers The Adverse Effects of Code Duplication in Machine Learning Models of Code 14:30 - 15:00																		SPLASH Onward! Essays Learning to Listen for Design 16:00 - 16:45

Fri 25 Oct
Displayed time zone: Beirut change


Room	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
Templars	SPLASH OOPSLA Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts 11:00 - 11:22				SPLASH OOPSLA Automatic Repair of Regular Expressions 11:22 - 11:45					SPLASH OOPSLA Getafix: Learning to Fix Bugs Automatically 11:45 - 12:07				SPLASH OOPSLA IntelliMerge: A Refactoring-Aware Software Merging Technique 12:07 - 12:30																							SPLASH OOPSLA Value-Centric Dynamic Partial Order Reduction 14:00 - 14:22				SPLASH OOPSLA Optimal Stateless Model Checking for Reads-From Equivalence under Seque ... 14:22 - 14:45					SPLASH OOPSLA TLA+ Model Checking Made Symbolic 14:45 - 15:07				SPLASH OOPSLA Effective Lock Handling in Stateless Model Checking 15:07 - 15:30

Same domain → Similar titles →