Studio 1 - SLE 2018

VenueBoston Park Plaza Hotel

Room nameStudio 1

Floor1

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00	Keynote: AmarasingheGPCE at Studio 1

08:30 15m Talk		Opening GPCE Eric Van Wyk University of Minnesota, USA, Tiark Rompf Purdue University, David J. Pearce Victoria University of Wellington, Tanja Mayerhofer TU Wien, Friedrich Steimann Fernuniversität
08:45 75m Talk		How to Make Sparse FastKeynote GPCE Saman Amarasinghe MIT

10:30 - 12:00	ParsingSLE 2018 at Studio 1 Chair(s): Tijs van der Storm CWI & University of Groningen

10:30 30m Talk		Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages SLE 2018 Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Michael J. Steindorfer Delft University of Technology, Sebastian Erdweg TU Delft, Eelco Visser Delft University of Technology Link to publication DOI
11:00 30m Talk		GLL Parsing with Flexible Combinators SLE 2018 L. Thomas van Binsbergen Royal Holloway University of London, Elizabeth Scott Royal Holloway University of London, Adrian Johnstone File Attached
11:30 30m Talk		Morbig: A Static Parser for POSIX Shell SLE 2018 Yann Régis-Gianas IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2, Nicolas Jeannerod IRIF, Université de Paris, Ralf Treinen IRIF

13:30 - 15:00	Parsing / CompositionSLE 2018 at Studio 1 Chair(s): Eelco Visser Delft University of Technology

13:30 20m Talk		Input-Driven Regular Expressions (Vision Paper)Vision / New Idea SLE 2018 Alexander Sakharov Synstretch
13:50 30m Talk		Modular Language Composition for the Masses SLE 2018 Manuel Leduc Univ Rennes, Inria, CNRS, IRISA, Thomas Degueule Centrum Wiskunde & Informatica, Benoit Combemale University of Rennes 1 DOI Pre-print
14:20 20m Talk		Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)Tool Demo SLE 2018 Filip Strömbäck Linköping University DOI
14:40 20m Talk		Languages as First-Class Citizens (Vision Paper)Vision / New Idea SLE 2018 Matteo Cimini University of Massachusetts Lowell

15:30 - 17:30	Validation & VerificationSLE 2018 at Studio 1 Chair(s): Marsha Chechik University of Toronto

15:30 30m Talk		Continuous Model Validation using Reference Attribute Grammars SLE 2018 Johannes Mey Technische Universität Dresden, René Schöne Technische Universität Dresden, Görel Hedin , Emma Söderberg Lund University, Thomas Kühn Technische Universität Dresden, Niklas Fors Lund University, Jesper Oqvist Lund University, Uwe Aßmann TU Dresden, Germany Link to publication DOI Pre-print Media Attached
16:00 30m Talk		Migrating Business Logic to an Incremental Computing DSL: A Case Study SLE 2018 Daco Harkes Delft University of Technology, Elmer van Chastelet Delft University of Technology, Eelco Visser Delft University of Technology Link to publication DOI Pre-print
16:30 20m Talk		An Industrial Case Study in Compiler Testing (Tool Demo)Tool Demo SLE 2018 Vadim Zaytsev Raincode Labs
16:50 20m Talk		Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)Tool Demo SLE 2018 Benoît Ries University of Luxembourg, Alfredo Capozucca University of Luxembourg, Nicolas Guelfi University of Luxembourg DOI

Tue 6 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00	Keynote: RinardSLE 2018 at Studio 1

08:30 15m Day opening		Awards SLE 2018 Friedrich Steimann Fernuniversität, Tanja Mayerhofer TU Wien, Matthew Roberts Macquarie University, Romina Eramo University of L'Aquila
08:45 75m Talk		A New Approach for Software Correctness and ReliabilityKeynote SLE 2018 Martin C. Rinard Massachusetts Institute of Technology

10:30 - 12:00	Types & ConstraintsSLE 2018 at Studio 1 Chair(s): Ralf Laemmel Facebook London

