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

Blaine Bell

Link to publication

17:31 - 17:33
Poster

Programming by example: efficient, but not "helpful"

Mark SantolucitoYale University, USA, Drew GoldmanRoslyn High School, Allyson WeseleyRoslyn High School, Ruzica PiskacYale University, USA

Link to publication

17:33 - 17:34
Poster

Obsidian: A Safer Blockchain Programming Language

Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Brad MyersCarnegie Mellon University, 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

Ankush DesaiUniversity of California, Berkeley, Amar PhanishayeeMicrosoft Research, Shaz QadeerMicrosoft Research, Sanjit SeshiaUC Berkeley

Link to publication

17:38 - 17:39
Poster

Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)

Benoît RiesUniversity of Luxembourg, Alfredo CapozuccaUniversity of Luxembourg, Nicolas GuelfiUniversity of Luxembourg

Link to publication

17:39 - 17:41
Poster

Finding Broken Promises in Asynchronous JavaScript Programs

Saba AlimadadiNortheastern University, Di ZhongNortheastern University, USA, Magnus MadsenAarhus University, Frank TipNortheastern University

Link to publication

17:41 - 17:43
Talk

Test Generation for Higher-Order Functions in Dynamic Languages

Marija SelakovicTU Darmstadt, Germany, Michael PradelTU Darmstadt, Rezwana Karim NawrinSamsung Research America, Frank TipNortheastern University

Link to publication

17:43 - 17:44
Poster

Speeding up Symbolic Reasoning for Relational Queries

Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington

Link to publication

17:44 - 17:46
Poster

Fixing Machine Learning with Solver-Aided Languages

Revan MacQueenUniversity of Alberta, Julian DolbyIBM Research, Karim AliUniversity of Alberta

17:46 - 17:48
Poster

SWAN: A Swift Program Analysis Framework

Jeff ChoUniversity of Alberta, Mark MrozUniversity of Ottawa, Julian DolbyIBM Research, Karim AliUniversity of Alberta

Link to publication

17:48 - 17:49
Poster

The Software Architecture of Economy Mechanics in Digital Games

Wilson MizutaniUniversity of São Paulo

Link to publication

17:49 - 17:51
Poster

Identifying Barriers to Adoption for Rust through Online Discourse

Anna ZengStanford University, 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, 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

Janwillem SwalensVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium

Link to publication Pre-print

17:54 - 17:56
Poster

Anomaly Analyses for Feature-Model Evolution

Michael NiekeTU Braunschweig, Germany, Christoph SeidlTechnische Universität Braunschweig, Jacopo MauroUniversity of Southern Denmark, Thomas ThümTU Braunschweig, Germany, Ingrid Chieh YuUniversity of Oslo, Felix FranzkeTU Braunschweig

Link to publication

17:56 - 17:57
Poster

Understanding Java Usability by Mining GitHub Repositories

Mark Lemay

Link to publication

17:57 - 17:59
Poster

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

Minseok JeonKorea University, South Korea, Sehun JeongKorea University, Hakjoo OhKorea University

Link to publication

17:59 - 18:01
Poster

QDB: From Quantum Algorithms Towards Correct Quantum Programs

Yipeng HuangPrinceton University, 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

Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Michael J. SteindorferDelft University of Technology, Sebastian ErdwegTU Delft, Eelco VisserDelft University of Technology

Link to publication

18:02 - 18:04
Poster

Safe Replication through Bounded Concurrency Verification

Gowtham KakiPurdue University, Kapil EarankyPurdue University, KC SivaramakrishnanUniversity of Cambridge, Suresh JagannathanPurdue University

Link to publication

18:04 - 18:06
Poster

Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments

Junho LeeKorea University, Dowon SongKorea University, Sunbeom SoKorea University, Hakjoo OhKorea University

Link to publication

18:06 - 18:07
Poster

Observable atomic consistency for CvRDTs

Xin ZhaoKTH Royal Institute of Technology, Philipp HallerKTH, Sweden

Link to publication

18:07 - 18:09
Poster

Reconciling High-level Optimizations and Low-level Code in LLVM

Juneyoung LeeSeoul National University, Chung-Kil HurSeoul National University, Ralf JungMPI-SWS, Zhengyang LiuUniversity of Utah, John RegehrUniversity of Utah, Nuno P. LopesMicrosoft Research

Link to publication

18:09 - 18:11
Poster

Meta-programming for cross-domain tensor optimizations

Adilla SusungiMINES ParisTech, France, Norman A. RinkTU Dresden, Germany, Albert CohenGoogle, Jeronimo CastrillonTU Dresden, Germany, Claude TadonkiMINES ParisTech, France

Link to publication

18:11 - 18:12
Poster

One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax

