SPLASH 2018 - Posters

The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact. It is held early in the conference, to promote continued discussion among interested parties.

Accepted Posters

	Title
	A Derivation Framework for Dependent Security Label Inference Posters A: Peixuan Li, A: Danfeng Zhang Link to publication
	A Mete Rete Interface For Perpetually Online Distributed Rule-Based Systems Posters A: Maarten Hubrechts, A: Kennedy Kambona, A: Thierry Renaux, A: Simon Van de Water, A: Mathijs Saey, A: Wolfgang De Meuter
	An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability Posters A: Zhangxiaowen Gong, A: Zhi Chen, A: Justin Szaday, A: David Wong, A: Zehra Sura, A: Neftali Watkinson, A: Saeed Maleki, A: David Padua, A: Alexander Veidenbaum, A: Alexandru Nicolau, A: Josep Torrellas Link to publication
	Anomaly Analyses for Feature-Model Evolution Posters A: Michael Nieke, A: Christoph Seidl, A: Jacopo Mauro, A: Thomas Thüm, A: Ingrid Chieh Yu, A: Felix Franzke Link to publication
	A Practical Unification of Multi-Stage Programming and Macros Posters A: Nicolas Stucki, A: Aggelos Biboudis, A: Martin Odersky Link to publication
	Automated Rule Inference for Cryptographic APIs through Source Code Repositories Posters A: Anna-Katharina Wickert Link to publication
	Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments Posters A: Junho Lee, A: Dowon Song, A: Sunbeom So, A: Hakjoo Oh Link to publication
	Chocola: Integrating Futures, Actors, and Transactions Posters A: Janwillem Swalens, A: Wolfgang De Meuter, A: Joeri De Koster Link to publication Pre-print
	Compiling Distributed System Specifications into Implementations Posters A: Matthew Do, A: Renato Mascarenhas, A: Finn Hacket, A: Brandon Zhang, A: Yi Fan (Bob) Yang, A: Adam Geller, A: Ivan Beschastnikh
	Compositional Programming and Testing of Dynamic Distributed Systems Posters A: Ankush Desai, A: Amar Phanishayee, A: Shaz Qadeer, A: Sanjit Seshia Link to publication
	Conflict Resolution for Structured Merge via Version Space Algebra Posters A: Fengmin Zhu, A: Fei He Link to publication
	Consolidating Inheritance and Scoping into a Context Abstraction Posters A: Matan I. Peled
	Continuous Model Validation using Reference Attribute Grammars Posters A: Johannes Mey, A: René Schöne, A: Görel Hedin, A: Emma Söderberg, A: Thomas Kühn, A: Niklas Fors, A: Jesper Oqvist, A: Uwe Aßmann Link to publication Pre-print
	CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs Posters A: Jonathan Bell, A: Luís Pina
	Data Programming (DP): A new way of programming user interfaces Posters A: Blaine Bell Link to publication
	Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages Posters A: Luis Eduardo de Souza Amorim, A: Michael J. Steindorfer, A: Sebastian Erdweg, A: Eelco Visser Link to publication
	DeepBugs: A Learning Approach to Name-based Bug Detection Posters A: Michael Pradel, A: Koushik Sen Link to publication
	DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms Posters A: Jesse Zaman, A: Kennedy Kambona, A: Wolfgang De Meuter Link to publication
	Distributed System Development with ScalaLoci Posters A: Pascal Weisenburger, A: Mirko Köhler, A: Guido Salvaneschi Link to publication
	Espalier: a structured spreadsheet tool for end-user development of organizational applications Posters A: Matt McCutchen, A: Shachar Itzhaky, A: Daniel Jackson, A: Willow Jarvis Link to publication
	Explaining Spreadsheets with Spreadsheets Posters A: Jácome Cunha, A: Mihai Dan, A: Martin Erwig, A: Danila Fedorin, A: Alex Grejuc Link to publication
	Exploring feature interactions without specifications: a controlled experiment Posters A: Larissa Soares, A: Jens Meinicke, A: Sarah Nadi, A: Christian Kästner, A: Eduardo Santana de Almeida Link to publication
	Faster Variational Execution with Transparent Bytecode Transformation Posters A: Chu-Pan Wong, A: Jens Meinicke, A: Lukas Lazarek, A: Christian Kästner Link to publication
	Finding Broken Promises in Asynchronous JavaScript Programs Posters A: Saba Alimadadi, A: Di Zhong, A: Magnus Madsen, A: Frank Tip Link to publication
	Fixing Machine Learning with Solver-Aided Languages Posters A: Revan MacQueen, A: Julian Dolby, A: Karim Ali
	Format Abstraction for Sparse Tensor Algebra Compilers Posters A: Stephen Chou, A: Fredrik Kjolstad, A: Saman Amarasinghe Link to publication
	From Debugging Towards Live Tuning of Reactive Applications Posters A: Ragnar Mogk, A: Pascal Weisenburger, A: Julian Haas, A: David Richter Link to publication
	Generating a Java Library from Its Specification Posters A: Tomoki Nakamaru, A: Shigeru Chiba
	goSLP: globally optimized Superword Level Parallelism framework Posters A: Charith Mendis, A: Saman Amarasinghe Link to publication
	Grammar Induction for Programming Languages using Skip-Gram Model Posters Tomomasa Matsunaga, Shigeru Chiba
	GraphIt - A High-Performance Graph DSL Posters A: Yunming Zhang, A: Mengjiao Yang, A: Riyadh Baghdadi, A: Shoaib Kamil, A: Julian Shun, A: Saman Amarasinghe Link to publication
	Guiding Inlining Decisions by Identifying Post-Inlining Transformations Posters A: Erick Ochoa, A: Andrew Craik, A: Jose Nelson Amaral, A: Karim Ali
	Handling inconsistencies in software product line using a rule-based approach Posters Megha Bhushan, A: Shivani Goel, Arun Negi, Piyush Samant
	Identifying Barriers to Adoption for Rust through Online Discourse Posters A: Anna Zeng, A: Will Crichton Link to publication
	Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State Posters A: Jyothi Vedurada, A: V Krishna Nandivada Link to publication
	Incremental compilation for Stratego Posters A: Jeff Smits, A: Eelco Visser Link to publication
	MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts Posters A: Neville Grech, A: Michael Kong, A: Anton Jurisevic, A: Lexi Brent, A: Bernhard Scholz, A: Yannis Smaragdakis Link to publication
	Margin Notes: Automatic code documentation with recorded examples from runtime Posters A: Geoffrey Litt Link to publication
	Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo) Posters A: Benoît Ries, A: Alfredo Capozucca, A: Nicolas Guelfi Link to publication
	METACO, a Type Checker Generator Posters A: Haochen Xie
	Meta-programming for cross-domain tensor optimizations Posters A: Adilla Susungi, A: Norman A. Rink, A: Albert Cohen, A: Jeronimo Castrillon, A: Claude Tadonki Link to publication
	Migrating Business Logic to an Incremental Computing DSL: A Case Study Posters A: Daco Harkes, A: Elmer van Chastelet, A: Eelco Visser Link to publication
	Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo) Posters A: Jasper Denkers, A: Louis van Gool, A: Eelco Visser Link to publication
	Modular Language Composition for the Masses Posters A: Manuel Leduc, A: Thomas Degueule, A: Benoit Combemale Link to publication
	Multi-Device Grace Posters A: Ben Selwyn-Smith, A: Craig Anslow, A: Michael Homer
	Nectry: Tricking End Users into Programming Practical Web Applications with Dependent Types Posters A: Adam Chlipala
	Object-Oriented Recovery for Non-Volatile Memory Posters A: Nachshon Cohen, A: David T. Aksun, A: James Larus Link to publication
	Observable atomic consistency for CvRDTs Posters A: Xin Zhao, A: Philipp Haller Link to publication
	Observing the Uptake of a Language Change Making Strings Immutable Posters A: Manuel Maarek Link to publication
	Obsidian: A Safer Blockchain Programming Language Posters A: Michael Coblenz, A: Jonathan Aldrich, A: Brad A. Myers, A: Joshua Sunshine
	One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax Posters A: James Koppel, A: Varot Premtoon, A: Armando Solar-Lezama Link to publication
	Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs Posters A: Laurent Christophe, A: Coen De Roover, A: Elisa Gonzalez Boix, A: Wolfgang De Meuter Link to publication
	Parallelization of Dynamic Languages: Synchronizing Built-in Collections Posters A: Benoit Daloze, A: Arie Tal, A: Stefan Marr, A: Hanspeter Mössenböck, A: Erez Petrank Link to publication
	Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling Posters A: Minseok Jeon, A: Sehun Jeong, A: Hakjoo Oh Link to publication
	Precision-Guided Context Sensitivity for Pointer Analysis Posters A: Yue Li, A: Tian Tan, A: Anders Møller, A: Yannis Smaragdakis Link to publication
	Programming by example: efficient, but not "helpful" Posters A: Mark Santolucito, A: Drew Goldman, A: Allyson Weseley, A: Ruzica Piskac Link to publication
	QDB: From Quantum Algorithms Towards Correct Quantum Programs Posters A: Yipeng Huang, A: Margaret Martonosi Link to publication
	Reconciling High-level Optimizations and Low-level Code in LLVM Posters A: Juneyoung Lee, A: Chung-Kil Hur, A: Ralf Jung, A: Zhengyang Liu, A: John Regehr, A: Nuno P. Lopes Link to publication
	Refinement in object-sensitivity points-to analysis via slicing Posters A: Girish Maskeri Rama, A: Raghavan Komondoor, A: Himanshu Sharma Link to publication
	Robust Relational Layout Synthesis from Examples for Android Posters A: Pavol Bielik, A: Marc Fischer, A: Martin Vechev Link to publication
	RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints Posters A: Yin Liu, A: Kijin An, A: Eli Tilevich Link to publication
	Safe Replication through Bounded Concurrency Verification Posters A: Gowtham Kaki, A: Kapil Earanky, A: KC Sivaramakrishnan, A: Suresh Jagannathan Link to publication
	Scaling the REPL Experience Posters A: Yair Chuchem, A: Eyal Lotem Link to publication
	Scopes as Types Posters A: Hendrik van Antwerpen, A: Casper Bach Poulsen, A: Arjen Rouvoet, A: Eelco Visser Link to publication
	Secure Serverless Computing Using Dynamic Information Flow Control Posters A: Kalev Alpernas, A: Cormac Flanagan, A: Sadjad Fouladi, A: Leonid Ryzhyk, A: Mooly Sagiv, A: Thomas Schmitz, A: Keith Winstein Link to publication
	Skitter: A DSL for Distributed Reactive Workflows Posters A: Mathijs Saey, A: Joeri De Koster, A: Wolfgang De Meuter Link to publication
	Sound Deadlock Prediction Posters A: Christian Gram Kalhauge, A: Jens Palsberg Link to publication
	Speeding up Symbolic Reasoning for Relational Queries Posters A: Chenglong Wang, A: Alvin Cheung, A: Rastislav Bodík Link to publication
	Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo) Posters A: Filip Strömbäck Link to publication
	SWAN: A Swift Program Analysis Framework Posters A: Jeff Cho, A: Mark Mroz, A: Julian Dolby, A: Karim Ali Link to publication
	Symmetry-based Optimization of Interaction Kernels Posters A: Shigeyuki Sato
	Test Generation for Higher-Order Functions in Dynamic Languages Posters A: Marija Selakovic, A: Michael Pradel, A: Rezwana Karim Nawrin, A: Frank Tip Link to publication
	The Software Architecture of Economy Mechanics in Digital Games Posters A: Wilson Mizutani Link to publication
	Thread-Safe Reactive Programming Posters A: Joscha Drechsler, A: Ragnar Mogk, A: Guido Salvaneschi, A: Mira Mezini Link to publication
	Toward a Language-Parametric Code Completion Editor Service Posters Daniel A. A. Pelsmaeker, Eelco Visser Link to publication
	Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results Posters A: Peizhao Ou, A: Brian Demsky Link to publication
	Understanding Java Usability by Mining GitHub Repositories Posters A: Mark Lemay Link to publication
	Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study Posters A: Juan Fumero, A: Christos Kotselidis Link to publication

