Georgian -

VenueBoston Park Plaza Hotel

Room nameGeorgian

Floor2

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

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

	12:00 - 13:30	LunchSPLASH Social at Georgian

18:00 - 20:30	Poster & SRCSPLASH Posters at Georgian

18:00 2m Poster		Faster Variational Execution with Transparent Bytecode Transformation SPLASH Posters A: Chu-Pan Wong Carnegie Mellon University, A: Jens Meinicke Magdeburg University, A: Lukas Lazarek , A: Christian Kästner Carnegie Mellon University Link to publication
18:02 2m Poster		Guiding Inlining Decisions by Identifying Post-Inlining Transformations SPLASH Posters A: Erick Ochoa University of Alberta, A: Andrew Craik IBM Canada, A: Jose Nelson Amaral University of Alberta, A: Karim Ali University of Alberta
18:04 2m Poster		DeepBugs: A Learning Approach to Name-based Bug Detection SPLASH Posters A: Michael Pradel TU Darmstadt, A: Koushik Sen University of California, Berkeley Link to publication
18:06 2m Poster		Continuous Model Validation using Reference Attribute Grammars SPLASH Posters A: Johannes Mey Technische Universität Dresden, A: René Schöne Technische Universität Dresden, A: Görel Hedin , A: Emma Söderberg Lund University, A: Thomas Kühn Technische Universität Dresden, A: Niklas Fors Lund University, A: Jesper Oqvist Lund University, A: Uwe Aßmann TU Dresden, Germany Link to publication Pre-print
18:08 2m Poster		Modular Language Composition for the Masses SPLASH Posters A: Manuel Leduc IRISA, University of Rennes 1, A: Thomas Degueule Centrum Wiskunde & Informatica, A: Benoit Combemale University of Rennes 1 Link to publication
18:10 2m Poster		Generating a Java Library from Its Specification SPLASH Posters A: Tomoki Nakamaru The University of Tokyo, A: Shigeru Chiba The University of Tokyo
18:12 2m Poster		Scopes as Types SPLASH Posters A: Hendrik van Antwerpen TU Delft, A: Casper Bach Delft University of Technology, A: Arjen Rouvoet Delft University of Technology, A: Eelco Visser Delft University of Technology Link to publication
18:14 2m Poster		Compositional Programming and Testing of Dynamic Distributed Systems SPLASH Posters A: Ankush Desai University of California, Berkeley, A: Amar Phanishayee Microsoft Research, A: Shaz Qadeer Microsoft Research, A: Sanjit Seshia UC Berkeley Link to publication
18:16 2m Poster		Fixing Machine Learning with Solver-Aided Languages SPLASH Posters A: Revan MacQueen University of Alberta, A: Julian Dolby IBM Research, A: Karim Ali University of Alberta
18:18 2m Poster		Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling SPLASH Posters A: Minseok Jeon Korea University, South Korea, A: Sehun Jeong Korea University, A: Hakjoo Oh Korea University Link to publication
18:20 2m Poster		CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs SPLASH Posters A: Jonathan Bell George Mason University, A: Luís Pina George Mason University
18:22 2m Poster		Speeding up Symbolic Reasoning for Relational Queries SPLASH Posters A: Chenglong Wang University of Washington, USA, A: Alvin Cheung University of Washington, A: Rastislav Bodík University of Washington Link to publication
18:24 2m Poster		Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results SPLASH Posters A: Peizhao Ou University of California, Irvine, A: Brian Demsky University of California, Irvine Link to publication
18:26 2m Poster		Exploring feature interactions without specifications: a controlled experiment SPLASH Posters A: Larissa Rocha Universidade Federal da Bahia, A: Jens Meinicke Magdeburg University, A: Sarah Nadi University of Alberta, A: Christian Kästner Carnegie Mellon University, A: Eduardo Santana de Almeida Universidade Federal da Bahia Link to publication
18:28 2m Poster		Obsidian: A Safer Blockchain Programming Language SPLASH Posters A: Michael Coblenz Carnegie Mellon University, A: Jonathan Aldrich Carnegie Mellon University, A: Brad A. Myers Carnegie Mellon University, A: Joshua Sunshine Carnegie Mellon University
18:30 2m Talk		Grammar Induction for Programming Languages using Skip-Gram Model SPLASH Posters Tomomasa Matsunaga , Shigeru Chiba The University of Tokyo
18:32 2m Talk		Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages SPLASH Posters A: Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, A: Michael J. Steindorfer Delft University of Technology, A: Sebastian Erdweg TU Delft, A: Eelco Visser Delft University of Technology Link to publication
18:34 2m Poster		Incremental compilation for Stratego SPLASH Posters A: Jeff Smits Delft University of Technology, A: Eelco Visser Delft University of Technology Link to publication
18:36 2m Poster		Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo) SPLASH Posters A: Jasper Denkers TU Delft, A: Louis van Gool Océ Technologies B.V., A: Eelco Visser Delft University of Technology Link to publication
18:39 2m Poster		Reconciling High-level Optimizations and Low-level Code in LLVM SPLASH Posters A: Juneyoung Lee Seoul National University, A: Chung-Kil Hur Seoul National University, A: Ralf Jung MPI-SWS, A: Zhengyang Liu University of Utah, A: John Regehr University of Utah, A: Nuno P. Lopes Microsoft Research Link to publication
18:41 2m Poster		Identifying Barriers to Adoption for Rust through Online Discourse SPLASH Posters A: Anna Zeng Stanford University, A: Will Crichton Stanford University Link to publication
18:43 2m Poster		Chocola: Integrating Futures, Actors, and Transactions SPLASH Posters A: Janwillem Swalens Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel, A: Joeri De Koster Vrije Universiteit Brussel, Belgium Link to publication Pre-print
18:45 2m Poster		SWAN: A Swift Program Analysis Framework SPLASH Posters A: Jeff Cho University of Alberta, A: Mark Mroz University of Ottawa, A: Julian Dolby IBM Research, A: Karim Ali University of Alberta Link to publication
18:47 2m Poster		Migrating Business Logic to an Incremental Computing DSL: A Case Study SPLASH Posters A: Daco Harkes Delft University of Technology, A: Elmer van Chastelet Delft University of Technology, A: Eelco Visser Delft University of Technology Link to publication
18:49 2m Poster		Multi-Device Grace SPLASH Posters A: Ben Selwyn-Smith , A: Craig Anslow Victoria University of Wellington, A: Michael Homer Victoria University of Wellington
18:51 2m Poster		Handling inconsistencies in software product line using a rule-based approach SPLASH Posters Megha Bhushan Chitkara University, Punjab, India, A: Shivani Goel , Arun Negi Ministry of Defence, Government of India, India, Piyush Samant Thapar Institute of Engineering, Patiala, Punjab, India
18:53 2m Poster		Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo) SPLASH Posters A: Filip Strömbäck Linköping University Link to publication
18:55 2m Poster		Espalier: a structured spreadsheet tool for end-user development of organizational applications SPLASH Posters A: Matt McCutchen MIT, A: Shachar Itzhaky Technion, Israel, A: Daniel Jackson MIT, A: Willow Jarvis MIT Link to publication
18:57 2m Poster		Scaling the REPL Experience SPLASH Posters A: Yair Chuchem Lamdu, A: Eyal Lotem Lamdu Link to publication
18:59 2m Poster		Sound Deadlock Prediction SPLASH Posters A: Christian Gram Kalhauge University of California, Los Angeles, A: Jens Palsberg University of California, Los Angeles Link to publication
19:01 2m Poster		Distributed System Development with ScalaLoci SPLASH Posters A: Pascal Weisenburger Technische Universität Darmstadt, A: Mirko Köhler , A: Guido Salvaneschi TU Darmstadt Link to publication
19:03 2m Poster		Safe Replication through Bounded Concurrency Verification SPLASH Posters A: Gowtham Kaki Purdue University, A: Kapil Earanky Purdue University, A: KC Sivaramakrishnan University of Cambridge, A: Suresh Jagannathan Purdue University Link to publication
19:05 2m Poster		Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State SPLASH Posters A: Jyothi Vedurada IIT Madras, A: V Krishna Nandivada IIT Madras Link to publication
19:07 2m Poster		Margin Notes: Automatic code documentation with recorded examples from runtime SPLASH Posters A: Geoffrey Litt Link to publication
19:09 2m Poster		Refinement in object-sensitivity points-to analysis via slicing SPLASH Posters A: Girish Maskeri Rama Infosys Limited, A: Raghavan Komondoor Indian Institute of Science, Bangalore, A: Himanshu Sharma Indian Institute of Science, Bangalore Link to publication
19:11 2m Poster		The Software Architecture of Economy Mechanics in Digital Games SPLASH Posters A: Wilson Mizutani University of São Paulo Link to publication
19:13 2m Poster		Finding Broken Promises in Asynchronous JavaScript Programs SPLASH Posters A: Saba Alimadadi Northeastern University, A: Di Zhong Northeastern University, USA, A: Magnus Madsen Aarhus University, A: Frank Tip Northeastern University Link to publication
19:16 2m Poster		Programming by example: efficient, but not "helpful" SPLASH Posters A: Mark Santolucito Yale University, USA, A: Drew Goldman Roslyn High School, A: Allyson Weseley Roslyn High School, A: Ruzica Piskac Yale University, USA Link to publication
19:18 2m Poster		Parallelization of Dynamic Languages: Synchronizing Built-in Collections SPLASH Posters A: Benoit Daloze JKU Linz, Austria, A: Arie Tal Technion, A: Stefan Marr University of Kent, A: Hanspeter Mössenböck JKU Linz, Austria, A: Erez Petrank Technion Link to publication
19:20 2m Poster		Symmetry-based Optimization of Interaction Kernels SPLASH Posters A: Shigeyuki Sato Kochi University of Technology
19:22 2m Poster		A Practical Unification of Multi-Stage Programming and Macros SPLASH Posters A: Nicolas Stucki EPFL, Switzerland, A: Aggelos Biboudis EPFL, Switzerland, A: Martin Odersky EPFL, Switzerland Link to publication
19:24 2m Poster		Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo) SPLASH Posters A: Benoît Ries University of Luxembourg, A: Alfredo Capozucca University of Luxembourg, A: Nicolas Guelfi University of Luxembourg Link to publication
19:26 2m Poster		One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax SPLASH Posters A: James Koppel MIT, A: Varot Premtoon MIT, A: Armando Solar-Lezama MIT CSAIL Link to publication
19:28 2m Poster		Anomaly Analyses for Feature-Model Evolution SPLASH Posters A: Michael Nieke TU Braunschweig, Germany, A: Christoph Seidl Technische Universität Braunschweig, A: Jacopo Mauro University of Southern Denmark, A: Thomas Thüm University of Ulm, A: Ingrid Chieh Yu University of Oslo, A: Felix Franzke TU Braunschweig Link to publication
19:30 2m Poster		RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints SPLASH Posters A: Yin Liu Virginia Tech, A: Kijin An Virginia Tech, A: Eli Tilevich Virginia Tech Link to publication
19:32 2m Poster		Meta-programming for cross-domain tensor optimizations SPLASH Posters A: Adilla Susungi MINES ParisTech, France, A: Norman A. Rink TU Dresden, Germany, A: Albert Cohen Google, A: Jeronimo Castrillon TU Dresden, Germany, A: Claude Tadonki MINES ParisTech, France Link to publication
19:34 2m Poster		Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments SPLASH Posters A: Junho Lee Korea University, A: Dowon Song Korea University, A: Sunbeom So Korea University, A: Hakjoo Oh Korea University Link to publication
19:36 2m Poster		Robust Relational Layout Synthesis from Examples for Android SPLASH Posters A: Pavol Bielik ETH Zürich, A: Marc Fischer ETH Zurich, A: Martin Vechev ETH Zürich Link to publication
19:38 2m Poster		A Derivation Framework for Dependent Security Label Inference SPLASH Posters A: Peixuan Li Penn State University, A: Danfeng Zhang Pennsylvania State University Link to publication
19:40 2m Poster		An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability SPLASH Posters A: Zhangxiaowen Gong University of Illinois at Urbana-Champaign, A: Zhi Chen University of California, Irvine, A: Justin Szaday University of Illinois at Urbana-Champaign, A: David Wong Intel, A: Zehra Sura IBM Research, A: Neftali Watkinson , A: Saeed Maleki Microsoft Research, A: David Padua University of Illinois at Urbana-Champaign, A: Alexander Veidenbaum University of California, Irvine, A: Alexandru Nicolau University of California, Irvine, A: Josep Torrellas University of Illinois at Urbana-Champaign Link to publication
19:42 2m Poster		Consolidating Inheritance and Scoping into a Context Abstraction SPLASH Posters A: Matan I. Peled Technion—Israel Institute of Technology
19:44 2m Talk		Test Generation for Higher-Order Functions in Dynamic Languages SPLASH Posters A: Marija Selakovic TU Darmstadt, Germany, A: Michael Pradel TU Darmstadt, A: Rezwana Karim Nawrin Samsung Research America, A: Frank Tip Northeastern University Link to publication
19:46 2m Poster		Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study SPLASH Posters A: Juan Fumero The University of Manchester, A: Christos Kotselidis The University of Manchester Link to publication
19:48 2m Poster		DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms SPLASH Posters A: Jesse Zaman Vrije Universiteit Brussel, A: Kennedy Kambona Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel Link to publication
19:50 2m Poster		Explaining Spreadsheets with Spreadsheets SPLASH Posters A: Jácome Cunha University of Minho, A: Mihai Dan Oregon State University, A: Martin Erwig Oregon State University, A: Danila Fedorin Oregon State University, A: Alex Grejuc Oregon State University Link to publication
19:53 2m Poster		Skitter: A DSL for Distributed Reactive Workflows SPLASH Posters A: Mathijs Saey Vrije Universiteit Brussel, A: Joeri De Koster Vrije Universiteit Brussel, Belgium, A: Wolfgang De Meuter Vrije Universiteit Brussel Link to publication
19:55 2m Poster		Thread-Safe Reactive Programming SPLASH Posters A: Joscha Drechsler Technische Universität Darmstadt, A: Ragnar Mogk Technische Universität Darmstadt, A: Guido Salvaneschi TU Darmstadt, A: Mira Mezini TU Darmstadt Link to publication
19:57 2m Poster		Automated Rule Inference for Cryptographic APIs through Source Code Repositories SPLASH Posters A: Anna-Katharina Wickert TU Darmstadt Link to publication
19:59 2m Poster		Observable atomic consistency for CvRDTs SPLASH Posters A: Xin Zhao KTH Royal Institute of Technology, A: Philipp Haller KTH, Sweden Link to publication
20:01 2m Poster		Conflict Resolution for Structured Merge via Version Space Algebra SPLASH Posters A: Fengmin Zhu , A: Fei He Tsinghua University Link to publication
20:03 2m Poster		Observing the Uptake of a Language Change Making Strings Immutable SPLASH Posters A: Manuel Maarek Heriot-Watt University Link to publication
20:05 2m Poster		Secure Serverless Computing Using Dynamic Information Flow Control SPLASH Posters A: Kalev Alpernas Tel Aviv University, A: Cormac Flanagan University of California, Santa Cruz, A: Sadjad Fouladi Stanford University, A: Leonid Ryzhyk VMware Research, A: Mooly Sagiv Tel Aviv University, A: Thomas Schmitz , A: Keith Winstein Stanford University Link to publication
20:07 2m Poster		Understanding Java Usability by Mining GitHub Repositories SPLASH Posters A: Mark Lemay Link to publication
20:09 2m Poster		Compiling Distributed System Specifications into Implementations SPLASH Posters A: Matthew Do Computer Science, University of British Columbia, A: Renato Mascarenhas Computer Science, University of British Columbia, A: Finn Hacket Computer Science, University of Waterloo, A: Brandon Zhang Computer Science, University of British Columbia, A: Yi Fan (Bob) Yang Facebook, A: Adam Geller Computer Science, University of British Columbia, A: Ivan Beschastnikh Computer Science, University of British Columbia
20:11 2m Poster		From Debugging Towards Live Tuning of Reactive Applications SPLASH Posters A: Ragnar Mogk Technische Universität Darmstadt, A: Pascal Weisenburger Technische Universität Darmstadt, A: Julian Haas Technische Universität Darmstadt, A: David Richter Technical University of Darmstadt Link to publication
20:13 2m Poster		Data Programming (DP): A new way of programming user interfaces SPLASH Posters A: Blaine Bell Link to publication
20:15 2m Poster		Object-Oriented Recovery for Non-Volatile Memory SPLASH Posters A: Nachshon Cohen EPFL, Switzerland, A: David T. Aksun EPFL, A: James Larus EPFL Link to publication
20:17 2m Poster		METACO, a Type Checker Generator SPLASH Posters A: Haochen Xie Nagoya University
20:19 2m Poster		GraphIt - A High-Performance Graph DSL SPLASH Posters A: Yunming Zhang , A: Mengjiao Yang MIT CSAIL, A: Riyadh Baghdadi MIT, A: Shoaib Kamil Adobe, A: Julian Shun MIT, A: Saman Amarasinghe MIT Link to publication
20:21 2m Poster		Precision-Guided Context Sensitivity for Pointer Analysis SPLASH Posters A: Yue Li Aarhus University, Denmark, A: Tian Tan Aarhus University, Denmark, A: Anders Møller Aarhus University, A: Yannis Smaragdakis University of Athens Link to publication
20:23 2m Poster		QDB: From Quantum Algorithms Towards Correct Quantum Programs SPLASH Posters A: Yipeng Huang Princeton University, A: Margaret Martonosi Link to publication
20:25 2m Talk		Toward a Language-Parametric Code Completion Editor Service SPLASH Posters Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology Link to publication
20:27 2m Poster		Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs SPLASH Posters A: Laurent Christophe VUB, A: Coen De Roover Vrije Universiteit Brussel, A: Elisa Gonzalez Boix Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel Link to publication

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

	12:00 - 13:30	LunchSPLASH Social at Georgian

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

	12:00 - 13:30	LunchSPLASH Social at Georgian

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


