SPLASH 2018
Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States
Toggle navigation
About
Venue: Boston Park Plaza Hotel
Dining
Welcome
Awards
Registration
Support
Sponsoring
Visa
Conduct
Schedule
SPLASH Program
Your Program
Sun 4 Nov
Mon 5 Nov
Tue 6 Nov
Wed 7 Nov
Thu 8 Nov
Fri 9 Nov
Tracks
SPLASH 2018
OOPSLA
Artifacts
Keynotes
Posters
SPLASH-I
Meetups
SPLASH-E
Workshops
PLMW
Breakfasts
DocSymposium
Volunteers
SRC
Social
Co-hosted Conferences
GPCE
Onward!
Onward!
Onward!
Essays
Onward!
Papers
SLE
Workshops
AGERE
AI-SEPS
BLOCKS+
DSLDI
GRACE
HILT
LIVE
META
NJR
OCAP
PLATEAU
REBLS
SLEBoK
TURBO
VMIL
Co-hosted Symposia
DLS
Organization
SPLASH 2018 Committees
Organizing Committee
Steering Committee
Track Committees
OOPSLA
Review Committee
External Reviewers
Distinguished Paper Committee
Artifacts
Posters
SPLASH-I
Speakers
Organizers
SPLASH-E
Workshops
PLMW
Organizing Committee
Speakers
Breakfasts
DocSymposium
Academic Panel
Organizers
Program Committee
Volunteers
SRC
Organizers
Reviewers
Judges
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Program Committee
Onward!
Organizing Committee
Steering Committee
Onward! Essays
Onward! Papers
SLE
Keynote Speaker
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
AGERE
Organizing Committee
Program Committee
AI-SEPS
Organizing Committee
Program Committee
BLOCKS+
Organizing Committee
Program Committee
DSLDI
Organizing Committee
Program Committee
GRACE
Organizing Committee
Program Committee
HILT
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
META
Organizing Committee
Program Committee
NJR
Organizing Committee
Program Committee
OCAP
Organizing Committee
Program Committee
PLATEAU
Organizing Committee
Program Committee
REBLS
Organizing Committee
Program Committee
SLEBoK
Organizing Committee
Program Committee
TURBO
Organizing Committee
VMIL
Program Committee
Steering Committee
Co-hosted Symposia
DLS
Program Committee
Steering Committee
Search
Series
Series
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2018
(
series
) /
Boston Park Plaza Hotel
/
Room information: Georgian
Venue
Boston Park Plaza Hotel
Room name
Georgian
Floor
2
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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, Monterrey
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Wed 7 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
12:00 - 13:30
Lunch
Social
at
Georgian
18:00 - 20:30
Poster & SRC
Posters
at
Georgian
18:00
2m
Poster
Faster Variational Execution with Transparent Bytecode Transformation
Posters
A:
Chu-Pan Wong
Carnegie Mellon University
,
A:
Jens Meinicke
Magdeburg University
,
A:
Lukas Lazarek
,
A:
Christian Kästner
Carnegie Mellon University
Link to publication
18:02
2m
Poster
Guiding Inlining Decisions by Identifying Post-Inlining Transformations
Posters
A:
Erick Ochoa
University of Alberta
,
A:
Andrew Craik
IBM Canada
,
A:
Jose Nelson Amaral
University of Alberta
,
A:
Karim Ali
University of Alberta
18:04
2m
Poster
DeepBugs: A Learning Approach to Name-based Bug Detection
Posters
A:
Michael Pradel
TU Darmstadt
,
A:
Koushik Sen
University of California, Berkeley
Link to publication
18:06
2m
Poster
Continuous Model Validation using Reference Attribute Grammars
Posters
A:
Johannes Mey
Technische Universität Dresden
,
A:
René Schöne
Technische Universität Dresden
,
A:
Görel Hedin
,
A:
Emma Söderberg
Lund University
,
A:
Thomas Kühn
Technische Universität Dresden
,
A:
Niklas Fors
Lund University
,
A:
Jesper Oqvist
Lund University
,
A:
Uwe Aßmann
TU Dresden, Germany
Link to publication
Pre-print
18:08
2m
Poster
Modular Language Composition for the Masses
Posters
A:
Manuel Leduc
IRISA, University of Rennes 1
,
A:
Thomas Degueule
Centrum Wiskunde & Informatica
,
A:
Benoit Combemale
University of Rennes 1
Link to publication
18:10
2m
Poster
Generating a Java Library from Its Specification
Posters
A:
Tomoki Nakamaru
The University of Tokyo
,
A:
Shigeru Chiba
The University of Tokyo
18:12
2m
Poster
Scopes as Types
Posters
A:
Hendrik van Antwerpen
TU Delft
,
A:
Casper Bach Poulsen
Delft University of Technology
,
A:
Arjen Rouvoet
Delft University of Technology
,
A:
Eelco Visser
Delft University of Technology
Link to publication
18:14
2m
Poster
Compositional Programming and Testing of Dynamic Distributed Systems
Posters
A:
Ankush Desai
University of California, Berkeley
,
A:
Amar Phanishayee
Microsoft Research
,
A:
Shaz Qadeer
Microsoft Research
,
A:
Sanjit Seshia
UC Berkeley
Link to publication
18:16
2m
Poster
Fixing Machine Learning with Solver-Aided Languages
Posters
A:
Revan MacQueen
University of Alberta
,
A:
Julian Dolby
IBM Research
,
A:
Karim Ali
University of Alberta
18:18
2m
Poster
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
Posters
A:
Minseok Jeon
Korea University, South Korea
,
A:
Sehun Jeong
Korea University
,
A:
Hakjoo Oh
Korea University
Link to publication
18:20
2m
Poster
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
Posters
A:
Jonathan Bell
George Mason University
,
A:
Luís Pina
George Mason University
18:22
2m
Poster
Speeding up Symbolic Reasoning for Relational Queries
Posters
A:
Chenglong Wang
University of Washington, USA
,
A:
Alvin Cheung
University of Washington
,
A:
Rastislav Bodík
University of Washington
Link to publication
18:24
2m
Poster
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Posters
A:
Peizhao Ou
University of California, Irvine
,
A:
Brian Demsky
University of California, Irvine
Link to publication
18:26
2m
Poster
Exploring feature interactions without specifications: a controlled experiment
Posters
A:
Larissa Soares
Universidade Federal da Bahia
,
A:
Jens Meinicke
Magdeburg University
,
A:
Sarah Nadi
University of Alberta
,
A:
Christian Kästner
Carnegie Mellon University
,
A:
Eduardo Santana de Almeida
Universidade Federal da Bahia
Link to publication
18:28
2m
Poster
Obsidian: A Safer Blockchain Programming Language
Posters
A:
Michael Coblenz
Carnegie Mellon University
,
A:
Jonathan Aldrich
Carnegie Mellon University
,
A:
Brad A. Myers
Carnegie Mellon University
,
A:
Joshua Sunshine
Carnegie Mellon University
18:30
2m
Talk
Grammar Induction for Programming Languages using Skip-Gram Model
Posters
Tomomasa Matsunaga
,
Shigeru Chiba
The University of Tokyo
18:32
2m
Talk
Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
Posters
A:
Luis Eduardo de Souza Amorim
Delft University of Technology, Netherlands
,
A:
Michael J. Steindorfer
Delft University of Technology
,
A:
Sebastian Erdweg
TU Delft
,
A:
Eelco Visser
Delft University of Technology
Link to publication
18:34
2m
Poster
Incremental compilation for Stratego
Posters
A:
Jeff Smits
Delft University of Technology
,
A:
Eelco Visser
Delft University of Technology
Link to publication
18:36
2m
Poster
Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo)
Posters
A:
Jasper Denkers
TU Delft
,
A:
Louis van Gool
Océ Technologies B.V.
,
A:
Eelco Visser
Delft University of Technology
Link to publication
18:39
2m
Poster
Reconciling High-level Optimizations and Low-level Code in LLVM
Posters
A:
Juneyoung Lee
Seoul National University
,
A:
Chung-Kil Hur
Seoul National University
,
A:
Ralf Jung
MPI-SWS
,
A:
Zhengyang Liu
University of Utah
,
A:
John Regehr
University of Utah
,
A:
Nuno P. Lopes
Microsoft Research
Link to publication
18:41
2m
Poster
Identifying Barriers to Adoption for Rust through Online Discourse
Posters
A:
Anna Zeng
Stanford University
,
A:
Will Crichton
Stanford University
Link to publication
18:43
2m
Poster
Chocola: Integrating Futures, Actors, and Transactions
Posters
A:
Janwillem Swalens
Vrije Universiteit Brussel
,
A:
Wolfgang De Meuter
Vrije Universiteit Brussel
,
A:
Joeri De Koster
Vrije Universiteit Brussel, Belgium
Link to publication
Pre-print
18:45
2m
Poster
SWAN: A Swift Program Analysis Framework
Posters
A:
Jeff Cho
University of Alberta
,
A:
Mark Mroz
University of Ottawa
,
A:
Julian Dolby
IBM Research
,
A:
Karim Ali
University of Alberta
Link to publication
18:47
2m
Poster
Migrating Business Logic to an Incremental Computing DSL: A Case Study
Posters
A:
Daco Harkes
Delft University of Technology
,
A:
Elmer van Chastelet
Delft University of Technology
,
A:
Eelco Visser
Delft University of Technology
Link to publication
18:49
2m
Poster
Multi-Device Grace
Posters
A:
Ben Selwyn-Smith
,
A:
Craig Anslow
Victoria University of Wellington
,
A:
Michael Homer
Victoria University of Wellington
18:51
2m
Poster
Handling inconsistencies in software product line using a rule-based approach
Posters
Megha Bhushan
Chitkara University, Punjab, India
,
A:
Shivani Goel
,
Arun Negi
Ministry of Defence, Government of India, India
,
Piyush Samant
Thapar Institute of Engineering, Patiala, Punjab, India
18:53
2m
Poster
Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)
Posters
A:
Filip Strömbäck
Linköping University
Link to publication
18:55
2m
Poster
Espalier: a structured spreadsheet tool for end-user development of organizational applications
Posters
A:
Matt McCutchen
MIT
,
A:
Shachar Itzhaky
Technion, Israel
,
A:
Daniel Jackson
MIT
,
A:
Willow Jarvis
MIT
Link to publication
18:57
2m
Poster
Scaling the REPL Experience
Posters
A:
Yair Chuchem
Lamdu
,
A:
Eyal Lotem
Lamdu
Link to publication
18:59
2m
Poster
Sound Deadlock Prediction
Posters
A:
Christian Gram Kalhauge
University of California, Los Angeles
,
A:
Jens Palsberg
University of California, Los Angeles
Link to publication
19:01
2m
Poster
Distributed System Development with ScalaLoci
Posters
A:
Pascal Weisenburger
Technische Universität Darmstadt
,
A:
Mirko Köhler
,
A:
Guido Salvaneschi
TU Darmstadt
Link to publication
19:03
2m
Poster
Safe Replication through Bounded Concurrency Verification
Posters
A:
Gowtham Kaki
Purdue University
,
A:
Kapil Earanky
Purdue University
,
A:
KC Sivaramakrishnan
University of Cambridge
,
A:
Suresh Jagannathan
Purdue University
Link to publication
19:05
2m
Poster
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
Posters
A:
Jyothi Vedurada
IIT Madras
,
A:
V Krishna Nandivada
IIT Madras
Link to publication
19:07
2m
Poster
Margin Notes: Automatic code documentation with recorded examples from runtime
Posters
A:
Geoffrey Litt
Link to publication
19:09
2m
Poster
Refinement in object-sensitivity points-to analysis via slicing
Posters
A:
Girish Maskeri Rama
Infosys Limited
,
A:
Raghavan Komondoor
Indian Institute of Science, Bangalore
,
A:
Himanshu Sharma
Indian Institute of Science, Bangalore
Link to publication
19:11
2m
Poster
The Software Architecture of Economy Mechanics in Digital Games
Posters
A:
Wilson Mizutani
University of São Paulo
Link to publication
19:13
2m
Poster
Finding Broken Promises in Asynchronous JavaScript Programs
Posters
A:
Saba Alimadadi
Northeastern University
,
A:
Di Zhong
Northeastern University, USA
,
A:
Magnus Madsen
Aarhus University
,
A:
Frank Tip
Northeastern University
Link to publication
19:16
2m
Poster
Programming by example: efficient, but not "helpful"
Posters
A:
Mark Santolucito
Yale University, USA
,
A:
Drew Goldman
Roslyn High School
,
A:
Allyson Weseley
Roslyn High School
,
A:
Ruzica Piskac
Yale University, USA
Link to publication
19:18
2m
Poster
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Posters
A:
Benoit Daloze
JKU Linz, Austria
,
A:
Arie Tal
Technion
,
A:
Stefan Marr
University of Kent
,
A:
Hanspeter Mössenböck
JKU Linz, Austria
,
A:
Erez Petrank
Technion
Link to publication
19:20
2m
Poster
Symmetry-based Optimization of Interaction Kernels
Posters
A:
Shigeyuki Sato
Kochi University of Technology
19:22
2m
Poster
A Practical Unification of Multi-Stage Programming and Macros
Posters
A:
Nicolas Stucki
EPFL, Switzerland
,
A:
Aggelos Biboudis
EPFL, Switzerland
,
A:
Martin Odersky
EPFL, Switzerland
Link to publication
19:24
2m
Poster
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
Posters
A:
Benoît Ries
University of Luxembourg
,
A:
Alfredo Capozucca
University of Luxembourg
,
A:
Nicolas Guelfi
University of Luxembourg
Link to publication
19:26
2m
Poster
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
Posters
A:
James Koppel
MIT
,
A:
Varot Premtoon
MIT
,
A:
Armando Solar-Lezama
MIT CSAIL
Link to publication
19:28
2m
Poster
Anomaly Analyses for Feature-Model Evolution
Posters
A:
Michael Nieke
TU Braunschweig, Germany
,
A:
Christoph Seidl
Technische Universität Braunschweig
,
A:
Jacopo Mauro
University of Southern Denmark
,
A:
Thomas Thüm
University of Ulm
,
A:
Ingrid Chieh Yu
University of Oslo
,
A:
Felix Franzke
TU Braunschweig
Link to publication
19:30
2m
Poster
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Posters
A:
Yin Liu
Virginia Tech
,
A:
Kijin An
Virginia Tech
,
A:
Eli Tilevich
Virginia Tech
Link to publication
19:32
2m
Poster
Meta-programming for cross-domain tensor optimizations
Posters
A:
Adilla Susungi
MINES ParisTech, France
,
A:
Norman A. Rink
TU Dresden, Germany
,
A:
Albert Cohen
Google
,
A:
Jeronimo Castrillon
TU Dresden, Germany
,
A:
Claude Tadonki
MINES ParisTech, France
Link to publication
19:34
2m
Poster
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Posters
A:
Junho Lee
Korea University
,
A:
Dowon Song
Korea University
,
A:
Sunbeom So
Korea University
,
A:
Hakjoo Oh
Korea University
Link to publication
19:36
2m
Poster
Robust Relational Layout Synthesis from Examples for Android
Posters
A:
Pavol Bielik
ETH Zürich
,
A:
Marc Fischer
ETH Zurich
,
A:
Martin Vechev
ETH Zürich
Link to publication
19:38
2m
Poster
A Derivation Framework for Dependent Security Label Inference
Posters
A:
Peixuan Li
Penn State University
,
A:
Danfeng Zhang
Pennsylvania State University
Link to publication
19:40
2m
Poster
An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
Posters
A:
Zhangxiaowen Gong
University of Illinois at Urbana-Champaign
,
A:
Zhi Chen
University of California, Irvine
,
A:
Justin Szaday
University of Illinois at Urbana-Champaign
,
A:
David Wong
Intel
,
A:
Zehra Sura
IBM Research
,
A:
Neftali Watkinson
,
A:
Saeed Maleki
Microsoft Research
,
A:
David Padua
University of Illinois at Urbana-Champaign
,
A:
Alexander Veidenbaum
University of California, Irvine
,
A:
Alexandru Nicolau
University of California, Irvine
,
A:
Josep Torrellas
University of Illinois at Urbana-Champaign
Link to publication
19:42
2m
Poster
Consolidating Inheritance and Scoping into a Context Abstraction
Posters
A:
Matan I. Peled
Technion—Israel Institute of Technology
19:44
2m
Talk
Test Generation for Higher-Order Functions in Dynamic Languages
Posters
A:
Marija Selakovic
TU Darmstadt, Germany
,
A:
Michael Pradel
TU Darmstadt
,
A:
Rezwana Karim Nawrin
Samsung Research America
,
A:
Frank Tip
Northeastern University
Link to publication
19:46
2m
Poster
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
Posters
A:
Juan Fumero
The University of Manchester
,
A:
Christos Kotselidis
The University of Manchester
Link to publication
19:48
2m
Poster
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms
Posters
A:
Jesse Zaman
Vrije Universiteit Brussel
,
A:
Kennedy Kambona
Vrije Universiteit Brussel
,
A:
Wolfgang De Meuter
Vrije Universiteit Brussel
Link to publication
19:50
2m
Poster
Explaining Spreadsheets with Spreadsheets
Posters
A:
Jácome Cunha
University of Minho
,
A:
Mihai Dan
Oregon State University
,
A:
Martin Erwig
Oregon State University
,
A:
Danila Fedorin
Oregon State University
,
A:
Alex Grejuc
Oregon State University
Link to publication
19:53
2m
Poster
Skitter: A DSL for Distributed Reactive Workflows
Posters
A:
Mathijs Saey
Vrije Universiteit Brussel
,
A:
Joeri De Koster
Vrije Universiteit Brussel, Belgium
,
A:
Wolfgang De Meuter
Vrije Universiteit Brussel
Link to publication
19:55
2m
Poster
Thread-Safe Reactive Programming
Posters
A:
Joscha Drechsler
Technische Universität Darmstadt
,
A:
Ragnar Mogk
Technische Universität Darmstadt
,
A:
Guido Salvaneschi
TU Darmstadt
,
A:
Mira Mezini
TU Darmstadt
Link to publication
19:57
2m
Poster
Automated Rule Inference for Cryptographic APIs through Source Code Repositories
Posters
A:
Anna-Katharina Wickert
TU Darmstadt
Link to publication
19:59
2m
Poster
Observable atomic consistency for CvRDTs
Posters
A:
Xin Zhao
KTH Royal Institute of Technology
,
A:
Philipp Haller
KTH, Sweden
Link to publication
20:01
2m
Poster
Conflict Resolution for Structured Merge via Version Space Algebra
Posters
A:
Fengmin Zhu
,
A:
Fei He
Tsinghua University
Link to publication
20:03
2m
Poster
Observing the Uptake of a Language Change Making Strings Immutable
Posters
A:
Manuel Maarek
Heriot-Watt University
Link to publication
20:05
2m
Poster
Secure Serverless Computing Using Dynamic Information Flow Control
Posters
A:
Kalev Alpernas
Tel Aviv University
,
A:
Cormac Flanagan
University of California, Santa Cruz
,
A:
Sadjad Fouladi
Stanford University
,
A:
Leonid Ryzhyk
VMware Research
,
A:
Mooly Sagiv
Tel Aviv University
,
A:
Thomas Schmitz
,
A:
Keith Winstein
Stanford University
Link to publication
20:07
2m
Poster
Understanding Java Usability by Mining GitHub Repositories
Posters
A:
Mark Lemay
Link to publication
20:09
2m
Poster
Compiling Distributed System Specifications into Implementations
Posters
A:
Matthew Do
Computer Science, University of British Columbia
,
A:
Renato Mascarenhas
Computer Science, University of British Columbia
,
A:
Finn Hacket
Computer Science, University of Waterloo
,
A:
Brandon Zhang
Computer Science, University of British Columbia
,
A:
Yi Fan (Bob) Yang
Facebook
,
A:
Adam Geller
Computer Science, University of British Columbia
,
A:
Ivan Beschastnikh
Computer Science, University of British Columbia
20:11
2m
Poster
From Debugging Towards Live Tuning of Reactive Applications
Posters
A:
Ragnar Mogk
Technische Universität Darmstadt
,
A:
Pascal Weisenburger
Technische Universität Darmstadt
,
A:
Julian Haas
Technische Universität Darmstadt
,
A:
David Richter
Technical University of Darmstadt
Link to publication
20:13
2m
Poster
Data Programming (DP): A new way of programming user interfaces
Posters
A:
Blaine Bell
Link to publication
20:15
2m
Poster
Object-Oriented Recovery for Non-Volatile Memory
Posters
A:
Nachshon Cohen
EPFL, Switzerland
,
A:
David T. Aksun
EPFL
,
A:
James Larus
EPFL
Link to publication
20:17
2m
Poster
METACO, a Type Checker Generator
Posters
A:
Haochen Xie
Nagoya University
20:19
2m
Poster
GraphIt - A High-Performance Graph DSL
Posters
A:
Yunming Zhang
,
A:
Mengjiao Yang
MIT CSAIL
,
A:
Riyadh Baghdadi
MIT
,
A:
Shoaib Kamil
Adobe
,
A:
Julian Shun
MIT
,
A:
Saman Amarasinghe
MIT
Link to publication
20:21
2m
Poster
Precision-Guided Context Sensitivity for Pointer Analysis
Posters
A:
Yue Li
Aarhus University, Denmark
,
A:
Tian Tan
Aarhus University, Denmark
,
A:
Anders Møller
Aarhus University
,
A:
Yannis Smaragdakis
University of Athens
Link to publication
20:23
2m
Poster
QDB: From Quantum Algorithms Towards Correct Quantum Programs
Posters
A:
Yipeng Huang
Princeton University
,
A:
Margaret Martonosi
Link to publication
20:25
2m
Talk
Toward a Language-Parametric Code Completion Editor Service
Posters
Daniel A. A. Pelsmaeker
Delft University of Technology, Netherlands
,
Eelco Visser
Delft University of Technology
Link to publication
20:27
2m
Poster
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Posters
A:
Laurent Christophe
VUB
,
A:
Coen De Roover
Vrije Universiteit Brussel
,
A:
Elisa Gonzalez Boix
Vrije Universiteit Brussel
,
A:
Wolfgang De Meuter
Vrije Universiteit Brussel
Link to publication
Thu 8 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
12:00 - 13:30
Lunch
Social
at
Georgian
Fri 9 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
12:00 - 13:30
Lunch
Social
at
Georgian
Wed 7 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
Georgian
Social
Lunch
Posters
Poster & SRC
Thu 8 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
12:00
30
13:00
30
Georgian
Social
Lunch
Fri 9 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
12:00
30
13:00
30
Georgian
Social
Lunch
Wed 7 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
Georgian
SPLASH Posters
Faster Variational Execution with Transparent Bytecode Transformation
18:00 - 18:02
SPLASH Posters
Guiding Inlining Decisions by Identifying Post-Inlining Transformations
18:02 - 18:04
SPLASH Posters
DeepBugs: A Learning Approach to Name-based Bug Detection
18:04 - 18:06
SPLASH Posters
Continuous Model Validation using Reference Attribute Grammars
18:06 - 18:08
SPLASH Posters
Modular Language Composition for the Masses
18:08 - 18:10
SPLASH Posters
Generating a Java Library from Its Specification
18:10 - 18:12
SPLASH Posters
Scopes as Types
18:12 - 18:14
SPLASH Posters
Compositional Programming and Testing of Dynamic Distributed Systems
18:14 - 18:16
SPLASH Posters
Fixing Machine Learning with Solver-Aided Languages
18:16 - 18:18
SPLASH Posters
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
18:18 - 18:20
SPLASH Posters
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stoc ...
18:20 - 18:22
SPLASH Posters
Speeding up Symbolic Reasoning for Relational Queries
18:22 - 18:24
SPLASH Posters
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
18:24 - 18:26
SPLASH Posters
Exploring feature interactions without specifications: a controlled exp ...
18:26 - 18:28
SPLASH Posters
Obsidian: A Safer Blockchain Programming Language
18:28 - 18:30
SPLASH Posters
Grammar Induction for Programming Languages using Skip-Gram Model
18:30 - 18:32
SPLASH Posters
Declarative Specification of Indentation Rules: A Tooling Perspective o ...
18:32 - 18:34
SPLASH Posters
Incremental compilation for Stratego
18:34 - 18:36
SPLASH Posters
Migrating Custom DSL Implementations to a Language Workbench: An Indust ...
18:36 - 18:39
SPLASH Posters
Reconciling High-level Optimizations and Low-level Code in LLVM
18:39 - 18:41
SPLASH Posters
Identifying Barriers to Adoption for Rust through Online Discourse
18:41 - 18:43
SPLASH Posters
Chocola: Integrating Futures, Actors, and Transactions
18:43 - 18:45
SPLASH Posters
SWAN: A Swift Program Analysis Framework
18:45 - 18:47
SPLASH Posters
Migrating Business Logic to an Incremental Computing DSL: A Case Study
18:47 - 18:49
SPLASH Posters
Multi-Device Grace
18:49 - 18:51
SPLASH Posters
Handling inconsistencies in software product line using a rule-based ap ...
18:51 - 18:53
SPLASH Posters
Storm: A Language Platform for Interacting and Extensible Languages (To ...
18:53 - 18:55
SPLASH Posters
Espalier: a structured spreadsheet tool for end-user development of org ...
18:55 - 18:57
SPLASH Posters
Scaling the REPL Experience
18:57 - 18:59
SPLASH Posters
Sound Deadlock Prediction
18:59 - 19:01
SPLASH Posters
Distributed System Development with ScalaLoci
19:01 - 19:03
SPLASH Posters
Safe Replication through Bounded Concurrency Verification
19:03 - 19:05
SPLASH Posters
Identifying Refactoring Opportunities for Replacing Type Code with Subc ...
19:05 - 19:07
SPLASH Posters
Margin Notes: Automatic code documentation with recorded examples from ...
19:07 - 19:09
SPLASH Posters
Refinement in object-sensitivity points-to analysis via slicing
19:09 - 19:11
SPLASH Posters
The Software Architecture of Economy Mechanics in Digital Games
19:11 - 19:13
SPLASH Posters
Finding Broken Promises in Asynchronous JavaScript Programs
19:13 - 19:16
SPLASH Posters
Programming by example: efficient, but not "helpful"
19:16 - 19:18
SPLASH Posters
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
19:18 - 19:20
SPLASH Posters
Symmetry-based Optimization of Interaction Kernels
19:20 - 19:22
SPLASH Posters
A Practical Unification of Multi-Stage Programming and Macros
19:22 - 19:24
SPLASH Posters
Messir, a Text-first DSL-based Approach for UML Requirements Engineerin ...
19:24 - 19:26
SPLASH Posters
One Tool, Many Languages: Language-Parametric Transformation with Incre ...
19:26 - 19:28
SPLASH Posters
Anomaly Analyses for Feature-Model Evolution
19:28 - 19:30
SPLASH Posters
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time C ...
19:30 - 19:32
SPLASH Posters
Meta-programming for cross-domain tensor optimizations
19:32 - 19:34
SPLASH Posters
Automatic Diagnosis and Correction of Logical Errors for Functional Pro ...
19:34 - 19:36
SPLASH Posters
Robust Relational Layout Synthesis from Examples for Android
19:36 - 19:38
SPLASH Posters
A Derivation Framework for Dependent Security Label Inference
19:38 - 19:40
SPLASH Posters
An Empirical Study of the Effect of Source-level Loop Transformations o ...
19:40 - 19:42
SPLASH Posters
Consolidating Inheritance and Scoping into a Context Abstraction
19:42 - 19:44
SPLASH Posters
Test Generation for Higher-Order Functions in Dynamic Languages
19:44 - 19:46
SPLASH Posters
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardwar ...
19:46 - 19:48
SPLASH Posters
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-b ...
19:48 - 19:50
SPLASH Posters
Explaining Spreadsheets with Spreadsheets
19:50 - 19:53
SPLASH Posters
Skitter: A DSL for Distributed Reactive Workflows
19:53 - 19:55
SPLASH Posters
Thread-Safe Reactive Programming
19:55 - 19:57
SPLASH Posters
Automated Rule Inference for Cryptographic APIs through Source Code Rep ...
19:57 - 19:59
SPLASH Posters
Observable atomic consistency for CvRDTs
19:59 - 20:01
SPLASH Posters
Conflict Resolution for Structured Merge via Version Space Algebra
20:01 - 20:03
SPLASH Posters
Observing the Uptake of a Language Change Making Strings Immutable
20:03 - 20:05
SPLASH Posters
Secure Serverless Computing Using Dynamic Information Flow Control
20:05 - 20:07
SPLASH Posters
Understanding Java Usability by Mining GitHub Repositories
20:07 - 20:09
SPLASH Posters
Compiling Distributed System Specifications into Implementations
20:09 - 20:11
SPLASH Posters
From Debugging Towards Live Tuning of Reactive Applications
20:11 - 20:13
SPLASH Posters
Data Programming (DP): A new way of programming user interfaces
20:13 - 20:15
SPLASH Posters
Object-Oriented Recovery for Non-Volatile Memory
20:15 - 20:17
SPLASH Posters
METACO, a Type Checker Generator
20:17 - 20:19
SPLASH Posters
GraphIt - A High-Performance Graph DSL
20:19 - 20:21
SPLASH Posters
Precision-Guided Context Sensitivity for Pointer Analysis
20:21 - 20:23
SPLASH Posters
QDB: From Quantum Algorithms Towards Correct Quantum Programs
20:23 - 20:25
SPLASH Posters
Toward a Language-Parametric Code Completion Editor Service
20:25 - 20:27
SPLASH Posters
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack ...
20:27 - 20:30
x
Thu 21 Nov 12:53