Programming by example: efficient, but not "helpful" (SPLASH 2018 - Posters) - SPLASH 2018

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

Who

Mark Santolucito, Drew Goldman, Allyson Weseley, Ruzica Piskac

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 here reflect the offsets at this moment. These offsets update automatically in case there is a change in daylight saving time.

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 17:31 - 17:33 at Terrace - Poster
Wed 7 Nov 2018 19:16 - 19:18 at Georgian - Poster & SRC

Abstract

Programming by example (PBE) is a powerful programming paradigm based on example driven synthesis. Users can provide examples, and a tool automatically constructs a program that satisfies the examples. To investigate the impact of PBE on real-world users, we built a study around StriSynth, a tool for shell scripting by example, and recruited 27 working IT professionals to participate. In our study we asked the users to complete three tasks with StriSynth, and the same three tasks with PowerShell, a traditional scripting language. We found that, although our participants completed the tasks more quickly with StriSynth, they reported that they believed PowerShell to be a more helpful tool.

Link to Publication

https://2018.splashcon.org/event/plateau-2018-papers-programming-by-example-efficient-but-not-helpful-

Mark SantolucitoAuthor

Yale University, USA

Drew GoldmanAuthor

Roslyn High School

Allyson WeseleyAuthor

Roslyn High School

Ruzica PiskacAuthor