10:30 30m Talk		Constraint-based Run-time State Migration for Live Modeling SLE 2018 Ulyana Tikhonova CWI, Jouke Stoel CWI, Tijs van der Storm CWI & University of Groningen, Thomas Degueule Centrum Wiskunde & Informatica
11:00 30m Talk		The Next 700 Unit Checkers SLE 2018 Oscar Bennich-Björkman Uppsala University, Steve McKeever Uppsala University
11:30 30m Talk		A Practical Type System for Safe Aliasing SLE 2018 Dimi Racordon University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier Buchs University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland

13:30 - 15:00	Grammars & MetamodellingSLE 2018 at Studio 1 Chair(s): Thomas Degueule Centrum Wiskunde & Informatica

13:30 30m Talk		Facet-Oriented Modelling: Open Objects for Model-Driven Engineering SLE 2018 Juan de Lara Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Jörg Kienzle McGill University, Canada, Yanis Hattab McGill University
14:00 30m Talk		Analysing Meta-Model Product Lines SLE 2018 Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Universidad Autónoma de Madrid, Marsha Chechik University of Toronto, Rick Salay University of Toronto
14:30 30m Talk		Translating Grammars to Accurate Metamodels SLE 2018 Arvid Butting Software Engineering RWTH Aachen University, Nico Jansen Software Engineering, RWTH Aachen University, Bernhard Rumpe RWTH Aachen University, Andreas Wortmann RWTH Aachen University

15:30 - 17:30	Grammars & Metamodelling / WorkbenchesSLE 2018 at Studio 1 Chair(s): Juan de Lara Universidad Autónoma de Madrid

15:30 30m Talk		Deriving Fluent Internal Domain-Specific Languages from Grammars SLE 2018 Arvid Butting Software Engineering RWTH Aachen University, Manuela Dalibor Software Engineering, RWTH Aachen University, Gerrit Leonhardt Software Engineering, RWTH Aachen University, Bernhard Rumpe RWTH Aachen University, Andreas Wortmann RWTH Aachen University
16:00 20m Talk		Fostering Metamodels and Grammars Within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo)Tool Demo SLE 2018 Benoît Lelandais CEA/DAM/DIF, France, Marie-Pierre Oudot CEA/DAM/DIF, France, Benoit Combemale University of Rennes 1
16:20 20m Talk		Migrating Custom DSL Implementations to a Language Workbench (Tool Demo) Tool Demo SLE 2018 Jasper Denkers TU Delft, Louis van Gool Océ Technologies B.V., Eelco Visser Delft University of Technology Link to publication DOI
16:40 20m Talk		Bacatá: A Language Parametric Notebook Generator (Tool Demo)Tool Demo SLE 2018 Mauricio Verano Merino Technische Universiteit Eindhoven, Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV, Tijs van der Storm CWI & University of Groningen
17:00 20m Talk		Shape-Diverse DSLs: Languages without Borders (Vision Paper)Vision / New Idea SLE 2018 Fabien Coulon University of Toulouse / Obeo, Thomas Degueule Centrum Wiskunde & Informatica, Tijs van der Storm CWI & University of Groningen, Benoit Combemale University of Rennes 1 Pre-print

Wed 7 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00	Types and EffectsSPLASH OOPSLA at Studio 1 Chair(s): Colin Gordon Drexel University

10:30 22m Talk		Effect Handlers for the Masses SPLASH OOPSLA Jonathan Immanuel Brachthäuser University of Tübingen, Germany, Philipp Schuster University of Tübingen, Germany, Klaus Ostermann University of Tübingen, Germany
10:52 22m Talk		Empowering Union and Intersection Types with Integrated Subtyping SPLASH OOPSLA Fabian Muehlboeck Cornell University, Ross Tate Cornell University Link to publication DOI Pre-print
11:15 22m Talk		Julia Subtyping: a Rational Reconstruction SPLASH OOPSLA Francesco Zappa Nardelli Inria, Julia Belyakova Northeastern University, USA, Artem Pelenitsyn Northeastern University, Benjamin Chung Northeastern University, Jeff Bezanson Julia Computing, Jan Vitek Northeastern University DOI Media Attached
11:37 22m Talk		Scopes as Types SPLASH OOPSLA Hendrik van Antwerpen TU Delft, Casper Bach Poulsen Delft University of Technology, Arjen Rouvoet Delft University of Technology, Eelco Visser Delft University of Technology Link to publication DOI File Attached

