Grand Station 1 - SPLASH 2015

VenueSheraton Station Square Hotel

Room nameGrand Station 1

Floor1

Room Information

Program

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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 26 Oct
Displayed time zone: Eastern Time (US & Canada) change

08:30 - 10:00	Session 1GPCE at Grand Station 1 Chair(s): Anirüddhā Gokhālé Vanderbilt University

08:30 90m Talk		GPCE Keynote: "Technologies to Enable the Next-Generation Stadium and Fan Experience" by Priya Narasimhan GPCE Priya Narasimhan Carnegie Mellon University

10:30 - 12:00	Session 2GPCE at Grand Station 1 Chair(s): Tiark Rompf Purdue & Oracle Labs

10:30 10m Day opening		Opening Remarks GPCE
10:40 30m Talk		Shallow Embedding of DSLs via Online Partial Evaluation GPCE Roland Leißa , Klaas Boesche Saarland University, Sebastian Hack , Richard Membarth German Research Center for Artificial Intelligence, Philipp Slusallek German Research Center for Artificial Intelligence
11:10 30m Talk		Almost First-Class Language Embedding: Taming Staged Embedded DSLs GPCE Maximilian Scherr , Shigeru Chiba University of Tokyo
11:40 20m Talk		Generating Safe Boundary APIs between Typed EDSLs and their Environments GPCE Bob Reynders iMinds - Distrinet, KU Leuven, Dominique Devriese iMinds - Distrinet, KU Leuven, Frank Piessens iMinds - Distrinet, KU Leuven

13:30 - 15:00	Session 3GPCE at Grand Station 1 Chair(s): Ulrik Pagh Schultz University of Southern Denmark

13:30 30m Talk		An Empirical Study on Configuration-Related Type Issues GPCE Flávio Medeiros Federal University of Campina Grande, Iran Rodrigues Federal University of Alagoas, Márcio Ribeiro Federal University of Alagoas (UFAL), Leopoldo Teixeira Federal University of Pernambuco, Rohit Gheyi UFCG, Brazil
14:00 30m Talk		Analysing the Kconfig Semantics and its Analysis Tools GPCE Sascha El-Sharkawy University of Hildesheim, Adam Krafczyk University of Hildesheim, Klaus Schmid Stiftung Universistat Hildesheim
14:30 30m Talk		Migrating Large Object-oriented Applications into Component-based ones: Instantiation and Inheritance Transformation GPCE Zakarea Al Shara LIRMM, CNRS and University of Montpellier, Abdelhak Seriai LIRMM, CNRS and University of Montpellier, Chouki Tibermacine LIRMM, CNRS and University of Montpellier, Hinde Bouziane LIRMM, CNRS and University of Montpellier, Christophe Dony LIRMM, CNRS and University of Montpellier, Anas Shatnawi LIRMM, CNRS and University of Montpellier

15:30 - 17:30	Session 4GPCE at Grand Station 1 Chair(s): Tijs van der Storm CWI

15:30 30m Talk		Safer SDN programming through Arbiter GPCE Michael Lopez Texas A&M University, C. Jasson Casey Texas A&M University and Flowgrammable.org, Gabriel Dos Reis Texas A&M University and Microsoft
16:00 30m Talk		Contract-Based General-Purpose GPU Programming GPCE Alexey Kolesnichenko ETH Zurich, Chris Poskitt ETH Zurich, Switzerland, Sebastian Nanz ETH Zurich, Bertrand Meyer ETH Zurich, Innopolis University and Eiffel Software Link to publication DOI Pre-print Media Attached File Attached
16:30 30m Talk		Inverse macro in Scala GPCE Hiroshi Yamaguchi The University of Tokyo, Shigeru Chiba University of Tokyo
17:00 20m Talk		Towards Tool Support for Spreadsheet-based Domain-Specific Languages GPCE Sorin Adam Conpleks Innovation, Ulrik Pagh Schultz University of Southern Denmark

