Secure Serverless Computing Using Dynamic Information Flow Control (SPLASH 2018 - Posters) - SPLASH 2018

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

Who

Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein

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:08 - 19:10 at Terrace - Poster
Wed 7 Nov 2018 20:05 - 20:07 at Georgian - Poster & SRC

Abstract

The rise of serverless computing provides an opportunity to rethink cloud security. We present an approach for securing serverless systems using a novel form of dynamic information flow control (IFC).

We show that in serverless applications, the termination channel found in most existing IFC systems can be arbitrarily amplified via multiple concurrent requests, necessitating a stronger termination-sensitive non-interference guarantee, which we achieve using a combination of static labeling of serverless processes and dynamic faceted labeling of persistent data.

We describe our implementation of this approach on top of JavaScript for AWS Lambda and OpenWhisk serverless platforms, and present three realistic case studies showing that it can enforce important IFC security properties with modest overhead.

Link to Publication

https://2018.splashcon.org/event/splash-2018-oopsla-secure-serverless-computing-using-dynamic-information-flow-control

Kalev AlpernasAuthor

Tel Aviv University

Israel

Cormac FlanaganAuthor

University of California, Santa Cruz

Ireland

Sadjad FouladiAuthor

Stanford University

Leonid RyzhykAuthor

VMware Research

Mooly SagivAuthor

Tel Aviv University

Israel

Thomas SchmitzAuthor

Keith WinsteinAuthor

Stanford University

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