13:30 - 15:00	SecuritySPLASH OOPSLA at Studio 1 Chair(s): Tobias Wrigstad Uppsala University

13:30 22m Talk		A Derivation Framework for Dependent Security Label Inference SPLASH OOPSLA Peixuan Li Penn State University, Danfeng Zhang Pennsylvania State University
13:52 22m Talk		MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts SPLASH OOPSLA Neville Grech University of Athens, Michael Kong University of Sydney, Anton Jurisevic University of Sydney, Lexi Brent University of Sydney, Bernhard Scholz The University of Sydney, Yannis Smaragdakis University of Athens Link to publication Pre-print File Attached
14:15 22m Talk		Faster Variational Execution with Transparent Bytecode Transformation SPLASH OOPSLA Chu-Pan Wong Carnegie Mellon University, Jens Meinicke Magdeburg University, Lukas Lazarek , Christian Kästner Carnegie Mellon University
14:37 22m Talk		Secure Serverless Computing Using Dynamic Information Flow Control SPLASH OOPSLA Kalev Alpernas Tel Aviv University, Cormac Flanagan University of California, Santa Cruz, Sadjad Fouladi Stanford University, Leonid Ryzhyk VMware Research, Mooly Sagiv Tel Aviv University, Thomas Schmitz , Keith Winstein Stanford University

15:30 - 17:00	Language Design 2SPLASH OOPSLA at Studio 1 Chair(s): Jonathan Aldrich Carnegie Mellon University

15:30 22m Talk		Bidirectional Evaluation with Direct Manipulation SPLASH OOPSLA Mikaël Mayer EPFL, Switzerland, Viktor Kunčak EPFL, Switzerland, Ravi Chugh University of Chicago
15:52 22m Talk		BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip SPLASH OOPSLA Jason Ott University of California, Riverside, Tyson Loveless University of California, Riverside, Chris Curtis University of California, Riverside, Mohsen Lesani University of California, Riverside, Philip Brisk University of California, Riverside
16:15 22m Talk		Distributed System Development with ScalaLoci SPLASH OOPSLA Pascal Weisenburger Technische Universität Darmstadt, Mirko Köhler , Guido Salvaneschi TU Darmstadt
16:37 22m Talk		Concurrency-aware Object-oriented Programming with Roles SPLASH OOPSLA Michael Faes ETH Zurich, Thomas Gross ETH Zurich Link to publication DOI

	17:05 - 18:00	Awards / SIGPLAN Town Hall MeetingSPLASH OOPSLA at Studio 1 Chair(s): Jens Palsberg University of California, Los Angeles, Manu Sridharan Uber

Thu 8 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00	Weak Memory and RefactoringSPLASH OOPSLA at Studio 1 Chair(s): Richard Jones University of Kent

10:30 22m Talk		Optimal Stateless Model Checking under the Release-Acquire Semantics SPLASH OOPSLA Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Bengt Jonsson Uppsala University, Tuan Phong Ngo Uppsala University
10:52 22m Talk		Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results SPLASH OOPSLA Peizhao Ou University of California, Irvine, Brian Demsky University of California, Irvine
11:15 22m Talk		Persistence Semantics for Weak Memory SPLASH OOPSLA Azalea Raad MPI-SWS, Germany, Viktor Vafeiadis MPI-SWS, Germany
11:37 22m Talk		Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State SPLASH OOPSLA Jyothi Vedurada IIT Madras, V Krishna Nandivada IIT Madras