Tue 27 Oct
Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00	Session 6GPCE at Grand Station 1 Chair(s): Matthew Flatt University of Utah

10:30 30m Talk		Native-2-Native: Automated Cross-Platform Code Synthesis from Web-Based Programming Resources GPCE Antuan Byalik Virginia Tech, Sanchit Chadha Virginia Tech, Eli Tilevich Virginia Tech Media Attached File Attached
11:00 20m Talk		CLOP: A multi-stage compiler to seamlessly embed heterogeneous code GPCE Dmitri Makarov University of Lugano, Matthias Hauswirth University of Lugano, Switzerland Media Attached File Attached
11:20 20m Talk		Composing Code Generators for C&C ADLs With Application-Specific Behavior Languages (Tool Demonstration) GPCE Bernhard Rumpe RWTH Aachen University, Germany, Andreas Wortmann RWTH Aachen University, Jan Oliver Ringert Tel Aviv University Media Attached File Attached
11:40 20m Talk		Orchestrating Masses of Sensors: A Design-Driven Development Approach GPCE Milan Kabáč University of Bordeaux / Inria Bordeaux / LaBRI, Charles Consel University of Bordeaux Media Attached

13:30 - 15:00	Session 7GPCE at Grand Station 1 Chair(s): Christian Kästner Carnegie Mellon University

13:30 30m Talk		Generating Reactive Programs for Graphical User Interfaces from Multi-way Dataflow Constraint Systems GPCE Gabriel Foust Texas A & M University, Jaakko Järvi Texas A&M University, Sean Parent Adobe Systems, Inc.
14:00 30m Talk		POP-PL: A Patient-Oriented Prescription Programming Language GPCE Spencer P. Florence Northwestern University, Burke Fetscher Northwestern University, Matthew Flatt University of Utah, William H Temps Northwestern University Feinberg School of Medicine, Departmentof Dermatology, Tina Kiguradze Northwestern University Feinberg School of Medicine, Departmentof Dermatology, Dennis P. West Northwestern University Feinberg School of Medicine, Departmentof Dermatology, Charlotte Niznik Northwestern University Feinberg School of Medicine, Departmentof Dermatology, Paul R. Yarnold Optimal Data Analysis LLC, Robert Bruce Findler Northwestern University, Steven M. Belknap Northwestern University Feinberg School of Medicine, Departmentof Dermatology
14:30 30m Talk		Lightweight, Generative Variant Exploration for High-Performance Graphics Applications GPCE Kai Selgrad Friedrich-Alexander-Universität Erlangen-Nürnberg, Alexander Lier Friedrich-Alexander-Universität Erlangen-Nürnberg, Franz Köferl Friedrich-Alexander-Universität Erlangen-Nürnberg, Marc Stamminger Friedrich-Alexander-Universität Erlangen-Nürnberg, Daniel Lohmann Friedrich-Alexander University of Erlangen-Nürnberg

15:30 - 17:30	Session 8GPCE at Grand Station 1 Chair(s): Jaakko Järvi Texas A&M University

15:30 30m Talk		Modular Interpreters for the Masses: Implicit Context Propagation Using Object Algebras GPCE Pablo Inostroza Centrum Wiskunde & Informatica, Tijs van der Storm CWI
16:00 30m Talk		Addressing Metamodel Revisions in Model-based Software Product Lines GPCE Jaime Font San Jorge University, Lorena Arcega San Jorge University, Øystein Haugen Østfold University College, Carlos Cetina San Jorge University
16:30 30m Talk		Generative Software Product Line Development using Variability-Aware Design Patterns GPCE Christoph Seidl Technische Universität Braunschweig, Sven Schuster Technische Universität Braunschweig, Ina Schaefer
17:00 20m Talk		Model Querying with Query Models GPCE Carlos Noguera Vrije Universiteit Brussel, Viviane Jonckers Vrije Universiteit Brussel
17:20 10m Day closing		GPCE'15 Closing and GPCE'16 Announcement GPCE