James KoppelMIT, Varot PremtoonMIT, Armando Solar-LezamaMIT CSAIL

Link to publication

18:12 - 18:14
Poster

Scaling the REPL Experience

Yair ChuchemLamdu, Eyal LotemLamdu

Link to publication

18:14 - 18:16
Poster

Automated Rule Inference for Cryptographic APIs through Source Code Repositories

Anna-Katharina WickertTU Darmstadt

Link to publication

18:16 - 18:17
Poster

Exploring feature interactions without specifications: a controlled experiment

Larissa SoaresUniversidade Federal da Bahia, Jens MeinickeMagdeburg University, Sarah NadiUniversity of Alberta, Christian KästnerCarnegie Mellon University, Eduardo AlmeidaUniversidade Federal da Bahia

Link to publication

18:17 - 18:19
Poster

GraphIt - A High-Performance Graph DSL

Yunming Zhang, Mengjiao YangMIT CSAIL, Riyadh BaghdadiMIT, Shoaib KamilAdobe, Julian ShunMIT, Saman AmarasingheMIT

Link to publication

18:19 - 18:20
Poster

Symmetry-based Optimization of Interaction Kernels

Shigeyuki SatoKochi University of Technology

18:20 - 18:22
Poster

Sound Deadlock Prediction

Christian Gram KalhaugeUniversity of California, Los Angeles, Jens PalsbergUniversity of California, Los Angeles

Link to publication

18:22 - 18:24
Poster

Conflict Resolution for Structured Merge via Version Space Algebra

Fengmin Zhu, Fei HeTsinghua University

Link to publication

18:24 - 18:25
Poster

Robust Relational Layout Synthesis from Examples for Android

Pavol BielikETH Zürich, Marc FischerETH Zurich, Martin VechevETH Zürich

Link to publication

18:25 - 18:27
Poster

Parallelization of Dynamic Languages: Synchronizing Built-in Collections

Benoit DalozeJKU Linz, Austria, Arie TalTechnion, Stefan MarrUniversity of Kent, Hanspeter MössenböckJKU Linz, Austria, Erez PetrankTechnion

Link to publication

18:27 - 18:29
Poster

RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints

Yin LiuVirginia Tech, Kijin AnVirginia Tech, Eli TilevichVirginia Tech

Link to publication

18:29 - 18:30
Poster

Scopes as Types

Hendrik van AntwerpenTU Delft, Casper Bach PoulsenDelft University of Technology, Arjen RouvoetDelft University of Technology, Eelco VisserDelft University of Technology

Link to publication

18:30 - 18:32
Poster

Generating a Java Library from Its Specification

Tomoki NakamaruThe University of Tokyo, Shigeru ChibaThe University of Tokyo

18:32 - 18:34
Poster

Thread-Safe Reactive Programming

Joscha DrechslerTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt

Link to publication

18:34 - 18:35
Poster

Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)

Filip StrömbäckLinköping University

Link to publication

18:35 - 18:37
Poster

Multi-Device Grace

Ben Selwyn-Smith, Craig AnslowVictoria University of Wellington, Michael HomerVictoria University of Wellington

18:37 - 18:39
Poster

Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo)

Jasper DenkersTU Delft, Louis van GoolOcé Technologies B.V., Eelco VisserDelft University of Technology

Link to publication

18:39 - 18:40
Poster

Guiding Inlining Decisions by Identifying Post-Inlining Transformations

Erick OchoaUniversity of Alberta, Andrew CraikIBM Canada, Jose Nelson AmaralUniversity of Alberta, Karim AliUniversity of Alberta

18:40 - 18:42
Poster

Compiling Distributed System Specifications into Implementations

Matthew DoComputer Science, University of British Columbia, Renato MascarenhasComputer Science, University of British Columbia, Finn HacketComputer Science, University of Waterloo, Brandon ZhangComputer Science, University of British Columbia, Yi Fan (Bob) YangFacebook, Adam GellerComputer Science, University of British Columbia, Ivan BeschastnikhComputer Science, University of British Columbia

18:42 - 18:43
Poster

Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results

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

Link to publication

18:43 - 18:45
Poster

Incremental compilation for Stratego

Jeff SmitsDelft University of Technology, 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

Juan FumeroThe University of Manchester, Christos KotselidisThe University of Manchester

Link to publication

18:47 - 18:48
Poster

Object-Oriented Recovery for Non-Volatile Memory

Nachshon CohenEPFL, Switzerland, David T. AksunEPFL, James LarusEPFL

Link to publication

18:48 - 18:50
Poster

Faster Variational Execution with Transparent Bytecode Transformation

Chu-Pan WongCarnegie Mellon University, Jens MeinickeMagdeburg University, Lukas Lazarek, Christian KästnerCarnegie Mellon University