13:30 - 15:00	Parallelism and CorrectnessSPLASH OOPSLA at Studio 1 Chair(s): Werner Dietl University of Waterloo, Canada

13:30 22m Talk		Thread-Safe Reactive Programming SPLASH OOPSLA Joscha Drechsler Technische Universität Darmstadt, Ragnar Mogk Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt, Mira Mezini TU Darmstadt DOI Pre-print File Attached
13:52 22m Talk		RacerD: Compositional Static Race Detection SPLASH OOPSLA Sam Blackshear Facebook, Nikos Gorogiannis , Peter W. O'Hearn Facebook and University College London, Ilya Sergey Yale-NUS College Pre-print
14:15 22m Talk		What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection SPLASH OOPSLA Umang Mathur University of Illinois at Urbana-Champaign, Dileep Kini University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign DOI Authorizer link Pre-print
14:37 22m Talk		Sound Deadlock Prediction SPLASH OOPSLA Christian Gram Kalhauge University of California, Los Angeles, Jens Palsberg University of California, Los Angeles

15:30 - 17:00	PerformanceSPLASH OOPSLA at Studio 1 Chair(s): Adam Welc Uber Technologies

15:30 22m Talk		Cross-Component Garbage Collection SPLASH OOPSLA Ulan Degenbaev Google, Jochen Eisinger Google, Kentaro Hara Google, Marcel Hlopko Google, Michael Lippautz Google, Hannes Payer Google DOI Media Attached
15:52 22m Talk		Reactive Caching for Composed Services SPLASH OOPSLA Sebastian Burckhardt Microsoft Research, Tim Coppieters Vrije Universiteit Brussel, Belgium
16:15 22m Talk		Object-Oriented Recovery for Non-Volatile Memory SPLASH OOPSLA Nachshon Cohen EPFL, Switzerland, David T. Aksun EPFL, James Larus EPFL
16:37 22m Talk		Software Multiplexing: Share Your Libraries and Statically Link Them Too SPLASH OOPSLA Will Dietz University of Illinois at Urbana-Champaign, Vikram S. Adve University of Illinois at Urbana-Champaign Link to publication DOI Pre-print

Fri 9 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00	TestingSPLASH OOPSLA at Studio 1 Chair(s): Kim Bruce Pomona College

10:30 22m Talk		Compositional Programming and Testing of Dynamic Distributed Systems SPLASH OOPSLA Ankush Desai University of California, Berkeley, Amar Phanishayee Microsoft Research, Shaz Qadeer Microsoft Research, Sanjit Seshia UC Berkeley
10:52 22m Talk		Randomized Testing of Distributed Systems with Probabilistic Guarantees SPLASH OOPSLA Burcu Kulahcioglu Ozkan MPI-SWS, Germany, Rupak Majumdar MPI-SWS, Germany, Filip Niksic MPI-SWS, Mitra Tabaei Befrouei Vienna University of Technology, Georg Weissenbacher Technische Universität Wien
11:15 22m Talk		Test Generation for Higher-Order Functions in Dynamic Languages SPLASH OOPSLA Marija Selakovic TU Darmstadt, Germany, Michael Pradel TU Darmstadt, Rezwana Karim Nawrin Samsung Research America, Frank Tip Northeastern University
11:37 22m Talk		Finding Broken Promises in Asynchronous JavaScript Programs SPLASH OOPSLA Saba Alimadadi Northeastern University, Di Zhong Northeastern University, USA, Magnus Madsen Aarhus University, Frank Tip Northeastern University

13:30 - 14:15	VerificationSPLASH OOPSLA at Studio 1 Chair(s): Tony Hosking Australian National University / Data61