Wed 28 Oct
Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00	1. Model CheckingOOPSLA at Grand Station 1 Chair(s): Julian Dolby IBM Research

10:30 22m Talk		Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach OOPSLA Anthony Widjaja Lin Yale-NUS College, Singapore, Matthew Hague Royal Holloway University of London, UK, C.-H. Luke Ong University of Oxford, UK Link to publication
10:52 22m Talk		SATCheck: SAT-Directed Stateless Model Checking for SC and TSO OOPSLA Brian Demsky University of California at Irvine, USA, Patrick Lam University of Waterloo, Canada Link to publication
11:15 22m Talk		Programming with Enumerable Sets of Structures OOPSLA Ivan Kuraj Massachusetts Institute of Technology, USA, Viktor Kunčak EPFL, Switzerland, Daniel Jackson Massachusetts Institute of Technology, USA DOI
11:37 22m Talk		Stateless Model Checking of Event-Driven Applications OOPSLA Casper Svenning Jensen Aarhus University, Denmark, Anders Møller Aarhus University, Veselin Raychev ETH Zurich, Switzerland, Dimitar Dimitrov ETH Zurich, Switzerland, Martin Vechev ETH Zurich, Switzerland DOI

13:30 - 15:00	3. VerificationOOPSLA at Grand Station 1 Chair(s): Guangtai Liang IBM Research - China

13:30 22m Talk		Conditionally Correct Superoptimization OOPSLA Rahul Sharma Stanford University, Eric Schkufza Stanford University, Berkeley Churchill Stanford University, Alex Aiken Stanford University DOI
13:52 22m Talk		Selective Control-Flow Abstraction via Jumping OOPSLA Sam Blackshear University of Colorado at Boulder, USA, Bor-Yuh Evan Chang University of Colorado at Boulder, USA, Manu Sridharan Samsung Research America Link to publication
14:15 22m Talk		Automating Grammar Comparison OOPSLA Ravichandhran Madhavan EPFL, Switzerland, Mikaël Mayer EPFL, Switzerland, Sumit Gulwani Microsoft Research, USA, Viktor Kunčak EPFL, Switzerland Link to publication
14:37 22m Talk		Reasoning about the POSIX File System: Local Update and Global Pathnames OOPSLA Gian Ntzik Imperial College London, UK, Philippa Gardner Imperial College London, UK DOI

15:30 - 17:00	4. ConcurrencyOOPSLA at Grand Station 1 Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel

15:30 22m Talk		AutoMO: Automatic Inference of Memory Order Parameters for C/C++11 OOPSLA Peizhao Ou University of California at Irvine, USA, Brian Demsky University of California at Irvine, USA DOI
15:52 22m Talk		Valor: Efficient, Software-Only Region Conflict Exceptions OOPSLA Swarnendu Biswas Ohio State University, USA, Minjia Zhang Ohio State University, USA, Michael D. Bond Ohio State University, USA, Brandon Lucia Carnegie Mellon University, USA DOI Pre-print
16:15 22m Talk		Automatic Memory Reclamation for Lock-Free Data Structures OOPSLA Nachshon Cohen Technion, Israel, Erez Petrank Technion, Israel DOI
16:37 22m Talk		Protocol-Based Verification of Message-Passing Parallel Programs OOPSLA Hugo A. López Technical University of Denmark, Eduardo Marques University of Lisbon, Portugal, Francisco Martins University of Lisbon, Portugal, Nicholas Ng Imperial College London, UK, César Santos University of Lisbon, Portugal, Vasco T. Vasconcelos University of Lisbon, Portugal, Nobuko Yoshida Imperial College London, UK Link to publication

Thu 29 Oct
Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00	5. MobilityOOPSLA at Grand Station 1 Chair(s): Lukasz Ziarek State University of New York (SUNY) Buffalo