Call for Posters

The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community.

We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact at any desired level of detail.

The poster session are held early in the conference to promote continued discussion among interested parties.

Submission page: https://splash18posters.hotcrp.com/ Submissions due: ~~Sat September 22, 2018~~ Sat September 29, 2018

On the submission form, please submit the 2-page extended abstract as the “Submission”, and the actual poster as the “Poster”. The maximum size of each PDF file can be 30MB.

The size of poster submissions should be A0 (W 841mm × L 1189mm or W 33.1in × L 46.8in). Full instructions for authors are available at here.

Authors of papers accepted to OOPSLA and co-located workshops can present their work during the poster session without submitting it for review. In that case please

Note: neither posters nor abstracts are featured in SPLASH proceedings and the DL.

In case of questions email: siekkonr@fit.cvut.cz.

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

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

Unscheduled Events

	Not scheduled Poster		Format Abstraction for Sparse Tensor Algebra Compilers Posters A: Stephen Chou MIT CSAIL, A: Fredrik Kjolstad MIT CSAIL, A: Saman Amarasinghe MIT Link to publication
	Not scheduled Poster		A Mete Rete Interface For Perpetually Online Distributed Rule-Based Systems Posters A: Maarten Hubrechts , A: Kennedy Kambona Vrije Universiteit Brussel, A: Thierry Renaux Vrije Universiteit Brussel, A: Simon Van de Water VUB, A: Mathijs Saey Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel
	Not scheduled Poster		goSLP: globally optimized Superword Level Parallelism framework Posters A: Charith Mendis MIT CSAIL, A: Saman Amarasinghe MIT Link to publication
	Not scheduled Poster		MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts Posters A: Neville Grech University of Athens, A: Michael Kong University of Sydney, A: Anton Jurisevic University of Sydney, A: Lexi Brent University of Sydney, A: Bernhard Scholz The University of Sydney, A: Yannis Smaragdakis University of Athens Link to publication
	Not scheduled Demonstration		Nectry: Tricking End Users into Programming Practical Web Applications with Dependent Types Posters A: Adam Chlipala MIT

