Terrace - Onward! 2018

VenueBoston Park Plaza Hotel

Room nameTerrace

Floor0

Additional informationThere is no additional information of this room available.

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

Apply

Program

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

Sun 4 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

08:00 - 09:00: Social - Breakfast at Terrace

10:00 - 10:30: Social - Break at Terrace

15:00 - 15:30: Social - Break at Terrace

17:00 - 18:00: Social - Social at Terrace

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

07:30 - 08:30: Social - Breakfast at Terrace

10:00 - 10:30: Social - Break at Terrace

15:00 - 15:30: Social - Break at Terrace

17:30 - 19:30: Posters - Poster at Terrace

17:30 - 17:31
Poster

Data Programming (DP): A new way of programming user interfaces

A: Blaine Bell

Link to publication

17:31 - 17:33
Poster

Programming by example: efficient, but not "helpful"

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

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

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

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)

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

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

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

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

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

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

A: Wilson MizutaniUniversity of São Paulo

Link to publication

17:49 - 17:51
Poster

Identifying Barriers to Adoption for Rust through Online Discourse

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

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

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

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

A: Mark Lemay

Link to publication

17:57 - 17:59
Poster

Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling

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

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

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

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

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

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

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

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

A: James KoppelMIT, A: Varot PremtoonMIT, A: Armando Solar-LezamaMIT CSAIL

Link to publication

18:12 - 18:14
Poster

Scaling the REPL Experience

A: Yair ChuchemLamdu, A: Eyal LotemLamdu

Link to publication

18:14 - 18:16
Poster

Automated Rule Inference for Cryptographic APIs through Source Code Repositories

A: Anna-Katharina WickertTU Darmstadt

Link to publication

18:16 - 18:17
Poster

Exploring feature interactions without specifications: a controlled experiment

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

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

A: Shigeyuki SatoKochi University of Technology

18:20 - 18:22
Poster

Sound Deadlock Prediction

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

A: Fengmin Zhu, A: Fei HeTsinghua University

Link to publication

18:24 - 18:25
Poster

Robust Relational Layout Synthesis from Examples for Android

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

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

A: Yin LiuVirginia Tech, A: Kijin AnVirginia Tech, A: Eli TilevichVirginia Tech

Link to publication

18:29 - 18:30
Poster

Scopes as Types

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

A: Tomoki NakamaruThe University of Tokyo, A: Shigeru ChibaThe University of Tokyo

18:32 - 18:34
Poster

Thread-Safe Reactive Programming

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)

A: Filip StrömbäckLinköping University

Link to publication

18:35 - 18:37
Poster

Multi-Device Grace

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)

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

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

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

A: Peizhao OuUniversity of California, Irvine, A: Brian DemskyUniversity of California, Irvine

Link to publication

18:43 - 18:45
Poster

Incremental compilation for Stratego

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

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

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

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

A: Manuel MaarekHeriot-Watt University

Link to publication

18:52 - 18:53
Poster

Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs

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

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

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

A: Geoffrey Litt

Link to publication

18:58 - 19:00
Poster

A Practical Unification of Multi-Stage Programming and Macros

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

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

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

A: Matan I. PeledTechnion—Israel Institute of Technology

19:05 - 19:06
Poster

Modular Language Composition for the Masses

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

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

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

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

A: Peixuan LiPenn State University, A: Danfeng ZhangPennsylvania State University

Link to publication

19:13 - 19:15
Poster

Distributed System Development with ScalaLoci

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

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

A: Haochen XieNagoya University

19:18 - 19:20
Poster

Refinement in object-sensitivity points-to analysis via slicing

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

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

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

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

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

Tomomasa Matsunaga, Shigeru ChibaThe University of Tokyo

19:28 - 19:30
Poster

Migrating Business Logic to an Incremental Computing DSL: A Case Study

A: Daco HarkesDelft University of Technology, A: Elmer van ChasteletDelft University of Technology, A: Eelco VisserDelft University of Technology

Link to publication

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

07:30 - 08:30: Social - Breakfast at Terrace

10:00 - 10:30: Social - Break at Terrace

15:00 - 15:30: Social - Break at Terrace

17:00 - 18:00: Social - Social at Terrace

Wed 7 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

07:30 - 08:30: Social - Breakfast at Terrace

10:00 - 10:30: Social - Break at Terrace

15:00 - 15:30: Social - Break at Terrace

Thu 8 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

07:30 - 08:30: Social - Breakfast at Terrace

10:00 - 10:30: Social - Break at Terrace

15:00 - 15:30: Social - Break at Terrace

Fri 9 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

07:30 - 08:30: Social - Breakfast at Terrace

10:00 - 10:30: Social - Break at Terrace

15:45 - 16:45: Social - T-shirt social at Terrace

Sun 4 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
Terrace	SPLASH Social Breakfast																								SPLASH Social Break																																																												SPLASH Social Break																								SPLASH Social Social

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change