Link to publication

18:50 - 18:52
Poster

Observing the Uptake of a Language Change Making Strings Immutable

Manuel MaarekHeriot-Watt University

Link to publication

18:52 - 18:53
Poster

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

Laurent ChristopheVUB, Coen De RooverVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, 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

Matt McCutchenMIT, Shachar ItzhakyTechnion, Israel, Daniel JacksonMIT, Willow JarvisMIT

Link to publication

18:55 - 18:57
Poster

Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State

Jyothi VeduradaIIT Madras, V Krishna NandivadaIIT Madras

Link to publication

18:57 - 18:58
Poster

Margin Notes: Automatic code documentation with recorded examples from runtime

Geoffrey Litt

Link to publication

18:58 - 19:00
Poster

A Practical Unification of Multi-Stage Programming and Macros

Nicolas StuckiEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland

Link to publication

19:00 - 19:02
Poster

Precision-Guided Context Sensitivity for Pointer Analysis

Yue LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens

Link to publication

19:02 - 19:03
Poster

Skitter: A DSL for Distributed Reactive Workflows

Mathijs SaeyVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel

Link to publication

19:03 - 19:05
Poster

Consolidating Inheritance and Scoping into a Context Abstraction

Matan I. PeledTechnion—Israel Institute of Technology

19:05 - 19:06
Poster

Modular Language Composition for the Masses

Manuel LeducIRISA, University of Rennes 1, Thomas DegueuleCentrum Wiskunde & Informatica, Benoit CombemaleUniversity of Rennes 1

Link to publication

19:06 - 19:08
Poster

From Debugging Towards Live Tuning of Reactive Applications

Ragnar MogkTechnische Universität Darmstadt, Pascal WeisenburgerTechnische Universität Darmstadt, Julian HaasTechnische Universität Darmstadt, David RichterTechnische Universität Darmstadt

Link to publication

19:08 - 19:10
Poster

Secure Serverless Computing Using Dynamic Information Flow Control

Kalev AlpernasTel Aviv University, Cormac FlanaganUniversity of California, Santa Cruz, Sadjad FouladiStanford University, Leonid RyzhykVMware Research, Mooly SagivTel Aviv University, Thomas Schmitz, Keith WinsteinStanford University

Link to publication

19:10 - 19:11
Poster

DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms

Jesse ZamanVrije Universiteit Brussel, Kennedy KambonaVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel

Link to publication

19:11 - 19:13
Poster

A Derivation Framework for Dependent Security Label Inference

Peixuan LiPenn State University, Danfeng ZhangPennsylvania State University

Link to publication

19:13 - 19:15
Poster

Distributed System Development with ScalaLoci

Pascal WeisenburgerTechnische Universität Darmstadt, Mirko Köhler, 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

Zhangxiaowen GongUniversity of Illinois at Urbana-Champaign, Zhi ChenUniversity of California, Irvine, Justin SzadayUniversity of Illinois at Urbana-Champaign, David WongIntel, Zehra SuraIBM Research, Neftali Watkinson, Saeed MalekiMicrosoft Research, David PaduaUniversity of Illinois at Urbana-Champaign, Alexander VeidenbaumUniversity of California, Irvine, Alexandru NicolauUniversity of California, Irvine, Josep TorrellasUniversity of Illinois at Urbana-Champaign

Link to publication

19:16 - 19:18
Poster

METACO, a Type Checker Generator

Haochen XieNagoya University

19:18 - 19:20
Poster

Refinement in object-sensitivity points-to analysis via slicing

Girish Maskeri RamaInfosys Limited, Raghavan KomondoorIndian Institute of Science, Bangalore, Himanshu SharmaIndian Institute of Science, Bangalore

Link to publication

19:20 - 19:21
Poster

Explaining Spreadsheets with Spreadsheets

Jácome CunhaUniversity of Minho, Mihai DanOregon State University, Martin ErwigOregon State University, Danila FedorinOregon State University, Alex GrejucOregon State University

Link to publication

19:21 - 19:23
Poster

Continuous Model Validation using Reference Attribute Grammars

Johannes MeyTechnische Universität Dresden, René SchöneTechnische Universität Dresden, Görel Hedin, Emma SöderbergLund University, Thomas KühnTechnische Universität Dresden, Niklas ForsLund University, Jesper OqvistLund University, 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

Jonathan BellGeorge Mason University, Luís PinaGeorge Mason University

19:25 - 19:26
Poster

DeepBugs: A Learning Approach to Name-based Bug Detection

Michael PradelTU Darmstadt, 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

Daco HarkesDelft University of Technology, Elmer van ChasteletDelft University of Technology, 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