Yale University, USA

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 here reflect the offsets at this moment. These offsets update automatically in case there is a change in daylight saving time.

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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

	17:30 - 19:30: PosterPosters at Terrace

	17:30 - 17:31 Poster		Data Programming (DP): A new way of programming user interfaces Posters A: Blaine Bell Link to publication
	17:31 - 17:33 Poster		Programming by example: efficient, but not "helpful" Posters A: Mark SantolucitoYale University, USA, A: Drew GoldmanRoslyn High School, A: Allyson WeseleyRoslyn High School, A: Ruzica PiskacYale University, USA Link to publication
	17:33 - 17:34 Poster		Obsidian: A Safer Blockchain Programming Language Posters A: Michael CoblenzCarnegie Mellon University, A: Jonathan AldrichCarnegie Mellon University, A: Brad MyersCarnegie Mellon University, A: Joshua SunshineCarnegie Mellon University
	17:34 - 17:36 Talk		Toward a Language-Parametric Code Completion Editor Service Posters Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology Link to publication
	17:36 - 17:38 Poster		Compositional Programming and Testing of Dynamic Distributed Systems Posters A: Ankush DesaiUniversity of California, Berkeley, A: Amar PhanishayeeMicrosoft Research, A: Shaz QadeerMicrosoft Research, A: Sanjit SeshiaUC Berkeley Link to publication
	17:38 - 17:39 Poster		Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo) Posters A: Benoît RiesUniversity of Luxembourg, A: Alfredo CapozuccaUniversity of Luxembourg, A: Nicolas GuelfiUniversity of Luxembourg Link to publication
	17:39 - 17:41 Poster		Finding Broken Promises in Asynchronous JavaScript Programs Posters A: Saba AlimadadiNortheastern University, A: Di ZhongNortheastern University, USA, A: Magnus MadsenAarhus University, A: Frank TipNortheastern University Link to publication
	17:41 - 17:43 Talk		Test Generation for Higher-Order Functions in Dynamic Languages Posters A: Marija SelakovicTU Darmstadt, Germany, A: Michael PradelTU Darmstadt, A: Rezwana Karim NawrinSamsung Research America, A: Frank TipNortheastern University Link to publication
	17:43 - 17:44 Poster		Speeding up Symbolic Reasoning for Relational Queries Posters A: Chenglong WangUniversity of Washington, USA, A: Alvin CheungUniversity of Washington, A: Rastislav BodikUniversity of Washington Link to publication
	17:44 - 17:46 Poster		Fixing Machine Learning with Solver-Aided Languages Posters A: Revan MacQueenUniversity of Alberta, A: Julian DolbyIBM Research, A: Karim AliUniversity of Alberta
	17:46 - 17:48 Poster		SWAN: A Swift Program Analysis Framework Posters A: Jeff ChoUniversity of Alberta, A: Mark MrozUniversity of Ottawa, A: Julian DolbyIBM Research, A: Karim AliUniversity of Alberta Link to publication
	17:48 - 17:49 Poster		The Software Architecture of Economy Mechanics in Digital Games Posters A: Wilson MizutaniUniversity of São Paulo Link to publication
	17:49 - 17:51 Poster		Identifying Barriers to Adoption for Rust through Online Discourse Posters A: Anna ZengStanford University, A: Will CrichtonStanford University Link to publication
	17:51 - 17:53 Poster		Handling inconsistencies in software product line using a rule-based approach Posters Megha BhushanChitkara University, Punjab, India, A: Shivani Goel, Arun NegiMinistry of Defence, Government of India, India, Piyush SamantThapar Institute of Engineering, Patiala, Punjab, India
	17:53 - 17:54 Poster		Chocola: Integrating Futures, Actors, and Transactions Posters A: Janwillem SwalensVrije Universiteit Brussel, A: Wolfgang De MeuterVrije Universiteit Brussel, A: Joeri De KosterVrije Universiteit Brussel, Belgium Link to publication Pre-print
	17:54 - 17:56 Poster		Anomaly Analyses for Feature-Model Evolution Posters A: Michael NiekeTU Braunschweig, Germany, A: Christoph SeidlTechnische Universität Braunschweig, A: Jacopo MauroUniversity of Southern Denmark, A: Thomas ThümTU Braunschweig, Germany, A: Ingrid Chieh YuUniversity of Oslo, A: Felix FranzkeTU Braunschweig Link to publication
	17:56 - 17:57 Poster		Understanding Java Usability by Mining GitHub Repositories Posters A: Mark Lemay Link to publication
	17:57 - 17:59 Poster		Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling Posters A: Minseok JeonKorea University, South Korea, A: Sehun JeongKorea University, A: Hakjoo OhKorea University Link to publication
	17:59 - 18:01 Poster		QDB: From Quantum Algorithms Towards Correct Quantum Programs Posters A: Yipeng HuangPrinceton University, A: Margaret Martonosi Link to publication
	18:01 - 18:02 Talk		Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages Posters A: Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, A: Michael J. SteindorferDelft University of Technology, A: Sebastian ErdwegTU Delft, A: Eelco VisserDelft University of Technology Link to publication
	18:02 - 18:04 Poster		Safe Replication through Bounded Concurrency Verification Posters A: Gowtham KakiPurdue University, A: Kapil EarankyPurdue University, A: KC SivaramakrishnanUniversity of Cambridge, A: Suresh JagannathanPurdue University Link to publication
	18:04 - 18:06 Poster		Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments Posters A: Junho LeeKorea University, A: Dowon SongKorea University, A: Sunbeom SoKorea University, A: Hakjoo OhKorea University Link to publication
	18:06 - 18:07 Poster		Observable atomic consistency for CvRDTs Posters A: Xin ZhaoKTH Royal Institute of Technology, A: Philipp HallerKTH, Sweden Link to publication
	18:07 - 18:09 Poster		Reconciling High-level Optimizations and Low-level Code in LLVM Posters A: Juneyoung LeeSeoul National University, A: Chung-Kil HurSeoul National University, A: Ralf JungMPI-SWS, A: Zhengyang LiuUniversity of Utah, A: John RegehrUniversity of Utah, A: Nuno P. LopesMicrosoft Research Link to publication
	18:09 - 18:11 Poster		Meta-programming for cross-domain tensor optimizations Posters A: Adilla SusungiMINES ParisTech, France, A: Norman A. RinkTU Dresden, Germany, A: Albert CohenGoogle, A: Jeronimo CastrillonTU Dresden, Germany, A: Claude TadonkiMINES ParisTech, France Link to publication
	18:11 - 18:12 Poster		One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax Posters A: James KoppelMIT, A: Varot PremtoonMIT, A: Armando Solar-LezamaMIT CSAIL Link to publication
	18:12 - 18:14 Poster		Scaling the REPL Experience Posters A: Yair ChuchemLamdu, A: Eyal LotemLamdu Link to publication
	18:14 - 18:16 Poster		Automated Rule Inference for Cryptographic APIs through Source Code Repositories Posters A: Anna-Katharina WickertTU Darmstadt Link to publication
	18:16 - 18:17 Poster		Exploring feature interactions without specifications: a controlled experiment Posters A: Larissa SoaresUniversidade Federal da Bahia, A: Jens MeinickeMagdeburg University, A: Sarah NadiUniversity of Alberta, A: Christian KästnerCarnegie Mellon University, A: Eduardo AlmeidaUniversidade Federal da Bahia Link to publication
	18:17 - 18:19 Poster		GraphIt - A High-Performance Graph DSL Posters A: Yunming Zhang, A: Mengjiao YangMIT CSAIL, A: Riyadh BaghdadiMIT, A: Shoaib KamilAdobe, A: Julian ShunMIT, A: Saman AmarasingheMIT Link to publication
	18:19 - 18:20 Poster		Symmetry-based Optimization of Interaction Kernels Posters A: Shigeyuki SatoKochi University of Technology
	18:20 - 18:22 Poster		Sound Deadlock Prediction Posters A: Christian Gram KalhaugeUniversity of California, Los Angeles, A: Jens PalsbergUniversity of California, Los Angeles Link to publication
	18:22 - 18:24 Poster		Conflict Resolution for Structured Merge via Version Space Algebra Posters A: Fengmin Zhu, A: Fei HeTsinghua University Link to publication
	18:24 - 18:25 Poster		Robust Relational Layout Synthesis from Examples for Android Posters A: Pavol BielikETH Zürich, A: Marc FischerETH Zurich, A: Martin VechevETH Zürich Link to publication
	18:25 - 18:27 Poster		Parallelization of Dynamic Languages: Synchronizing Built-in Collections Posters A: Benoit DalozeJKU Linz, Austria, A: Arie TalTechnion, A: Stefan MarrUniversity of Kent, A: Hanspeter MössenböckJKU Linz, Austria, A: Erez PetrankTechnion Link to publication
	18:27 - 18:29 Poster		RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints Posters A: Yin LiuVirginia Tech, A: Kijin AnVirginia Tech, A: Eli TilevichVirginia Tech Link to publication
	18:29 - 18:30 Poster		Scopes as Types Posters A: Hendrik van AntwerpenTU Delft, A: Casper Bach PoulsenDelft University of Technology, A: Arjen RouvoetDelft University of Technology, A: Eelco VisserDelft University of Technology Link to publication
	18:30 - 18:32 Poster		Generating a Java Library from Its Specification Posters A: Tomoki NakamaruThe University of Tokyo, A: Shigeru ChibaThe University of Tokyo
	18:32 - 18:34 Poster		Thread-Safe Reactive Programming Posters A: Joscha DrechslerTechnische Universität Darmstadt, A: Ragnar MogkTechnische Universität Darmstadt, A: Guido SalvaneschiTU Darmstadt, A: Mira MeziniTU Darmstadt Link to publication
	18:34 - 18:35 Poster		Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo) Posters A: Filip StrömbäckLinköping University Link to publication
	18:35 - 18:37 Poster		Multi-Device Grace Posters A: Ben Selwyn-Smith, A: Craig AnslowVictoria University of Wellington, A: Michael HomerVictoria University of Wellington
	18:37 - 18:39 Poster		Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo) Posters A: Jasper DenkersTU Delft, A: Louis van GoolOcé Technologies B.V., A: Eelco VisserDelft University of Technology Link to publication
	18:39 - 18:40 Poster		Guiding Inlining Decisions by Identifying Post-Inlining Transformations Posters A: Erick OchoaUniversity of Alberta, A: Andrew CraikIBM Canada, A: Jose Nelson AmaralUniversity of Alberta, A: Karim AliUniversity of Alberta
	18:40 - 18:42 Poster		Compiling Distributed System Specifications into Implementations Posters A: Matthew DoComputer Science, University of British Columbia, A: Renato MascarenhasComputer Science, University of British Columbia, A: Finn HacketComputer Science, University of Waterloo, A: Brandon ZhangComputer Science, University of British Columbia, A: Yi Fan (Bob) YangFacebook, A: Adam GellerComputer Science, University of British Columbia, A: Ivan BeschastnikhComputer Science, University of British Columbia
	18:42 - 18:43 Poster		Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results Posters A: Peizhao OuUniversity of California, Irvine, A: Brian DemskyUniversity of California, Irvine Link to publication
	18:43 - 18:45 Poster		Incremental compilation for Stratego Posters A: Jeff SmitsDelft University of Technology, A: Eelco VisserDelft University of Technology Link to publication
	18:45 - 18:47 Poster		Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study Posters A: Juan FumeroThe University of Manchester, A: Christos KotselidisThe University of Manchester Link to publication
	18:47 - 18:48 Poster		Object-Oriented Recovery for Non-Volatile Memory Posters A: Nachshon CohenEPFL, Switzerland, A: David T. AksunEPFL, A: James LarusEPFL Link to publication
	18:48 - 18:50 Poster		Faster Variational Execution with Transparent Bytecode Transformation Posters A: Chu-Pan WongCarnegie Mellon University, A: Jens MeinickeMagdeburg University, A: Lukas Lazarek, A: Christian KästnerCarnegie Mellon University Link to publication
	18:50 - 18:52 Poster		Observing the Uptake of a Language Change Making Strings Immutable Posters A: Manuel MaarekHeriot-Watt University Link to publication
	18:52 - 18:53 Poster		Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs Posters A: Laurent ChristopheVUB, A: Coen De RooverVrije Universiteit Brussel, A: Elisa Gonzalez BoixVrije Universiteit Brussel, A: Wolfgang De MeuterVrije Universiteit Brussel Link to publication
	18:53 - 18:55 Poster		Espalier: a structured spreadsheet tool for end-user development of organizational applications Posters A: Matt McCutchenMIT, A: Shachar ItzhakyTechnion, Israel, A: Daniel JacksonMIT, A: Willow JarvisMIT Link to publication
	18:55 - 18:57 Poster		Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State Posters A: Jyothi VeduradaIIT Madras, A: V Krishna NandivadaIIT Madras Link to publication
	18:57 - 18:58 Poster		Margin Notes: Automatic code documentation with recorded examples from runtime Posters A: Geoffrey Litt Link to publication
	18:58 - 19:00 Poster		A Practical Unification of Multi-Stage Programming and Macros Posters A: Nicolas StuckiEPFL, Switzerland, A: Aggelos BiboudisEPFL, Switzerland, A: Martin OderskyEPFL, Switzerland Link to publication
	19:00 - 19:02 Poster		Precision-Guided Context Sensitivity for Pointer Analysis Posters A: Yue LiAarhus University, Denmark, A: Tian TanAarhus University, Denmark, A: Anders MøllerAarhus University, A: Yannis SmaragdakisUniversity of Athens Link to publication
	19:02 - 19:03 Poster		Skitter: A DSL for Distributed Reactive Workflows Posters A: Mathijs SaeyVrije Universiteit Brussel, A: Joeri De KosterVrije Universiteit Brussel, Belgium, A: Wolfgang De MeuterVrije Universiteit Brussel Link to publication
	19:03 - 19:05 Poster		Consolidating Inheritance and Scoping into a Context Abstraction Posters A: Matan I. PeledTechnion—Israel Institute of Technology
	19:05 - 19:06 Poster		Modular Language Composition for the Masses Posters A: Manuel LeducIRISA, University of Rennes 1, A: Thomas DegueuleCentrum Wiskunde & Informatica, A: Benoit CombemaleUniversity of Rennes 1 Link to publication
	19:06 - 19:08 Poster		From Debugging Towards Live Tuning of Reactive Applications Posters A: Ragnar MogkTechnische Universität Darmstadt, A: Pascal WeisenburgerTechnische Universität Darmstadt, A: Julian HaasTechnische Universität Darmstadt, A: David RichterTechnische Universität Darmstadt Link to publication
	19:08 - 19:10 Poster		Secure Serverless Computing Using Dynamic Information Flow Control Posters A: Kalev AlpernasTel Aviv University, A: Cormac FlanaganUniversity of California, Santa Cruz, A: Sadjad FouladiStanford University, A: Leonid RyzhykVMware Research, A: Mooly SagivTel Aviv University, A: Thomas Schmitz, A: Keith WinsteinStanford University Link to publication
	19:10 - 19:11 Poster		DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms Posters A: Jesse ZamanVrije Universiteit Brussel, A: Kennedy KambonaVrije Universiteit Brussel, A: Wolfgang De MeuterVrije Universiteit Brussel Link to publication
	19:11 - 19:13 Poster		A Derivation Framework for Dependent Security Label Inference Posters A: Peixuan LiPenn State University, A: Danfeng ZhangPennsylvania State University Link to publication
	19:13 - 19:15 Poster		Distributed System Development with ScalaLoci Posters A: Pascal WeisenburgerTechnische Universität Darmstadt, A: Mirko Köhler, A: Guido SalvaneschiTU Darmstadt Link to publication
	19:15 - 19:16 Poster		An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability Posters A: Zhangxiaowen GongUniversity of Illinois at Urbana-Champaign, A: Zhi ChenUniversity of California, Irvine, A: Justin SzadayUniversity of Illinois at Urbana-Champaign, A: David WongIntel, A: Zehra SuraIBM Research, A: Neftali Watkinson, A: Saeed MalekiMicrosoft Research, A: David PaduaUniversity of Illinois at Urbana-Champaign, A: Alexander VeidenbaumUniversity of California, Irvine, A: Alexandru NicolauUniversity of California, Irvine, A: Josep TorrellasUniversity of Illinois at Urbana-Champaign Link to publication
	19:16 - 19:18 Poster		METACO, a Type Checker Generator Posters A: Haochen XieNagoya University
	19:18 - 19:20 Poster		Refinement in object-sensitivity points-to analysis via slicing Posters A: Girish Maskeri RamaInfosys Limited, A: Raghavan KomondoorIndian Institute of Science, Bangalore, A: Himanshu SharmaIndian Institute of Science, Bangalore Link to publication
	19:20 - 19:21 Poster		Explaining Spreadsheets with Spreadsheets Posters A: Jácome CunhaUniversity of Minho, A: Mihai DanOregon State University, A: Martin ErwigOregon State University, A: Danila FedorinOregon State University, A: Alex GrejucOregon State University Link to publication
	19:21 - 19:23 Poster		Continuous Model Validation using Reference Attribute Grammars Posters A: Johannes MeyTechnische Universität Dresden, A: René SchöneTechnische Universität Dresden, A: Görel Hedin, A: Emma SöderbergLund University, A: Thomas KühnTechnische Universität Dresden, A: Niklas ForsLund University, A: Jesper OqvistLund University, A: Uwe AßmannTU Dresden, Germany Link to publication Pre-print
	19:23 - 19:25 Poster		CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs Posters A: Jonathan BellGeorge Mason University, A: Luís PinaGeorge Mason University
	19:25 - 19:26 Poster		DeepBugs: A Learning Approach to Name-based Bug Detection Posters A: Michael PradelTU Darmstadt, A: Koushik SenUniversity of California, Berkeley Link to publication
	19:26 - 19:28 Talk		Grammar Induction for Programming Languages using Skip-Gram Model Posters Tomomasa Matsunaga, Shigeru ChibaThe University of Tokyo
	19:28 - 19:30 Poster		Migrating Business Logic to an Incremental Computing DSL: A Case Study Posters A: Daco HarkesDelft University of Technology, A: Elmer van ChasteletDelft University of Technology, A: Eelco VisserDelft University of Technology Link to publication