Room	12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30
Georgian	SPLASH Social Lunch																																																																								SPLASH Posters Poster & SRC

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


Room	12:00						30						13:00						30
Georgian	SPLASH Social Lunch

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


Room	12:00						30						13:00						30
Georgian	SPLASH Social Lunch

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


Room	18:00			15			30			45			19:00			15			30			45			20:00			15			30			45
Georgian	SPLASH Posters Faster Variational Execution with Transparent Bytecode Transformation 18:00 - 18:02	SPLASH Posters Guiding Inlining Decisions by Identifying Post-Inlining Transformations 18:02 - 18:04	SPLASH Posters DeepBugs: A Learning Approach to Name-based Bug Detection 18:04 - 18:06	SPLASH Posters Continuous Model Validation using Reference Attribute Grammars 18:06 - 18:08	SPLASH Posters Modular Language Composition for the Masses 18:08 - 18:10	SPLASH Posters Generating a Java Library from Its Specification 18:10 - 18:12	SPLASH Posters Scopes as Types 18:12 - 18:14	SPLASH Posters Compositional Programming and Testing of Dynamic Distributed Systems 18:14 - 18:16	SPLASH Posters Fixing Machine Learning with Solver-Aided Languages 18:16 - 18:18	SPLASH Posters Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling 18:18 - 18:20	SPLASH Posters CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stoc ... 18:20 - 18:22	SPLASH Posters Speeding up Symbolic Reasoning for Relational Queries 18:22 - 18:24	SPLASH Posters Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results 18:24 - 18:26	SPLASH Posters Exploring feature interactions without specifications: a controlled exp ... 18:26 - 18:28	SPLASH Posters Obsidian: A Safer Blockchain Programming Language 18:28 - 18:30	SPLASH Posters Grammar Induction for Programming Languages using Skip-Gram Model 18:30 - 18:32	SPLASH Posters Declarative Specification of Indentation Rules: A Tooling Perspective o ... 18:32 - 18:34	SPLASH Posters Incremental compilation for Stratego 18:34 - 18:36	SPLASH Posters Migrating Custom DSL Implementations to a Language Workbench: An Indust ... 18:36 - 18:39	SPLASH Posters Reconciling High-level Optimizations and Low-level Code in LLVM 18:39 - 18:41	SPLASH Posters Identifying Barriers to Adoption for Rust through Online Discourse 18:41 - 18:43	SPLASH Posters Chocola: Integrating Futures, Actors, and Transactions 18:43 - 18:45	SPLASH Posters SWAN: A Swift Program Analysis Framework 18:45 - 18:47	SPLASH Posters Migrating Business Logic to an Incremental Computing DSL: A Case Study 18:47 - 18:49	SPLASH Posters Multi-Device Grace 18:49 - 18:51	SPLASH Posters Handling inconsistencies in software product line using a rule-based ap ... 18:51 - 18:53	SPLASH Posters Storm: A Language Platform for Interacting and Extensible Languages (To ... 18:53 - 18:55	SPLASH Posters Espalier: a structured spreadsheet tool for end-user development of org ... 18:55 - 18:57	SPLASH Posters Scaling the REPL Experience 18:57 - 18:59	SPLASH Posters Sound Deadlock Prediction 18:59 - 19:01	SPLASH Posters Distributed System Development with ScalaLoci 19:01 - 19:03	SPLASH Posters Safe Replication through Bounded Concurrency Verification 19:03 - 19:05	SPLASH Posters Identifying Refactoring Opportunities for Replacing Type Code with Subc ... 19:05 - 19:07	SPLASH Posters Margin Notes: Automatic code documentation with recorded examples from ... 19:07 - 19:09	SPLASH Posters Refinement in object-sensitivity points-to analysis via slicing 19:09 - 19:11	SPLASH Posters The Software Architecture of Economy Mechanics in Digital Games 19:11 - 19:13	SPLASH Posters Finding Broken Promises in Asynchronous JavaScript Programs 19:13 - 19:16	SPLASH Posters Programming by example: efficient, but not "helpful" 19:16 - 19:18	SPLASH Posters Parallelization of Dynamic Languages: Synchronizing Built-in Collections 19:18 - 19:20	SPLASH Posters Symmetry-based Optimization of Interaction Kernels 19:20 - 19:22	SPLASH Posters A Practical Unification of Multi-Stage Programming and Macros 19:22 - 19:24	SPLASH Posters Messir, a Text-first DSL-based Approach for UML Requirements Engineerin ... 19:24 - 19:26	SPLASH Posters One Tool, Many Languages: Language-Parametric Transformation with Incre ... 19:26 - 19:28	SPLASH Posters Anomaly Analyses for Feature-Model Evolution 19:28 - 19:30	SPLASH Posters RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time C ... 19:30 - 19:32	SPLASH Posters Meta-programming for cross-domain tensor optimizations 19:32 - 19:34	SPLASH Posters Automatic Diagnosis and Correction of Logical Errors for Functional Pro ... 19:34 - 19:36	SPLASH Posters Robust Relational Layout Synthesis from Examples for Android 19:36 - 19:38	SPLASH Posters A Derivation Framework for Dependent Security Label Inference 19:38 - 19:40	SPLASH Posters An Empirical Study of the Effect of Source-level Loop Transformations o ... 19:40 - 19:42	SPLASH Posters Consolidating Inheritance and Scoping into a Context Abstraction 19:42 - 19:44	SPLASH Posters Test Generation for Higher-Order Functions in Dynamic Languages 19:44 - 19:46	SPLASH Posters Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardwar ... 19:46 - 19:48	SPLASH Posters DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-b ... 19:48 - 19:50	SPLASH Posters Explaining Spreadsheets with Spreadsheets 19:50 - 19:53	SPLASH Posters Skitter: A DSL for Distributed Reactive Workflows 19:53 - 19:55	SPLASH Posters Thread-Safe Reactive Programming 19:55 - 19:57	SPLASH Posters Automated Rule Inference for Cryptographic APIs through Source Code Rep ... 19:57 - 19:59	SPLASH Posters Observable atomic consistency for CvRDTs 19:59 - 20:01	SPLASH Posters Conflict Resolution for Structured Merge via Version Space Algebra 20:01 - 20:03	SPLASH Posters Observing the Uptake of a Language Change Making Strings Immutable 20:03 - 20:05	SPLASH Posters Secure Serverless Computing Using Dynamic Information Flow Control 20:05 - 20:07	SPLASH Posters Understanding Java Usability by Mining GitHub Repositories 20:07 - 20:09	SPLASH Posters Compiling Distributed System Specifications into Implementations 20:09 - 20:11	SPLASH Posters From Debugging Towards Live Tuning of Reactive Applications 20:11 - 20:13	SPLASH Posters Data Programming (DP): A new way of programming user interfaces 20:13 - 20:15	SPLASH Posters Object-Oriented Recovery for Non-Volatile Memory 20:15 - 20:17	SPLASH Posters METACO, a Type Checker Generator 20:17 - 20:19	SPLASH Posters GraphIt - A High-Performance Graph DSL 20:19 - 20:21	SPLASH Posters Precision-Guided Context Sensitivity for Pointer Analysis 20:21 - 20:23	SPLASH Posters QDB: From Quantum Algorithms Towards Correct Quantum Programs 20:23 - 20:25	SPLASH Posters Toward a Language-Parametric Code Completion Editor Service 20:25 - 20:27	SPLASH Posters Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack ... 20:27 - 20:30

Room information: Georgian

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

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

SPLASH Social

SPLASH Posters

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

SPLASH Social

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

SPLASH Social

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

Tracks

Room information: Georgian

Program Display Configuration

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

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

SPLASH Social

SPLASH Posters

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

SPLASH Social

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

SPLASH Social

Wed 7 NovDisplayed 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

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

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