10:30 22m Talk		Interactively Verifying Absence of Explicit Information Flows in Android Apps OOPSLA Osbert Bastani Stanford University, Saswat Anand Stanford University, Alex Aiken Stanford University DOI Media Attached
10:52 22m Talk		ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access OOPSLA Lucas Brutschy ETH Zurich, Switzerland, Pietro Ferrara IBM Research, USA, Omer Tripp IBM Research, USA, Marco Pistoia IBM Research, USA Pre-print Media Attached
11:15 22m Talk		Scalable Race Detection for Android Applications OOPSLA Pavol Bielik ETH Zurich, Switzerland, Veselin Raychev ETH Zurich, Switzerland, Martin Vechev ETH Zurich, Switzerland DOI Media Attached
11:37 22m Talk		Versatile yet Lightweight Record-and-Replay for Android OOPSLA Yongjian Hu University of California at Riverside, USA, Tanzirul Azim University of California at Riverside, USA, Iulian Neamtiu University of California at Riverside, USA DOI Media Attached

13:30 - 15:00	7. RuntimeOOPSLA at Grand Station 1 Chair(s): Michael Pradel TU Darmstadt, Germany

13:30 22m Talk		Accurate Profiling in the Presence of Dynamic Compilation OOPSLA Yudi Zheng University of Lugano, Lubomír Bulej Università della Svizzera italiana, Walter Binder University of Lugano DOI
13:52 22m Talk		Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures OOPSLA Martin Aigner University of Salzburg, Austria, Christoph Kirsch University of Salzburg, Austria, Michael Lippautz University of Salzburg, Austria, Ana Sokolova University of Salzburg, Austria DOI Pre-print Media Attached
14:15 22m Talk		Probability Type Inference for Flexible Approximate Programming OOPSLA Brett Boston Massachusetts Institute of Technology, USA, Adrian Sampson Cornell University & Microsoft Research, Dan Grossman University of Washington, USA, Luis Ceze University of Washington, USA Pre-print Media Attached
14:37 22m Talk		Cross-Layer Memory Management for Managed Language Applications OOPSLA Michael Jantz University of Tennessee, USA, Forrest Robinson University of Kansas, USA, Prasad Kulkarni University of Kansas, Kshitij Doshi Intel, USA DOI Media Attached

15:30 - 17:30	8. Static AnalysisOOPSLA at Grand Station 1 Chair(s): Werner Dietl University of Waterloo

15:30 24m Talk		Static Analysis of Event-Driven Node.js JavaScript Applications OOPSLA Magnus Madsen University of Waterloo, Frank Tip Samsung Research America, Ondřej Lhoták University of Waterloo DOI Media Attached
15:54 24m Talk		EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties OOPSLA Yu Feng University of Texas at Austin, USA, Xinyu Wang UT Austin, Işıl Dillig University of Texas at Austin, USA, Calvin Lin University of Texas at Austin, USA Pre-print Media Attached
16:18 24m Talk		Giga-Scale Exhaustive Points-To Analysis for Java in Under a Minute OOPSLA Jens Dietrich Massey University, New Zealand, Nicholas Hollingum University of Sydney, Australia, Bernhard Scholz Oracle Labs, Australia DOI Media Attached
16:42 24m Talk		Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis OOPSLA David Darais University of Maryland, College Park, Matthew Might University of Utah, USA, David Van Horn University of Maryland at College Park, USA DOI Media Attached
17:06 24m Talk		Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation OOPSLA Hakjoo Oh Korea University, South Korea, Hongseok Yang University of Oxford, UK, Kwangkeun Yi Seoul National University, South Korea DOI Media Attached

Fri 30 Oct
Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00	9. Compilation & Dynamic AnalysisOOPSLA at Grand Station 1 Chair(s): Frank Tip Samsung Research America