Wed 7 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

	18:00 - 18:02 Poster		Faster Variational Execution with Transparent Bytecode Transformation Posters A: Chu-Pan WongCarnegie Mellon University, A: Jens MeinickeMagdeburg University, A: Lukas Lazarek, A: Christian KästnerCarnegie Mellon University Link to publication
	18:02 - 18:04 Poster		Guiding Inlining Decisions by Identifying Post-Inlining Transformations Posters A: Erick OchoaUniversity of Alberta, A: Andrew CraikIBM Canada, A: Jose Nelson AmaralUniversity of Alberta, A: Karim AliUniversity of Alberta
	18:04 - 18:06 Poster		DeepBugs: A Learning Approach to Name-based Bug Detection Posters A: Michael PradelTU Darmstadt, A: Koushik SenUniversity of California, Berkeley Link to publication
	18:06 - 18:08 Poster		Continuous Model Validation using Reference Attribute Grammars Posters A: Johannes MeyTechnische Universität Dresden, A: René SchöneTechnische Universität Dresden, A: Görel Hedin, A: Emma SöderbergLund University, A: Thomas KühnTechnische Universität Dresden, A: Niklas ForsLund University, A: Jesper OqvistLund University, A: Uwe AßmannTU Dresden, Germany Link to publication Pre-print
	18:08 - 18:10 Poster		Modular Language Composition for the Masses Posters A: Manuel LeducIRISA, University of Rennes 1, A: Thomas DegueuleCentrum Wiskunde & Informatica, A: Benoit CombemaleUniversity of Rennes 1 Link to publication
	18:10 - 18:12 Poster		Generating a Java Library from Its Specification Posters A: Tomoki NakamaruThe University of Tokyo, A: Shigeru ChibaThe University of Tokyo
	18:12 - 18:14 Poster		Scopes as Types Posters A: Hendrik van AntwerpenTU Delft, A: Casper Bach PoulsenDelft University of Technology, A: Arjen RouvoetDelft University of Technology, A: Eelco VisserDelft University of Technology Link to publication
	18:14 - 18:16 Poster		Compositional Programming and Testing of Dynamic Distributed Systems Posters A: Ankush DesaiUniversity of California, Berkeley, A: Amar PhanishayeeMicrosoft Research, A: Shaz QadeerMicrosoft Research, A: Sanjit SeshiaUC Berkeley Link to publication
	18:16 - 18:18 Poster		Fixing Machine Learning with Solver-Aided Languages Posters A: Revan MacQueenUniversity of Alberta, A: Julian DolbyIBM Research, A: Karim AliUniversity of Alberta
	18:18 - 18:20 Poster		Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling Posters A: Minseok JeonKorea University, South Korea, A: Sehun JeongKorea University, A: Hakjoo OhKorea University Link to publication
	18:20 - 18:22 Poster		CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs Posters A: Jonathan BellGeorge Mason University, A: Luís PinaGeorge Mason University
	18:22 - 18:24 Poster		Speeding up Symbolic Reasoning for Relational Queries Posters A: Chenglong WangUniversity of Washington, USA, A: Alvin CheungUniversity of Washington, A: Rastislav BodikUniversity of Washington Link to publication
	18:24 - 18:26 Poster		Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results Posters A: Peizhao OuUniversity of California, Irvine, A: Brian DemskyUniversity of California, Irvine Link to publication
	18:26 - 18:28 Poster		Exploring feature interactions without specifications: a controlled experiment Posters A: Larissa SoaresUniversidade Federal da Bahia, A: Jens MeinickeMagdeburg University, A: Sarah NadiUniversity of Alberta, A: Christian KästnerCarnegie Mellon University, A: Eduardo AlmeidaUniversidade Federal da Bahia Link to publication
	18:28 - 18:30 Poster		Obsidian: A Safer Blockchain Programming Language Posters A: Michael CoblenzCarnegie Mellon University, A: Jonathan AldrichCarnegie Mellon University, A: Brad MyersCarnegie Mellon University, A: Joshua SunshineCarnegie Mellon University
	18:30 - 18:32 Talk		Grammar Induction for Programming Languages using Skip-Gram Model Posters Tomomasa Matsunaga, Shigeru ChibaThe University of Tokyo
	18:32 - 18:34 Talk		Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages Posters A: Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, A: Michael J. SteindorferDelft University of Technology, A: Sebastian ErdwegTU Delft, A: Eelco VisserDelft University of Technology Link to publication
	18:34 - 18:36 Poster		Incremental compilation for Stratego Posters A: Jeff SmitsDelft University of Technology, A: Eelco VisserDelft University of Technology Link to publication
	18:36 - 18:39 Poster		Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo) Posters A: Jasper DenkersTU Delft, A: Louis van GoolOcé Technologies B.V., A: Eelco VisserDelft University of Technology Link to publication
	18:39 - 18:41 Poster		Reconciling High-level Optimizations and Low-level Code in LLVM Posters A: Juneyoung LeeSeoul National University, A: Chung-Kil HurSeoul National University, A: Ralf JungMPI-SWS, A: Zhengyang LiuUniversity of Utah, A: John RegehrUniversity of Utah, A: Nuno P. LopesMicrosoft Research Link to publication
	18:41 - 18:43 Poster		Identifying Barriers to Adoption for Rust through Online Discourse Posters A: Anna ZengStanford University, A: Will CrichtonStanford University Link to publication
	18:43 - 18:45 Poster		Chocola: Integrating Futures, Actors, and Transactions Posters A: Janwillem SwalensVrije Universiteit Brussel, A: Wolfgang De MeuterVrije Universiteit Brussel, A: Joeri De KosterVrije Universiteit Brussel, Belgium Link to publication Pre-print
	18:45 - 18:47 Poster		SWAN: A Swift Program Analysis Framework Posters A: Jeff ChoUniversity of Alberta, A: Mark MrozUniversity of Ottawa, A: Julian DolbyIBM Research, A: Karim AliUniversity of Alberta Link to publication
	18:47 - 18:49 Poster		Migrating Business Logic to an Incremental Computing DSL: A Case Study Posters A: Daco HarkesDelft University of Technology, A: Elmer van ChasteletDelft University of Technology, A: Eelco VisserDelft University of Technology Link to publication
	18:49 - 18:51 Poster		Multi-Device Grace Posters A: Ben Selwyn-Smith, A: Craig AnslowVictoria University of Wellington, A: Michael HomerVictoria University of Wellington
	18:51 - 18:53 Poster		Handling inconsistencies in software product line using a rule-based approach Posters Megha BhushanChitkara University, Punjab, India, A: Shivani Goel, Arun NegiMinistry of Defence, Government of India, India, Piyush SamantThapar Institute of Engineering, Patiala, Punjab, India
	18:53 - 18:55 Poster		Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo) Posters A: Filip StrömbäckLinköping University Link to publication
	18:55 - 18:57 Poster		Espalier: a structured spreadsheet tool for end-user development of organizational applications Posters A: Matt McCutchenMIT, A: Shachar ItzhakyTechnion, Israel, A: Daniel JacksonMIT, A: Willow JarvisMIT Link to publication
	18:57 - 18:59 Poster		Scaling the REPL Experience Posters A: Yair ChuchemLamdu, A: Eyal LotemLamdu Link to publication
	18:59 - 19:01 Poster		Sound Deadlock Prediction Posters A: Christian Gram KalhaugeUniversity of California, Los Angeles, A: Jens PalsbergUniversity of California, Los Angeles Link to publication
	19:01 - 19:03 Poster		Distributed System Development with ScalaLoci Posters A: Pascal WeisenburgerTechnische Universität Darmstadt, A: Mirko Köhler, A: Guido SalvaneschiTU Darmstadt Link to publication
	19:03 - 19:05 Poster		Safe Replication through Bounded Concurrency Verification Posters A: Gowtham KakiPurdue University, A: Kapil EarankyPurdue University, A: KC SivaramakrishnanUniversity of Cambridge, A: Suresh JagannathanPurdue University Link to publication
	19:05 - 19:07 Poster		Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State Posters A: Jyothi VeduradaIIT Madras, A: V Krishna NandivadaIIT Madras Link to publication
	19:07 - 19:09 Poster		Margin Notes: Automatic code documentation with recorded examples from runtime Posters A: Geoffrey Litt Link to publication
	19:09 - 19:11 Poster		Refinement in object-sensitivity points-to analysis via slicing Posters A: Girish Maskeri RamaInfosys Limited, A: Raghavan KomondoorIndian Institute of Science, Bangalore, A: Himanshu SharmaIndian Institute of Science, Bangalore Link to publication
	19:11 - 19:13 Poster		The Software Architecture of Economy Mechanics in Digital Games Posters A: Wilson MizutaniUniversity of São Paulo Link to publication
	19:13 - 19:16 Poster		Finding Broken Promises in Asynchronous JavaScript Programs Posters A: Saba AlimadadiNortheastern University, A: Di ZhongNortheastern University, USA, A: Magnus MadsenAarhus University, A: Frank TipNortheastern University Link to publication
	19:16 - 19:18 Poster		Programming by example: efficient, but not "helpful" Posters A: Mark SantolucitoYale University, USA, A: Drew GoldmanRoslyn High School, A: Allyson WeseleyRoslyn High School, A: Ruzica PiskacYale University, USA Link to publication
	19:18 - 19:20 Poster		Parallelization of Dynamic Languages: Synchronizing Built-in Collections Posters A: Benoit DalozeJKU Linz, Austria, A: Arie TalTechnion, A: Stefan MarrUniversity of Kent, A: Hanspeter MössenböckJKU Linz, Austria, A: Erez PetrankTechnion Link to publication
	19:20 - 19:22 Poster		Symmetry-based Optimization of Interaction Kernels Posters A: Shigeyuki SatoKochi University of Technology
	19:22 - 19:24 Poster		A Practical Unification of Multi-Stage Programming and Macros Posters A: Nicolas StuckiEPFL, Switzerland, A: Aggelos BiboudisEPFL, Switzerland, A: Martin OderskyEPFL, Switzerland Link to publication
	19:24 - 19:26 Poster		Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo) Posters A: Benoît RiesUniversity of Luxembourg, A: Alfredo CapozuccaUniversity of Luxembourg, A: Nicolas GuelfiUniversity of Luxembourg Link to publication
	19:26 - 19:28 Poster		One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax Posters A: James KoppelMIT, A: Varot PremtoonMIT, A: Armando Solar-LezamaMIT CSAIL Link to publication
	19:28 - 19:30 Poster		Anomaly Analyses for Feature-Model Evolution Posters A: Michael NiekeTU Braunschweig, Germany, A: Christoph SeidlTechnische Universität Braunschweig, A: Jacopo MauroUniversity of Southern Denmark, A: Thomas ThümTU Braunschweig, Germany, A: Ingrid Chieh YuUniversity of Oslo, A: Felix FranzkeTU Braunschweig Link to publication
	19:30 - 19:32 Poster		RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints Posters A: Yin LiuVirginia Tech, A: Kijin AnVirginia Tech, A: Eli TilevichVirginia Tech Link to publication
	19:32 - 19:34 Poster		Meta-programming for cross-domain tensor optimizations Posters A: Adilla SusungiMINES ParisTech, France, A: Norman A. RinkTU Dresden, Germany, A: Albert CohenGoogle, A: Jeronimo CastrillonTU Dresden, Germany, A: Claude TadonkiMINES ParisTech, France Link to publication
	19:34 - 19:36 Poster		Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments Posters A: Junho LeeKorea University, A: Dowon SongKorea University, A: Sunbeom SoKorea University, A: Hakjoo OhKorea University Link to publication
	19:36 - 19:38 Poster		Robust Relational Layout Synthesis from Examples for Android Posters A: Pavol BielikETH Zürich, A: Marc FischerETH Zurich, A: Martin VechevETH Zürich Link to publication
	19:38 - 19:40 Poster		A Derivation Framework for Dependent Security Label Inference Posters A: Peixuan LiPenn State University, A: Danfeng ZhangPennsylvania State University Link to publication
	19:40 - 19:42 Poster		An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability Posters A: Zhangxiaowen GongUniversity of Illinois at Urbana-Champaign, A: Zhi ChenUniversity of California, Irvine, A: Justin SzadayUniversity of Illinois at Urbana-Champaign, A: David WongIntel, A: Zehra SuraIBM Research, A: Neftali Watkinson, A: Saeed MalekiMicrosoft Research, A: David PaduaUniversity of Illinois at Urbana-Champaign, A: Alexander VeidenbaumUniversity of California, Irvine, A: Alexandru NicolauUniversity of California, Irvine, A: Josep TorrellasUniversity of Illinois at Urbana-Champaign Link to publication
	19:42 - 19:44 Poster		Consolidating Inheritance and Scoping into a Context Abstraction Posters A: Matan I. PeledTechnion—Israel Institute of Technology
	19:44 - 19:46 Talk		Test Generation for Higher-Order Functions in Dynamic Languages Posters A: Marija SelakovicTU Darmstadt, Germany, A: Michael PradelTU Darmstadt, A: Rezwana Karim NawrinSamsung Research America, A: Frank TipNortheastern University Link to publication
	19:46 - 19:48 Poster		Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study Posters A: Juan FumeroThe University of Manchester, A: Christos KotselidisThe University of Manchester Link to publication
	19:48 - 19:50 Poster		DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms Posters A: Jesse ZamanVrije Universiteit Brussel, A: Kennedy KambonaVrije Universiteit Brussel, A: Wolfgang De MeuterVrije Universiteit Brussel Link to publication
	19:50 - 19:53 Poster		Explaining Spreadsheets with Spreadsheets Posters A: Jácome CunhaUniversity of Minho, A: Mihai DanOregon State University, A: Martin ErwigOregon State University, A: Danila FedorinOregon State University, A: Alex GrejucOregon State University Link to publication
	19:53 - 19:55 Poster		Skitter: A DSL for Distributed Reactive Workflows Posters A: Mathijs SaeyVrije Universiteit Brussel, A: Joeri De KosterVrije Universiteit Brussel, Belgium, A: Wolfgang De MeuterVrije Universiteit Brussel Link to publication
	19:55 - 19:57 Poster		Thread-Safe Reactive Programming Posters A: Joscha DrechslerTechnische Universität Darmstadt, A: Ragnar MogkTechnische Universität Darmstadt, A: Guido SalvaneschiTU Darmstadt, A: Mira MeziniTU Darmstadt Link to publication
	19:57 - 19:59 Poster		Automated Rule Inference for Cryptographic APIs through Source Code Repositories Posters A: Anna-Katharina WickertTU Darmstadt Link to publication
	19:59 - 20:01 Poster		Observable atomic consistency for CvRDTs Posters A: Xin ZhaoKTH Royal Institute of Technology, A: Philipp HallerKTH, Sweden Link to publication
	20:01 - 20:03 Poster		Conflict Resolution for Structured Merge via Version Space Algebra Posters A: Fengmin Zhu, A: Fei HeTsinghua University Link to publication
	20:03 - 20:05 Poster		Observing the Uptake of a Language Change Making Strings Immutable Posters A: Manuel MaarekHeriot-Watt University Link to publication
	20:05 - 20:07 Poster		Secure Serverless Computing Using Dynamic Information Flow Control Posters A: Kalev AlpernasTel Aviv University, A: Cormac FlanaganUniversity of California, Santa Cruz, A: Sadjad FouladiStanford University, A: Leonid RyzhykVMware Research, A: Mooly SagivTel Aviv University, A: Thomas Schmitz, A: Keith WinsteinStanford University Link to publication
	20:07 - 20:09 Poster		Understanding Java Usability by Mining GitHub Repositories Posters A: Mark Lemay Link to publication
	20:09 - 20:11 Poster		Compiling Distributed System Specifications into Implementations Posters A: Matthew DoComputer Science, University of British Columbia, A: Renato MascarenhasComputer Science, University of British Columbia, A: Finn HacketComputer Science, University of Waterloo, A: Brandon ZhangComputer Science, University of British Columbia, A: Yi Fan (Bob) YangFacebook, A: Adam GellerComputer Science, University of British Columbia, A: Ivan BeschastnikhComputer Science, University of British Columbia
	20:11 - 20:13 Poster		From Debugging Towards Live Tuning of Reactive Applications Posters A: Ragnar MogkTechnische Universität Darmstadt, A: Pascal WeisenburgerTechnische Universität Darmstadt, A: Julian HaasTechnische Universität Darmstadt, A: David RichterTechnische Universität Darmstadt Link to publication
	20:13 - 20:15 Poster		Data Programming (DP): A new way of programming user interfaces Posters A: Blaine Bell Link to publication
	20:15 - 20:17 Poster		Object-Oriented Recovery for Non-Volatile Memory Posters A: Nachshon CohenEPFL, Switzerland, A: David T. AksunEPFL, A: James LarusEPFL Link to publication
	20:17 - 20:19 Poster		METACO, a Type Checker Generator Posters A: Haochen XieNagoya University
	20:19 - 20:21 Poster		GraphIt - A High-Performance Graph DSL Posters A: Yunming Zhang, A: Mengjiao YangMIT CSAIL, A: Riyadh BaghdadiMIT, A: Shoaib KamilAdobe, A: Julian ShunMIT, A: Saman AmarasingheMIT Link to publication
	20:21 - 20:23 Poster		Precision-Guided Context Sensitivity for Pointer Analysis Posters A: Yue LiAarhus University, Denmark, A: Tian TanAarhus University, Denmark, A: Anders MøllerAarhus University, A: Yannis SmaragdakisUniversity of Athens Link to publication
	20:23 - 20:25 Poster		QDB: From Quantum Algorithms Towards Correct Quantum Programs Posters A: Yipeng HuangPrinceton University, A: Margaret Martonosi Link to publication
	20:25 - 20:27 Talk		Toward a Language-Parametric Code Completion Editor Service Posters Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology Link to publication
	20:27 - 20:30 Poster		Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs Posters A: Laurent ChristopheVUB, A: Coen De RooverVrije Universiteit Brussel, A: Elisa Gonzalez BoixVrije Universiteit Brussel, A: Wolfgang De MeuterVrije Universiteit Brussel Link to publication