13:30 22m Talk		Leto: Verifying Application-Specific Fault Tolerance through Parameterized Execution Models SPLASH OOPSLA Brett Boston Massachusetts Institute of Technology, Zoe Gong Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
13:52 22m Talk		Safe Replication through Bounded Concurrency Verification SPLASH OOPSLA Gowtham Kaki Purdue University, Kapil Earanky Purdue University, KC Sivaramakrishnan University of Cambridge, Suresh Jagannathan Purdue University

Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change


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
Studio 1							GPCE Keynote: Amarasinghe																								SLE 2018 Parsing																																				SLE 2018 Parsing / Composition																								SLE 2018 Validation & Verification

Tue 6 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change


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
Studio 1							SLE 2018 Keynote: Rinard																								SLE 2018 Types & Constraints																																				SLE 2018 Grammars & Metamodelling																								SLE 2018 Grammars & Metamodelling / Workbenches

Wed 7 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change


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
Studio 1							SPLASH OOPSLA Types and Effects																																				SPLASH OOPSLA Security																								SPLASH OOPSLA Language Design 2																			SPLASH OOPSLA Awards / SIGPLAN Town Hall Meeting

Thu 8 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Studio 1							SPLASH OOPSLA Weak Memory and Refactoring																																				SPLASH OOPSLA Parallelism and Correctness																								SPLASH OOPSLA Performance