10:30 22m Talk		Runtime Pointer Disambiguation OOPSLA Pericles Rafael Alves Federal University of Minas Gerais, Brazil, Fabian Gruber INRIA, France, Johannes Doerfert Saarland University, Alexandros Labrineas INRIA, France, Tobias Grosser ETH Zurich, Switzerland, Fabrice Rastello INRIA, France, Fernando Magno Quintão Pereira Federal University of Minas Gerais, Brazil Link to publication
10:52 22m Talk		Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities OOPSLA Luca Della Toffola ETH Zurich, Switzerland, Michael Pradel TU Darmstadt, Germany, Thomas Gross ETH Zurich, Switzerland DOI
11:15 22m Talk		RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization OOPSLA Wen-Chuan Lee Purdue University, USA, Tao Bao Purdue University, USA, Yunhui Zheng IBM Research, Xiangyu Zhang Purdue University, USA, Keval Vora University of California at Riverside, USA, Rajiv Gupta University of California at Riverside, USA DOI
11:37 22m Talk		Automated Backward Error Analysis for Numerical Code OOPSLA Zhoulai Fu University of California at Davis, USA, Zhaojun Bai University of California at Davis, USA, Zhendong Su University of California at Davis, USA DOI

13:30 - 15:00	11. Programming Language DesignOOPSLA at Grand Station 1 Chair(s): Gary T. Leavens University of Central Florida

13:30 22m Talk		Remote-Scope Promotion: Clarified, Rectified, and Verified OOPSLA John Wickerson Imperial College London, Mark Batty University of Cambridge, Bradford M. Beckmann Advanced Micro Devices, Inc, Alastair F. Donaldson Imperial College London DOI Media Attached
13:52 22m Talk		Incremental Computation with Names OOPSLA Matthew Hammer University of Maryland, College Park, Jana Dunfield University of British Columbia, Canada, Kyle Headley University of Maryland, College Park, Nicholas Labich University of Maryland at College Park, USA, Jeffrey S. Foster University of Maryland at College Park, USA, Michael Hicks University of Maryland at College Park, USA, David Van Horn University of Maryland at College Park, USA DOI
14:15 22m Talk		Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Languages OOPSLA Tim Felgentreff HPI, Germany, Todd Millstein University of California at Los Angeles, USA, Alan Borning University of Washington, USA, Robert Hirschfeld HPI DOI
14:37 22m Talk		Optimizing Hash-Array Mapped Tries for Fast and Lean Immutable JVM Collections OOPSLA Michael Steindorfer CWI, Netherlands, Jurgen Vinju CWI, Netherlands Link to publication

15:30 - 17:00	13. Type SystemsOOPSLA at Grand Station 1 Chair(s): Nobuko Yoshida Imperial College London, UK

15:30 22m Talk		A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking OOPSLA Sebastian Erdweg TU Darmstadt, Germany, Oliver Bračevac TU Darmstadt, Edlira Kuci TU Darmstadt, Germany, Matthias Krebs TU Darmstadt, Germany, Mira Mezini TU Darmstadt Link to publication Pre-print
15:52 22m Talk		Disjointness Domains for Fine-Grained Aliasing OOPSLA Stephan Brandauer Uppsala University, Dave Clarke Uppsala University, Sweden and KU Leuven, Belgium, Tobias Wrigstad Uppsala University Link to publication File Attached
16:15 22m Talk		The Chemical Approach to Typestate-Oriented Programming OOPSLA Silvia Crafa Università di Padova, Italy, Luca Padovani DOI
16:37 22m Talk		Customizable Gradual Polymorphic Effects for Scala OOPSLA Matías Toro University of Chile, Chile, Éric Tanter University of Chile, Chile DOI

Mon 26 Oct
Displayed time zone: Eastern Time (US & Canada) 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
Grand Station 1							GPCE Session 1																								GPCE Session 2																																				GPCE Session 3																								GPCE Session 4

Tue 27 Oct
Displayed time zone: Eastern Time (US & Canada) 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
Grand Station 1							GPCE Session 6																																				GPCE Session 7																								GPCE Session 8