Submissions

Posters shall be evaluated both on their contributions and on how effectively they communicate those contributions. All poster proposals should include the following two files in PDF format:

A two-page extended abstract in the ACM acmart Master Article Template, sigplan subformat, with 10pt font (PDF Format).
The poster itself in PDF format. Posters should be A0-sized (portrait). A0 format dimensions are: W 841mm × L 1189mm or W 33.1in × L 46.8in.

Poster authors are required to attend the scheduled interactive poster session, staying with their poster so that they can discuss their work with conference attendees. We will provide more details on the exact date and time of the poster sessions closer to the conference.

Poster authors may post an informal schedule along with their poster, listing times when they plan to be available for discussion later on during the conference. Sign-up sheets allow interested viewers to obtain further information. All posters will have an associated message board, on which viewers can post comments, ideas, and questions and on which poster authors will be able to post responses.

Poster authors should submit their extended abstract and poster via HotCRP. Please see below if you have a paper appearing at SPLASH and would like to have a poster on that topic as well.

On the submission form, please submit the 2-page extended abstract as the “Submission”, and the actual poster as the “Poster”. The maximum size of each PDF file can be 30MB.

Posters Associated with other SPLASH Tracks, Workshops, and Conferences

Given that the papers have already been thoroughly reviewed before acceptance, such posters will not be reviewed by the Posters Committee and there will be no separate extended abstract in the SPLASH Companion proceedings. We still require authors to sign up so that we can order enough poster boards and other supplies.

If you have a paper appearing at SPLASH and would like to present a poster, please fill out this form. You must complete this form by ~~September 22~~ September 29.

More Information

For additional information, clarification, or answers to questions please contact the Posters Co-Chairs at posters@splashcon.org, siekkonr@fit.cvut.cz.

PostersSPLASH 2018

Accepted Posters

Call for Posters

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

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

Unscheduled Events

Instructions for Authors

Submissions

Posters Associated with other SPLASH Tracks, Workshops, and Conferences

More Information

Paley Li

Czech Technical University in Prague

New Zealand

Konrad Siek

Czech Technical University in Prague

Poland

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

PostersSPLASH 2018

Accepted Posters

Call for Posters

Program Display Configuration

Mon 5 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

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

Unscheduled Events

Instructions for Authors

Submissions

Posters Associated with other SPLASH Tracks, Workshops, and Conferences

More Information

Paley Li

Czech Technical University in Prague

New Zealand

Konrad Siek

Czech Technical University in Prague

Poland

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

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