Room	7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30
Terrace							SPLASH Social Breakfast																														SPLASH Social Break																																																												SPLASH Social Break																														SPLASH Posters Poster

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change


Room	7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
Terrace							SPLASH Social Breakfast																														SPLASH Social Break																																																												SPLASH Social Break																								SPLASH Social Social

Wed 7 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change


Room	7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Terrace							SPLASH Social Breakfast																														SPLASH Social Break																																																												SPLASH Social Break

Thu 8 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change


Room	7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30
Terrace							SPLASH Social Breakfast																														SPLASH Social Break																																																												SPLASH Social Break																																										SPLASH Social

Fri 9 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change


Room	7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Terrace							SPLASH Social Breakfast																														SPLASH Social Break																																																			SPLASH Social																		SPLASH Social T-shirt social

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change


Room	17:00			15			30			45			18:00			15			30			45			19:00			15			30			45
Terrace							SPLASH Posters Data Programming (DP): A new way of programming user interfaces 17:30 - 17:31	SPLASH Posters Programming by example: efficient, but not "helpful" 17:31 - 17:33	SPLASH Posters Obsidian: A Safer Blockchain Programming Language 17:33 - 17:34	SPLASH Posters Toward a Language-Parametric Code Completion Editor Service 17:34 - 17:36	SPLASH Posters Compositional Programming and Testing of Dynamic Distributed Systems 17:36 - 17:38	SPLASH Posters Messir, a Text-first DSL-based Approach for UML Requirements Engineerin ... 17:38 - 17:39	SPLASH Posters Finding Broken Promises in Asynchronous JavaScript Programs 17:39 - 17:41	SPLASH Posters Test Generation for Higher-Order Functions in Dynamic Languages 17:41 - 17:43	SPLASH Posters Speeding up Symbolic Reasoning for Relational Queries 17:43 - 17:44	SPLASH Posters Fixing Machine Learning with Solver-Aided Languages 17:44 - 17:46	SPLASH Posters SWAN: A Swift Program Analysis Framework 17:46 - 17:48	SPLASH Posters The Software Architecture of Economy Mechanics in Digital Games 17:48 - 17:49	SPLASH Posters Identifying Barriers to Adoption for Rust through Online Discourse 17:49 - 17:51	SPLASH Posters Handling inconsistencies in software product line using a rule-based ap ... 17:51 - 17:53	SPLASH Posters Chocola: Integrating Futures, Actors, and Transactions 17:53 - 17:54	SPLASH Posters Anomaly Analyses for Feature-Model Evolution 17:54 - 17:56	SPLASH Posters Understanding Java Usability by Mining GitHub Repositories 17:56 - 17:57	SPLASH Posters Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling 17:57 - 17:59	SPLASH Posters QDB: From Quantum Algorithms Towards Correct Quantum Programs 17:59 - 18:01	SPLASH Posters Declarative Specification of Indentation Rules: A Tooling Perspective o ... 18:01 - 18:02	SPLASH Posters Safe Replication through Bounded Concurrency Verification 18:02 - 18:04	SPLASH Posters Automatic Diagnosis and Correction of Logical Errors for Functional Pro ... 18:04 - 18:06	SPLASH Posters Observable atomic consistency for CvRDTs 18:06 - 18:07	SPLASH Posters Reconciling High-level Optimizations and Low-level Code in LLVM 18:07 - 18:09	SPLASH Posters Meta-programming for cross-domain tensor optimizations 18:09 - 18:11	SPLASH Posters One Tool, Many Languages: Language-Parametric Transformation with Incre ... 18:11 - 18:12	SPLASH Posters Scaling the REPL Experience 18:12 - 18:14	SPLASH Posters Automated Rule Inference for Cryptographic APIs through Source Code Rep ... 18:14 - 18:16	SPLASH Posters Exploring feature interactions without specifications: a controlled exp ... 18:16 - 18:17	SPLASH Posters GraphIt - A High-Performance Graph DSL 18:17 - 18:19	SPLASH Posters Symmetry-based Optimization of Interaction Kernels 18:19 - 18:20	SPLASH Posters Sound Deadlock Prediction 18:20 - 18:22	SPLASH Posters Conflict Resolution for Structured Merge via Version Space Algebra 18:22 - 18:24	SPLASH Posters Robust Relational Layout Synthesis from Examples for Android 18:24 - 18:25	SPLASH Posters Parallelization of Dynamic Languages: Synchronizing Built-in Collections 18:25 - 18:27	SPLASH Posters RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time C ... 18:27 - 18:29	SPLASH Posters Scopes as Types 18:29 - 18:30	SPLASH Posters Generating a Java Library from Its Specification 18:30 - 18:32	SPLASH Posters Thread-Safe Reactive Programming 18:32 - 18:34	SPLASH Posters Storm: A Language Platform for Interacting and Extensible Languages (To ... 18:34 - 18:35	SPLASH Posters Multi-Device Grace 18:35 - 18:37	SPLASH Posters Migrating Custom DSL Implementations to a Language Workbench: An Indust ... 18:37 - 18:39	SPLASH Posters Guiding Inlining Decisions by Identifying Post-Inlining Transformations 18:39 - 18:40	SPLASH Posters Compiling Distributed System Specifications into Implementations 18:40 - 18:42	SPLASH Posters Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results 18:42 - 18:43	SPLASH Posters Incremental compilation for Stratego 18:43 - 18:45	SPLASH Posters Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardwar ... 18:45 - 18:47	SPLASH Posters Object-Oriented Recovery for Non-Volatile Memory 18:47 - 18:48	SPLASH Posters Faster Variational Execution with Transparent Bytecode Transformation 18:48 - 18:50	SPLASH Posters Observing the Uptake of a Language Change Making Strings Immutable 18:50 - 18:52	SPLASH Posters Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack ... 18:52 - 18:53	SPLASH Posters Espalier: a structured spreadsheet tool for end-user development of org ... 18:53 - 18:55	SPLASH Posters Identifying Refactoring Opportunities for Replacing Type Code with Subc ... 18:55 - 18:57	SPLASH Posters Margin Notes: Automatic code documentation with recorded examples from ... 18:57 - 18:58	SPLASH Posters A Practical Unification of Multi-Stage Programming and Macros 18:58 - 19:00	SPLASH Posters Precision-Guided Context Sensitivity for Pointer Analysis 19:00 - 19:02	SPLASH Posters Skitter: A DSL for Distributed Reactive Workflows 19:02 - 19:03	SPLASH Posters Consolidating Inheritance and Scoping into a Context Abstraction 19:03 - 19:05	SPLASH Posters Modular Language Composition for the Masses 19:05 - 19:06	SPLASH Posters From Debugging Towards Live Tuning of Reactive Applications 19:06 - 19:08	SPLASH Posters Secure Serverless Computing Using Dynamic Information Flow Control 19:08 - 19:10	SPLASH Posters DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-b ... 19:10 - 19:11	SPLASH Posters A Derivation Framework for Dependent Security Label Inference 19:11 - 19:13	SPLASH Posters Distributed System Development with ScalaLoci 19:13 - 19:15	SPLASH Posters An Empirical Study of the Effect of Source-level Loop Transformations o ... 19:15 - 19:16	SPLASH Posters METACO, a Type Checker Generator 19:16 - 19:18	SPLASH Posters Refinement in object-sensitivity points-to analysis via slicing 19:18 - 19:20	SPLASH Posters Explaining Spreadsheets with Spreadsheets 19:20 - 19:21	SPLASH Posters Continuous Model Validation using Reference Attribute Grammars 19:21 - 19:23	SPLASH Posters CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stoc ... 19:23 - 19:25	SPLASH Posters DeepBugs: A Learning Approach to Name-based Bug Detection 19:25 - 19:26	SPLASH Posters Grammar Induction for Programming Languages using Skip-Gram Model 19:26 - 19:28	SPLASH Posters Migrating Business Logic to an Incremental Computing DSL: A Case Study 19:28 - 19:30

Room information: Terrace

Sun 4 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Wed 7 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Thu 8 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Fri 9 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Sun 4 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

SPLASH Social

SPLASH Social

SPLASH Social

SPLASH Social

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

SPLASH Social

SPLASH Social

SPLASH Social

SPLASH Posters

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

SPLASH Social

SPLASH Social

SPLASH Social

SPLASH Social

Wed 7 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

SPLASH Social

SPLASH Social

SPLASH Social

Thu 8 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

SPLASH Social

SPLASH Social

SPLASH Social

SPLASH Social

Fri 9 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

SPLASH Social

SPLASH Social

SPLASH Social

SPLASH Social

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tracks

Room information: Terrace

Display in different time zone

Sun 4 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Mon 5 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 6 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Wed 7 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Thu 8 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Fri 9 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Sun 4 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

SPLASH Social

SPLASH Social

SPLASH Social

SPLASH Social

Mon 5 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

SPLASH Social

SPLASH Social

SPLASH Social

SPLASH Posters

Tue 6 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

SPLASH Social

SPLASH Social

SPLASH Social

SPLASH Social

Wed 7 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

SPLASH Social

SPLASH Social

SPLASH Social

Thu 8 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

SPLASH Social

SPLASH Social

SPLASH Social

SPLASH Social

Fri 9 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

SPLASH Social

SPLASH Social

SPLASH Social

SPLASH Social

Mon 5 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Sun 4 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Wed 7 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Thu 8 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Fri 9 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Sun 4 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Wed 7 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Thu 8 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Fri 9 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change