Wed 28 Oct
Displayed time zone: Eastern Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Grand Station 1							OOPSLA 1. Model Checking																																				OOPSLA 3. Verification																								OOPSLA 4. Concurrency

Thu 29 Oct
Displayed time zone: Eastern Time (US & Canada) 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
Grand Station 1							OOPSLA 5. Mobility																																				OOPSLA 7. Runtime																								OOPSLA 8. Static Analysis

Fri 30 Oct
Displayed time zone: Eastern Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Grand Station 1							OOPSLA 9. Compilation & Dynamic Analysis																																				OOPSLA 11. Programming Language Design																								OOPSLA 13. Type Systems

Mon 26 Oct
Displayed time zone: Eastern Time (US & Canada) 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
Grand Station 1							GPCE GPCE Keynote: "Technologies to Enable the Next-Generation Stadium and F ... 08:30 - 10:00																								GPCE Opening Remarks 10:30 - 10:40		GPCE Shallow Embedding of DSLs via Online Partial Evaluation 10:40 - 11:10						GPCE Almost First-Class Language Embedding: Taming Staged Embedded DSLs 11:10 - 11:40						GPCE Generating Safe Boundary APIs between Typed EDSLs and their Environments 11:40 - 12:00																						GPCE An Empirical Study on Configuration-Related Type Issues 13:30 - 14:00						GPCE Analysing the Kconfig Semantics and its Analysis Tools 14:00 - 14:30						GPCE Migrating Large Object-oriented Applications into Component-based ones: ... 14:30 - 15:00												GPCE Safer SDN programming through Arbiter 15:30 - 16:00						GPCE Contract-Based General-Purpose GPU Programming 16:00 - 16:30						GPCE Inverse macro in Scala 16:30 - 17:00						GPCE Towards Tool Support for Spreadsheet-based Domain-Specific Languages 17:00 - 17:20

Tue 27 Oct
Displayed time zone: Eastern Time (US & Canada) 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			17:00			15			30			45
Grand Station 1							GPCE Native-2-Native: Automated Cross-Platform Code Synthesis from Web-Based ... 10:30 - 11:00						GPCE CLOP: A multi-stage compiler to seamlessly embed heterogeneous code 11:00 - 11:20				GPCE Composing Code Generators for C&C ADLs With Application-Specific Behavi ... 11:20 - 11:40				GPCE Orchestrating Masses of Sensors: A Design-Driven Development Approach 11:40 - 12:00																						GPCE Generating Reactive Programs for Graphical User Interfaces from Multi-w ... 13:30 - 14:00						GPCE POP-PL: A Patient-Oriented Prescription Programming Language 14:00 - 14:30						GPCE Lightweight, Generative Variant Exploration for High-Performance Graphi ... 14:30 - 15:00												GPCE Modular Interpreters for the Masses: Implicit Context Propagation Using ... 15:30 - 16:00						GPCE Addressing Metamodel Revisions in Model-based Software Product Lines 16:00 - 16:30						GPCE Generative Software Product Line Development using Variability-Aware De ... 16:30 - 17:00						GPCE Model Querying with Query Models 17:00 - 17:20				GPCE GPCE'15 Closing and GPCE'16 Announcement 17:20 - 17:30

Wed 28 Oct
Displayed time zone: Eastern Time (US & Canada) 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
Grand Station 1							SPLASH OOPSLA Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting A ... 10:30 - 10:52				SPLASH OOPSLA SATCheck: SAT-Directed Stateless Model Checking for SC and TSO 10:52 - 11:15					SPLASH OOPSLA Programming with Enumerable Sets of Structures 11:15 - 11:37				SPLASH OOPSLA Stateless Model Checking of Event-Driven Applications 11:37 - 12:00																							SPLASH OOPSLA Conditionally Correct Superoptimization 13:30 - 13:52				SPLASH OOPSLA Selective Control-Flow Abstraction via Jumping 13:52 - 14:15					SPLASH OOPSLA Automating Grammar Comparison 14:15 - 14:37				SPLASH OOPSLA Reasoning about the POSIX File System: Local Update and Global Pathnames 14:37 - 15:00											SPLASH OOPSLA AutoMO: Automatic Inference of Memory Order Parameters for C/C++11 15:30 - 15:52				SPLASH OOPSLA Valor: Efficient, Software-Only Region Conflict Exceptions 15:52 - 16:15					SPLASH OOPSLA Automatic Memory Reclamation for Lock-Free Data Structures 16:15 - 16:37				SPLASH OOPSLA Protocol-Based Verification of Message-Passing Parallel Programs 16:37 - 17:00