Fri 9 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30
Studio 1							SPLASH OOPSLA Testing																																				SPLASH OOPSLA Verification

Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change


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
Studio 1							GPCE Opening 08:30 - 08:45			GPCE Keynote How to Make Sparse Fast 08:45 - 10:00																					SLE Declarative Specification of Indentation Rules: A Tooling Perspective o ... 10:30 - 11:00						SLE GLL Parsing with Flexible Combinators 11:00 - 11:30						SLE Morbig: A Static Parser for POSIX Shell 11:30 - 12:00																								SLEVision / New Idea Input-Driven Regular Expressions (Vision Paper) 13:30 - 13:50				SLE Modular Language Composition for the Masses 13:50 - 14:20						SLETool Demo Storm: A Language Platform for Interacting and Extensible Languages (To ... 14:20 - 14:40				SLEVision / New Idea Languages as First-Class Citizens (Vision Paper) 14:40 - 15:00										SLE Continuous Model Validation using Reference Attribute Grammars 15:30 - 16:00						SLE Migrating Business Logic to an Incremental Computing DSL: A Case Study 16:00 - 16:30						SLETool Demo An Industrial Case Study in Compiler Testing (Tool Demo) 16:30 - 16:50				SLETool Demo Messir, a Text-first DSL-based Approach for UML Requirements Engineerin ... 16:50 - 17:10

Tue 6 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change


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
Studio 1							SLE Awards 08:30 - 08:45			SLEKeynote A New Approach for Software Correctness and Reliability 08:45 - 10:00																					SLE Constraint-based Run-time State Migration for Live Modeling 10:30 - 11:00						SLE The Next 700 Unit Checkers 11:00 - 11:30						SLE A Practical Type System for Safe Aliasing 11:30 - 12:00																								SLE Facet-Oriented Modelling: Open Objects for Model-Driven Engineering 13:30 - 14:00						SLE Analysing Meta-Model Product Lines 14:00 - 14:30						SLE Translating Grammars to Accurate Metamodels 14:30 - 15:00												SLE Deriving Fluent Internal Domain-Specific Languages from Grammars 15:30 - 16:00						SLETool Demo Fostering Metamodels and Grammars Within a Dedicated Environment for HP ... 16:00 - 16:20				SLETool Demo Migrating Custom DSL Implementations to a Language Workbench (Tool Demo) 16:20 - 16:40				SLETool Demo Bacatá: A Language Parametric Notebook Generator (Tool Demo) 16:40 - 17:00				SLEVision / New Idea Shape-Diverse DSLs: Languages without Borders (Vision Paper) 17:00 - 17:20

Wed 7 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change


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
Studio 1							SPLASH OOPSLA Effect Handlers for the Masses 10:30 - 10:52				SPLASH OOPSLA Empowering Union and Intersection Types with Integrated Subtyping 10:52 - 11:15					SPLASH OOPSLA Julia Subtyping: a Rational Reconstruction 11:15 - 11:37				SPLASH OOPSLA Scopes as Types 11:37 - 12:00																							SPLASH OOPSLA A Derivation Framework for Dependent Security Label Inference 13:30 - 13:52				SPLASH OOPSLA MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts 13:52 - 14:15					SPLASH OOPSLA Faster Variational Execution with Transparent Bytecode Transformation 14:15 - 14:37				SPLASH OOPSLA Secure Serverless Computing Using Dynamic Information Flow Control 14:37 - 15:00											SPLASH OOPSLA Bidirectional Evaluation with Direct Manipulation 15:30 - 15:52				SPLASH OOPSLA BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip 15:52 - 16:15					SPLASH OOPSLA Distributed System Development with ScalaLoci 16:15 - 16:37				SPLASH OOPSLA Concurrency-aware Object-oriented Programming with Roles 16:37 - 17:00

Thu 8 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change


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
Studio 1							SPLASH OOPSLA Optimal Stateless Model Checking under the Release-Acquire Semantics 10:30 - 10:52				SPLASH OOPSLA Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results 10:52 - 11:15					SPLASH OOPSLA Persistence Semantics for Weak Memory 11:15 - 11:37				SPLASH OOPSLA Identifying Refactoring Opportunities for Replacing Type Code with Subc ... 11:37 - 12:00																							SPLASH OOPSLA Thread-Safe Reactive Programming 13:30 - 13:52				SPLASH OOPSLA RacerD: Compositional Static Race Detection 13:52 - 14:15					SPLASH OOPSLA What Happens-After the First Race? Enhancing the Predictive Power of Ha ... 14:15 - 14:37				SPLASH OOPSLA Sound Deadlock Prediction 14:37 - 15:00											SPLASH OOPSLA Cross-Component Garbage Collection 15:30 - 15:52				SPLASH OOPSLA Reactive Caching for Composed Services 15:52 - 16:15					SPLASH OOPSLA Object-Oriented Recovery for Non-Volatile Memory 16:15 - 16:37				SPLASH OOPSLA Software Multiplexing: Share Your Libraries and Statically Link Them Too 16:37 - 17:00

Fri 9 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change


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
Studio 1							SPLASH OOPSLA Compositional Programming and Testing of Dynamic Distributed Systems 10:30 - 10:52				SPLASH OOPSLA Randomized Testing of Distributed Systems with Probabilistic Guarantees 10:52 - 11:15					SPLASH OOPSLA Test Generation for Higher-Order Functions in Dynamic Languages 11:15 - 11:37				SPLASH OOPSLA Finding Broken Promises in Asynchronous JavaScript Programs 11:37 - 12:00																							SPLASH OOPSLA Leto: Verifying Application-Specific Fault Tolerance through Parameteri ... 13:30 - 13:52				SPLASH OOPSLA Safe Replication through Bounded Concurrency Verification 13:52 - 14:15

Room information: Studio 1

Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 7 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 8 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 9 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

GPCE

SLE 2018

SLE 2018

SLE 2018

Tue 6 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

SLE 2018

SLE 2018

SLE 2018

SLE 2018

Wed 7 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Thu 8 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Fri 9 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

SPLASH OOPSLA

SPLASH OOPSLA

Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 7 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 8 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 9 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tracks

Room information: Studio 1

Program Display Configuration

Mon 5 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 6 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 7 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 8 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 9 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 5 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

GPCE

SLE 2018

SLE 2018

SLE 2018

Tue 6 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

SLE 2018

SLE 2018

SLE 2018

SLE 2018

Wed 7 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Thu 8 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Fri 9 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

SPLASH OOPSLA

SPLASH OOPSLA

Mon 5 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 6 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 7 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 8 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 9 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 7 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 8 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 9 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 7 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 8 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 9 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 7 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 8 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 9 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change