Compiling Distributed System Specifications into Implementations (SPLASH 2018 - Posters)

Who

Matthew Do, Renato Mascarenhas, Finn Hacket, Brandon Zhang, Yi Fan (Bob) Yang, Adam Geller, Ivan Beschastnikh

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

Save

When

Mon 5 Nov 2018 18:40 - 18:42 at Terrace - Poster
Wed 7 Nov 2018 20:09 - 20:11 at Georgian - Poster & SRC

Abstract

Distributed systems are difficult to design and implement correctly. There is a growing interest in specification (spec) languages for distributed systems, which can be checked exhaustively or proved to satisfy certain properties. For example, Amazon uses TLA+ and PlusCal in building its web services. However, there is no way to generate an implementation of spec in one of these modeling languages. Towards this end, we are building PGo. The goal of PGo is to reduce developer burden by providing a mechanical translation between an abstract spec and a concrete implementation.

Matthew DoAuthor

Computer Science, University of British Columbia

Renato MascarenhasAuthor

Computer Science, University of British Columbia

Finn HacketAuthor

Computer Science, University of Waterloo

Brandon ZhangAuthor

Computer Science, University of British Columbia

Yi Fan (Bob) YangAuthor

Facebook

Adam GellerAuthor

Computer Science, University of British Columbia

Ivan BeschastnikhAuthor

Computer Science, University of British Columbia

Canada

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

Display full programSpecify a time band

Save

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 Soares 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 Soares 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