Thu 29 Oct
Displayed time zone: Eastern Time (US & Canada) 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			17:00			15			30			45
Grand Station 1							SPLASH OOPSLA Interactively Verifying Absence of Explicit Information Flows in Androi ... 10:30 - 10:52				SPLASH OOPSLA ShamDroid: Gracefully Degrading Functionality in the Presence of Limite ... 10:52 - 11:15					SPLASH OOPSLA Scalable Race Detection for Android Applications 11:15 - 11:37				SPLASH OOPSLA Versatile yet Lightweight Record-and-Replay for Android 11:37 - 12:00																							SPLASH OOPSLA Accurate Profiling in the Presence of Dynamic Compilation 13:30 - 13:52				SPLASH OOPSLA Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through L ... 13:52 - 14:15					SPLASH OOPSLA Probability Type Inference for Flexible Approximate Programming 14:15 - 14:37				SPLASH OOPSLA Cross-Layer Memory Management for Managed Language Applications 14:37 - 15:00											SPLASH OOPSLA Static Analysis of Event-Driven Node.js JavaScript Applications 15:30 - 15:54					SPLASH OOPSLA EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Cont ... 15:54 - 16:18					SPLASH OOPSLA Giga-Scale Exhaustive Points-To Analysis for Java in Under a Minute 16:18 - 16:42				SPLASH OOPSLA Galois Transformers and Modular Abstract Interpreters: Reusable Metathe ... 16:42 - 17:06					SPLASH OOPSLA Learning a Strategy for Adapting a Program Analysis via Bayesian Optimi ... 17:06 - 17:30

Fri 30 Oct
Displayed time zone: Eastern Time (US & Canada) 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
Grand Station 1							SPLASH OOPSLA Runtime Pointer Disambiguation 10:30 - 10:52				SPLASH OOPSLA Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opp ... 10:52 - 11:15					SPLASH OOPSLA RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization 11:15 - 11:37				SPLASH OOPSLA Automated Backward Error Analysis for Numerical Code 11:37 - 12:00																							SPLASH OOPSLA Remote-Scope Promotion: Clarified, Rectified, and Verified 13:30 - 13:52				SPLASH OOPSLA Incremental Computation with Names 13:52 - 14:15					SPLASH OOPSLA Checks and Balances: Constraint Solving without Surprises in Object-Con ... 14:15 - 14:37				SPLASH OOPSLA Optimizing Hash-Array Mapped Tries for Fast and Lean Immutable JVM Coll ... 14:37 - 15:00											SPLASH OOPSLA A Co-Contextual Formulation of Type Rules and its Application to Increm ... 15:30 - 15:52				SPLASH OOPSLA Disjointness Domains for Fine-Grained Aliasing 15:52 - 16:15					SPLASH OOPSLA The Chemical Approach to Typestate-Oriented Programming 16:15 - 16:37				SPLASH OOPSLA Customizable Gradual Polymorphic Effects for Scala 16:37 - 17:00

Room information: Grand Station 1

Mon 26 Oct
Displayed time zone: Eastern Time (US & Canada) change

Tue 27 Oct
Displayed time zone: Eastern Time (US & Canada) change

Wed 28 Oct
Displayed time zone: Eastern Time (US & Canada) change

Thu 29 Oct
Displayed time zone: Eastern Time (US & Canada) change

