Consolidating Inheritance and Scoping into a Context Abstraction (SPLASH 2018 - Posters) - SPLASH 2018

Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States

Track

SPLASH 2018 Posters

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

When

Mon 5 Nov 2018 19:03 - 19:05 at Terrace - Poster
Wed 7 Nov 2018 19:42 - 19:44 at Georgian - Poster & SRC

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

Session Program

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

	17:30 - 19:30	PosterPosters at Terrace

	17:30 1m Poster		Data Programming (DP): A new way of programming user interfaces Posters A: Blaine Bell Link to publication
	17:31 1m Poster		Programming by example: efficient, but not "helpful" 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
	17:33 1m Poster		Obsidian: A Safer Blockchain Programming Language 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
	17:34 1m Talk		Toward a Language-Parametric Code Completion Editor Service Posters Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology Link to publication
	17:36 1m Poster		Compositional Programming and Testing of Dynamic Distributed Systems 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
	17:38 1m Poster		Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo) Posters A: Benoît Ries University of Luxembourg, A: Alfredo Capozucca University of Luxembourg, A: Nicolas Guelfi University of Luxembourg Link to publication
	17:39 1m Poster		Finding Broken Promises in Asynchronous JavaScript Programs 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
	17:41 1m Talk		Test Generation for Higher-Order Functions in Dynamic Languages 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
	17:43 1m Poster		Speeding up Symbolic Reasoning for Relational Queries Posters A: Chenglong Wang University of Washington, USA, A: Alvin Cheung University of Washington, A: Rastislav Bodík University of Washington Link to publication
	17:44 1m Poster		Fixing Machine Learning with Solver-Aided Languages Posters A: Revan MacQueen University of Alberta, A: Julian Dolby IBM Research, A: Karim Ali University of Alberta
	17:46 1m Poster		SWAN: A Swift Program Analysis Framework 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
	17:48 1m Poster		The Software Architecture of Economy Mechanics in Digital Games Posters A: Wilson Mizutani University of São Paulo Link to publication
	17:49 1m Poster		Identifying Barriers to Adoption for Rust through Online Discourse Posters A: Anna Zeng Stanford University, A: Will Crichton Stanford University Link to publication
	17:51 1m Poster		Handling inconsistencies in software product line using a rule-based approach 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
	17:53 1m Poster		Chocola: Integrating Futures, Actors, and Transactions 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
	17:54 1m Poster		Anomaly Analyses for Feature-Model Evolution 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
	17:56 1m Poster		Understanding Java Usability by Mining GitHub Repositories Posters A: Mark Lemay Link to publication
	17:57 1m Poster		Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling Posters A: Minseok Jeon Korea University, South Korea, A: Sehun Jeong Korea University, A: Hakjoo Oh Korea University Link to publication
	17:59 1m Poster		QDB: From Quantum Algorithms Towards Correct Quantum Programs Posters A: Yipeng Huang Princeton University, A: Margaret Martonosi Link to publication
	18:01 1m Talk		Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages 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:02 1m Poster		Safe Replication through Bounded Concurrency Verification 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
	18:04 1m Poster		Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments Posters A: Junho Lee Korea University, A: Dowon Song Korea University, A: Sunbeom So Korea University, A: Hakjoo Oh Korea University Link to publication
	18:06 1m Poster		Observable atomic consistency for CvRDTs Posters A: Xin Zhao KTH Royal Institute of Technology, A: Philipp Haller KTH, Sweden Link to publication
	18:07 1m Poster		Reconciling High-level Optimizations and Low-level Code in LLVM 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:09 1m Poster		Meta-programming for cross-domain tensor optimizations 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
	18:11 1m Poster		One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax Posters A: James Koppel MIT, A: Varot Premtoon MIT, A: Armando Solar-Lezama MIT CSAIL Link to publication
	18:12 1m Poster		Scaling the REPL Experience Posters A: Yair Chuchem Lamdu, A: Eyal Lotem Lamdu Link to publication
	18:14 1m Poster		Automated Rule Inference for Cryptographic APIs through Source Code Repositories Posters A: Anna-Katharina Wickert TU Darmstadt Link to publication
	18:16 1m Poster		Exploring feature interactions without specifications: a controlled experiment 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:17 1m Poster		GraphIt - A High-Performance Graph DSL 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
	18:19 1m Poster		Symmetry-based Optimization of Interaction Kernels Posters A: Shigeyuki Sato Kochi University of Technology
	18:20 1m Poster		Sound Deadlock Prediction Posters A: Christian Gram Kalhauge University of California, Los Angeles, A: Jens Palsberg University of California, Los Angeles Link to publication
	18:22 1m Poster		Conflict Resolution for Structured Merge via Version Space Algebra Posters A: Fengmin Zhu , A: Fei He Tsinghua University Link to publication
	18:24 1m Poster		Robust Relational Layout Synthesis from Examples for Android Posters A: Pavol Bielik ETH Zürich, A: Marc Fischer ETH Zurich, A: Martin Vechev ETH Zürich Link to publication
	18:25 1m Poster		Parallelization of Dynamic Languages: Synchronizing Built-in Collections 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
	18:27 1m Poster		RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints Posters A: Yin Liu Virginia Tech, A: Kijin An Virginia Tech, A: Eli Tilevich Virginia Tech Link to publication
	18:29 1m Poster		Scopes as Types Posters A: Hendrik van Antwerpen TU Delft, A: Casper Bach Poulsen Delft University of Technology, A: Arjen Rouvoet Delft University of Technology, A: Eelco Visser Delft University of Technology Link to publication
	18:30 1m Poster		Generating a Java Library from Its Specification Posters A: Tomoki Nakamaru The University of Tokyo, A: Shigeru Chiba The University of Tokyo
	18:32 1m Poster		Thread-Safe Reactive Programming 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
	18:34 1m Poster		Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo) Posters A: Filip Strömbäck Linköping University Link to publication
	18:35 1m Poster		Multi-Device Grace Posters A: Ben Selwyn-Smith , A: Craig Anslow Victoria University of Wellington, A: Michael Homer Victoria University of Wellington
	18:37 1m Poster		Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo) 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 1m Poster		Guiding Inlining Decisions by Identifying Post-Inlining Transformations 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:40 1m Poster		Compiling Distributed System Specifications into Implementations 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
	18:42 1m Poster		Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results Posters A: Peizhao Ou University of California, Irvine, A: Brian Demsky University of California, Irvine Link to publication
	18:43 1m Poster		Incremental compilation for Stratego Posters A: Jeff Smits Delft University of Technology, A: Eelco Visser Delft University of Technology Link to publication
	18:45 1m Poster		Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study Posters A: Juan Fumero The University of Manchester, A: Christos Kotselidis The University of Manchester Link to publication
	18:47 1m Poster		Object-Oriented Recovery for Non-Volatile Memory Posters A: Nachshon Cohen EPFL, Switzerland, A: David T. Aksun EPFL, A: James Larus EPFL Link to publication
	18:48 1m Poster		Faster Variational Execution with Transparent Bytecode Transformation 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:50 1m Poster		Observing the Uptake of a Language Change Making Strings Immutable Posters A: Manuel Maarek Heriot-Watt University Link to publication
	18:52 1m Poster		Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs 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
	18:53 1m Poster		Espalier: a structured spreadsheet tool for end-user development of organizational applications Posters A: Matt McCutchen MIT, A: Shachar Itzhaky Technion, Israel, A: Daniel Jackson MIT, A: Willow Jarvis MIT Link to publication
	18:55 1m Poster		Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State Posters A: Jyothi Vedurada IIT Madras, A: V Krishna Nandivada IIT Madras Link to publication
	18:57 1m Poster		Margin Notes: Automatic code documentation with recorded examples from runtime Posters A: Geoffrey Litt Link to publication
	18:58 1m Poster		A Practical Unification of Multi-Stage Programming and Macros Posters A: Nicolas Stucki EPFL, Switzerland, A: Aggelos Biboudis EPFL, Switzerland, A: Martin Odersky EPFL, Switzerland Link to publication
	19:00 1m Poster		Precision-Guided Context Sensitivity for Pointer Analysis 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
	19:02 1m Poster		Skitter: A DSL for Distributed Reactive Workflows 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:03 1m Poster		Consolidating Inheritance and Scoping into a Context Abstraction Posters A: Matan I. Peled Technion—Israel Institute of Technology
	19:05 1m Poster		Modular Language Composition for the Masses 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
	19:06 1m Poster		From Debugging Towards Live Tuning of Reactive Applications 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
	19:08 1m Poster		Secure Serverless Computing Using Dynamic Information Flow Control 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
	19:10 1m Poster		DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms Posters A: Jesse Zaman Vrije Universiteit Brussel, A: Kennedy Kambona Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel Link to publication
	19:11 1m Poster		A Derivation Framework for Dependent Security Label Inference Posters A: Peixuan Li Penn State University, A: Danfeng Zhang Pennsylvania State University Link to publication
	19:13 1m Poster		Distributed System Development with ScalaLoci Posters A: Pascal Weisenburger Technische Universität Darmstadt, A: Mirko Köhler , A: Guido Salvaneschi TU Darmstadt Link to publication
	19:15 1m Poster		An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability 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:16 1m Poster		METACO, a Type Checker Generator Posters A: Haochen Xie Nagoya University
	19:18 1m Poster		Refinement in object-sensitivity points-to analysis via slicing 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:20 1m Poster		Explaining Spreadsheets with Spreadsheets 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:21 1m Poster		Continuous Model Validation using Reference Attribute Grammars 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
	19:23 1m Poster		CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs Posters A: Jonathan Bell George Mason University, A: Luís Pina George Mason University
	19:25 1m Poster		DeepBugs: A Learning Approach to Name-based Bug Detection Posters A: Michael Pradel TU Darmstadt, A: Koushik Sen University of California, Berkeley Link to publication
	19:26 1m Talk		Grammar Induction for Programming Languages using Skip-Gram Model Posters Tomomasa Matsunaga , Shigeru Chiba The University of Tokyo
	19:28 1m Poster		Migrating Business Logic to an Incremental Computing DSL: A Case Study 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

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

	18:00 - 20:30	Poster & SRCPosters at Georgian

	18:00 2m Poster		Faster Variational Execution with Transparent Bytecode Transformation 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 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 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 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 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 Posters A: Tomoki Nakamaru The University of Tokyo, A: Shigeru Chiba The University of Tokyo
	18:12 2m Poster		Scopes as Types Posters A: Hendrik van Antwerpen TU Delft, A: Casper Bach Poulsen 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 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 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 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 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 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 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 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 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 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 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 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) 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 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 Posters A: Anna Zeng Stanford University, A: Will Crichton Stanford University Link to publication
	18:43 2m Poster		Chocola: Integrating Futures, Actors, and Transactions 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 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 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 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 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) 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 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 Posters A: Yair Chuchem Lamdu, A: Eyal Lotem Lamdu Link to publication
	18:59 2m Poster		Sound Deadlock Prediction 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 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 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 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 Posters A: Geoffrey Litt Link to publication
	19:09 2m Poster		Refinement in object-sensitivity points-to analysis via slicing 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 Posters A: Wilson Mizutani University of São Paulo Link to publication
	19:13 2m Poster		Finding Broken Promises in Asynchronous JavaScript Programs 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" 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 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 Posters A: Shigeyuki Sato Kochi University of Technology
	19:22 2m Poster		A Practical Unification of Multi-Stage Programming and Macros 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) 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 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 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 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 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 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 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 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 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 Posters A: Matan I. Peled Technion—Israel Institute of Technology
	19:44 2m Talk		Test Generation for Higher-Order Functions in Dynamic Languages 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 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 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 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 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 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 Posters A: Anna-Katharina Wickert TU Darmstadt Link to publication
	19:59 2m Poster		Observable atomic consistency for CvRDTs 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 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 Posters A: Manuel Maarek Heriot-Watt University Link to publication
	20:05 2m Poster		Secure Serverless Computing Using Dynamic Information Flow Control 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 Posters A: Mark Lemay Link to publication
	20:09 2m Poster		Compiling Distributed System Specifications into Implementations 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 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 Posters A: Blaine Bell Link to publication
	20:15 2m Poster		Object-Oriented Recovery for Non-Volatile Memory 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 Posters A: Haochen Xie Nagoya University
	20:19 2m Poster		GraphIt - A High-Performance Graph DSL 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 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 Posters A: Yipeng Huang Princeton University, A: Margaret Martonosi Link to publication
	20:25 2m Talk		Toward a Language-Parametric Code Completion Editor Service 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 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

Matan I. PeledAuthor

Technion—Israel Institute of Technology