Fri 30 Oct
Displayed time zone: Eastern Time (US & Canada) change

Mon 26 Oct
Displayed time zone: Eastern Time (US & Canada) change

GPCE

GPCE

GPCE

GPCE

Tue 27 Oct
Displayed time zone: Eastern Time (US & Canada) change

GPCE

GPCE

GPCE

Wed 28 Oct
Displayed time zone: Eastern Time (US & Canada) change

OOPSLA

OOPSLA

OOPSLA

Thu 29 Oct
Displayed time zone: Eastern Time (US & Canada) change

OOPSLA

OOPSLA

OOPSLA

Fri 30 Oct
Displayed time zone: Eastern Time (US & Canada) change

OOPSLA

OOPSLA

OOPSLA

Mon 26 Oct
Displayed time zone: Eastern Time (US & Canada) change

Tue 27 Oct
Displayed time zone: Eastern Time (US & Canada) change

Wed 28 Oct
Displayed time zone: Eastern Time (US & Canada) change

Thu 29 Oct
Displayed time zone: Eastern Time (US & Canada) change

Fri 30 Oct
Displayed time zone: Eastern Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Room information: Grand Station 1

Program Display Configuration

Mon 26 OctDisplayed time zone: Eastern Time (US & Canada) change

Tue 27 OctDisplayed time zone: Eastern Time (US & Canada) change

Wed 28 OctDisplayed time zone: Eastern Time (US & Canada) change

Thu 29 OctDisplayed time zone: Eastern Time (US & Canada) change

Fri 30 OctDisplayed time zone: Eastern Time (US & Canada) change

Mon 26 OctDisplayed time zone: Eastern Time (US & Canada) change

GPCE

GPCE

GPCE

GPCE

Tue 27 OctDisplayed time zone: Eastern Time (US & Canada) change

GPCE

GPCE

GPCE

Wed 28 OctDisplayed time zone: Eastern Time (US & Canada) change

OOPSLA

OOPSLA

OOPSLA

Thu 29 OctDisplayed time zone: Eastern Time (US & Canada) change

OOPSLA

OOPSLA

OOPSLA

Fri 30 OctDisplayed time zone: Eastern Time (US & Canada) change

OOPSLA

OOPSLA

OOPSLA

Mon 26 OctDisplayed time zone: Eastern Time (US & Canada) change

Tue 27 OctDisplayed time zone: Eastern Time (US & Canada) change

Wed 28 OctDisplayed time zone: Eastern Time (US & Canada) change

Thu 29 OctDisplayed time zone: Eastern Time (US & Canada) change

Fri 30 OctDisplayed time zone: Eastern Time (US & Canada) change

Mon 26 Oct
Displayed time zone: Eastern Time (US & Canada) change

Tue 27 Oct
Displayed time zone: Eastern Time (US & Canada) change

Wed 28 Oct
Displayed time zone: Eastern Time (US & Canada) change

Thu 29 Oct
Displayed time zone: Eastern Time (US & Canada) change

Fri 30 Oct
Displayed time zone: Eastern Time (US & Canada) change

Mon 26 Oct
Displayed time zone: Eastern Time (US & Canada) change

Tue 27 Oct
Displayed time zone: Eastern Time (US & Canada) change

Wed 28 Oct
Displayed time zone: Eastern Time (US & Canada) change

Thu 29 Oct
Displayed time zone: Eastern Time (US & Canada) change

Fri 30 Oct
Displayed time zone: Eastern Time (US & Canada) change

Mon 26 Oct
Displayed time zone: Eastern Time (US & Canada) change

Tue 27 Oct
Displayed time zone: Eastern Time (US & Canada) change

Wed 28 Oct
Displayed time zone: Eastern Time (US & Canada) change

Thu 29 Oct
Displayed time zone: Eastern Time (US & Canada) change

Fri 30 Oct
Displayed time zone: Eastern Time (US & Canada) change