Future Programming Workshop 2015
Mon 26 - Tue 27 October 2015
Pittsburgh, Pennsylvania, United States
co-located with
SPLASH 2015
Toggle navigation
Attending
Conference Venue: Sheraton Station Square Hotel
Conference Banquet: Carnegie Museum of Natural History
Program
Complete Program
Your Program
Mon 26 Oct
Tue 27 Oct
Track/Call
Organization
Future Programming Workshop 2015 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Series
Future Programming Workshop 2015
FP
Sign in
Sign up
SPLASH 2015
(
series
) /
Future Programming Workshop 2015 (
series
) /
Sheraton Station Square Hotel
/
Room information: Grand Station 1
Venue
Sheraton Station Square Hotel
Room name
Grand Station 1
Floor
1
Room Information
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
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-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:30) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02: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+03: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+06: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+10: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
Mon 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
08:30 - 10:00
Session 1
GPCE
at
Grand Station 1
Chair(s):
Anirüddhā Gokhālé
Vanderbilt University
08:30
90m
Talk
GPCE Keynote: "Technologies to Enable the Next-Generation Stadium and Fan Experience" by Priya Narasimhan
GPCE
Priya Narasimhan
Carnegie Mellon University
10:30 - 12:00
Session 2
GPCE
at
Grand Station 1
Chair(s):
Tiark Rompf
Purdue & Oracle Labs
10:30
10m
Day opening
Opening Remarks
GPCE
10:40
30m
Talk
Shallow Embedding of DSLs via Online Partial Evaluation
GPCE
Roland Leißa
,
Klaas Boesche
Saarland University
,
Sebastian Hack
,
Richard Membarth
German Research Center for Artificial Intelligence
,
Philipp Slusallek
German Research Center for Artificial Intelligence
11:10
30m
Talk
Almost First-Class Language Embedding: Taming Staged Embedded DSLs
GPCE
Maximilian Scherr
,
Shigeru Chiba
University of Tokyo
11:40
20m
Talk
Generating Safe Boundary APIs between Typed EDSLs and their Environments
GPCE
Bob Reynders
iMinds - Distrinet, KU Leuven
,
Dominique Devriese
iMinds - Distrinet, KU Leuven
,
Frank Piessens
iMinds - Distrinet, KU Leuven
13:30 - 15:00
Session 3
GPCE
at
Grand Station 1
Chair(s):
Ulrik Pagh Schultz
University of Southern Denmark
13:30
30m
Talk
An Empirical Study on Configuration-Related Type Issues
GPCE
Flávio Medeiros
Federal University of Campina Grande
,
Iran Rodrigues
Federal University of Alagoas
,
Márcio Ribeiro
Federal University of Alagoas (UFAL)
,
Leopoldo Teixeira
Federal University of Pernambuco
,
Rohit Gheyi
UFCG, Brazil
14:00
30m
Talk
Analysing the Kconfig Semantics and its Analysis Tools
GPCE
Sascha El-Sharkawy
University of Hildesheim
,
Adam Krafczyk
University of Hildesheim
,
Klaus Schmid
Stiftung Universistat Hildesheim
14:30
30m
Talk
Migrating Large Object-oriented Applications into Component-based ones: Instantiation and Inheritance Transformation
GPCE
Zakarea Al Shara
LIRMM, CNRS and University of Montpellier
,
Abdelhak Seriai
LIRMM, CNRS and University of Montpellier
,
Chouki Tibermacine
LIRMM, CNRS and University of Montpellier
,
Hinde Bouziane
LIRMM, CNRS and University of Montpellier
,
Christophe Dony
LIRMM, CNRS and University of Montpellier
,
Anas Shatnawi
LIRMM, CNRS and University of Montpellier
15:30 - 17:30
Session 4
GPCE
at
Grand Station 1
Chair(s):
Tijs van der Storm
CWI
15:30
30m
Talk
Safer SDN programming through Arbiter
GPCE
Michael Lopez
Texas A&M University
,
C. Jasson Casey
Texas A&M University and Flowgrammable.org
,
Gabriel Dos Reis
Texas A&M University and Microsoft
16:00
30m
Talk
Contract-Based General-Purpose GPU Programming
GPCE
Alexey Kolesnichenko
ETH Zurich
,
Chris Poskitt
ETH Zurich, Switzerland
,
Sebastian Nanz
ETH Zurich
,
Bertrand Meyer
ETH Zurich, Innopolis University and Eiffel Software
Link to publication
DOI
Pre-print
Media Attached
File Attached
16:30
30m
Talk
Inverse macro in Scala
GPCE
Hiroshi Yamaguchi
The University of Tokyo
,
Shigeru Chiba
University of Tokyo
17:00
20m
Talk
Towards Tool Support for Spreadsheet-based Domain-Specific Languages
GPCE
Sorin Adam
Conpleks Innovation
,
Ulrik Pagh Schultz
University of Southern Denmark
Tue 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 12:00
Session 6
GPCE
at
Grand Station 1
Chair(s):
Matthew Flatt
University of Utah
10:30
30m
Talk
Native-2-Native: Automated Cross-Platform Code Synthesis from Web-Based Programming Resources
GPCE
Antuan Byalik
Virginia Tech
,
Sanchit Chadha
Virginia Tech
,
Eli Tilevich
Virginia Tech
Media Attached
File Attached
11:00
20m
Talk
CLOP: A multi-stage compiler to seamlessly embed heterogeneous code
GPCE
Dmitri Makarov
University of Lugano
,
Matthias Hauswirth
University of Lugano, Switzerland
Media Attached
File Attached
11:20
20m
Talk
Composing Code Generators for C&C ADLs With Application-Specific Behavior Languages (Tool Demonstration)
GPCE
Bernhard Rumpe
RWTH Aachen University, Germany
,
Andreas Wortmann
RWTH Aachen University
,
Jan Oliver Ringert
Tel Aviv University
Media Attached
File Attached
11:40
20m
Talk
Orchestrating Masses of Sensors: A Design-Driven Development Approach
GPCE
Milan Kabáč
University of Bordeaux / Inria Bordeaux / LaBRI
,
Charles Consel
University of Bordeaux
Media Attached
13:30 - 15:00
Session 7
GPCE
at
Grand Station 1
Chair(s):
Christian Kästner
Carnegie Mellon University
13:30
30m
Talk
Generating Reactive Programs for Graphical User Interfaces from Multi-way Dataflow Constraint Systems
GPCE
Gabriel Foust
Texas A & M University
,
Jaakko Järvi
Texas A&M University
,
Sean Parent
Adobe Systems, Inc.
14:00
30m
Talk
POP-PL: A Patient-Oriented Prescription Programming Language
GPCE
Spencer P. Florence
Northwestern University
,
Burke Fetscher
Northwestern University
,
Matthew Flatt
University of Utah
,
William H Temps
Northwestern University Feinberg School of Medicine, Departmentof Dermatology
,
Tina Kiguradze
Northwestern University Feinberg School of Medicine, Departmentof Dermatology
,
Dennis P. West
Northwestern University Feinberg School of Medicine, Departmentof Dermatology
,
Charlotte Niznik
Northwestern University Feinberg School of Medicine, Departmentof Dermatology
,
Paul R. Yarnold
Optimal Data Analysis LLC
,
Robert Bruce Findler
Northwestern University
,
Steven M. Belknap
Northwestern University Feinberg School of Medicine, Departmentof Dermatology
14:30
30m
Talk
Lightweight, Generative Variant Exploration for High-Performance Graphics Applications
GPCE
Kai Selgrad
Friedrich-Alexander-Universität Erlangen-Nürnberg
,
Alexander Lier
Friedrich-Alexander-Universität Erlangen-Nürnberg
,
Franz Köferl
Friedrich-Alexander-Universität Erlangen-Nürnberg
,
Marc Stamminger
Friedrich-Alexander-Universität Erlangen-Nürnberg
,
Daniel Lohmann
Friedrich-Alexander University of Erlangen-Nürnberg
15:30 - 17:30
Session 8
GPCE
at
Grand Station 1
Chair(s):
Jaakko Järvi
Texas A&M University
15:30
30m
Talk
Modular Interpreters for the Masses: Implicit Context Propagation Using Object Algebras
GPCE
Pablo Inostroza
Centrum Wiskunde & Informatica
,
Tijs van der Storm
CWI
16:00
30m
Talk
Addressing Metamodel Revisions in Model-based Software Product Lines
GPCE
Jaime Font
San Jorge University
,
Lorena Arcega
San Jorge University
,
Øystein Haugen
Østfold University College
,
Carlos Cetina
San Jorge University
16:30
30m
Talk
Generative Software Product Line Development using Variability-Aware Design Patterns
GPCE
Christoph Seidl
Technische Universität Braunschweig
,
Sven Schuster
Technische Universität Braunschweig
,
Ina Schaefer
17:00
20m
Talk
Model Querying with Query Models
GPCE
Carlos Noguera
Vrije Universiteit Brussel
,
Viviane Jonckers
Vrije Universiteit Brussel
17:20
10m
Day closing
GPCE'15 Closing and GPCE'16 Announcement
GPCE
Wed 28 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 12:00
1. Model Checking
SPLASH OOPSLA
at
Grand Station 1
Chair(s):
Julian Dolby
IBM Research
10:30
22m
Talk
Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach
SPLASH OOPSLA
Anthony Widjaja Lin
Yale-NUS College, Singapore
,
Matthew Hague
Royal Holloway University of London, UK
,
C.-H. Luke Ong
University of Oxford, UK
Link to publication
10:52
22m
Talk
SATCheck: SAT-Directed Stateless Model Checking for SC and TSO
SPLASH OOPSLA
Brian Demsky
University of California at Irvine, USA
,
Patrick Lam
University of Waterloo, Canada
Link to publication
11:15
22m
Talk
Programming with Enumerable Sets of Structures
SPLASH OOPSLA
Ivan Kuraj
Massachusetts Institute of Technology, USA
,
Viktor Kunčak
EPFL, Switzerland
,
Daniel Jackson
Massachusetts Institute of Technology, USA
DOI
11:37
22m
Talk
Stateless Model Checking of Event-Driven Applications
SPLASH OOPSLA
Casper Svenning Jensen
Aarhus University, Denmark
,
Anders Møller
Aarhus University
,
Veselin Raychev
ETH Zurich, Switzerland
,
Dimitar Dimitrov
ETH Zurich, Switzerland
,
Martin Vechev
ETH Zurich, Switzerland
DOI
13:30 - 15:00
3. Verification
SPLASH OOPSLA
at
Grand Station 1
Chair(s):
Guangtai Liang
IBM Research - China
13:30
22m
Talk
Conditionally Correct Superoptimization
SPLASH OOPSLA
Rahul Sharma
Stanford University
,
Eric Schkufza
Stanford University
,
Berkeley Churchill
Stanford University
,
Alex Aiken
Stanford University
DOI
13:52
22m
Talk
Selective Control-Flow Abstraction via Jumping
SPLASH OOPSLA
Sam Blackshear
University of Colorado at Boulder, USA
,
Bor-Yuh Evan Chang
University of Colorado at Boulder, USA
,
Manu Sridharan
Samsung Research America
Link to publication
14:15
22m
Talk
Automating Grammar Comparison
SPLASH OOPSLA
Ravichandhran Madhavan
EPFL, Switzerland
,
Mikaël Mayer
EPFL, Switzerland
,
Sumit Gulwani
Microsoft Research, USA
,
Viktor Kunčak
EPFL, Switzerland
Link to publication
14:37
22m
Talk
Reasoning about the POSIX File System: Local Update and Global Pathnames
SPLASH OOPSLA
Gian Ntzik
Imperial College London, UK
,
Philippa Gardner
Imperial College London, UK
DOI
15:30 - 17:00
4. Concurrency
SPLASH OOPSLA
at
Grand Station 1
Chair(s):
Wolfgang De Meuter
Vrije Universiteit Brussel
15:30
22m
Talk
AutoMO: Automatic Inference of Memory Order Parameters for C/C++11
SPLASH OOPSLA
Peizhao Ou
University of California at Irvine, USA
,
Brian Demsky
University of California at Irvine, USA
DOI
15:52
22m
Talk
Valor: Efficient, Software-Only Region Conflict Exceptions
SPLASH OOPSLA
Swarnendu Biswas
Ohio State University, USA
,
Minjia Zhang
Ohio State University, USA
,
Michael D. Bond
Ohio State University, USA
,
Brandon Lucia
Carnegie Mellon University, USA
DOI
Pre-print
16:15
22m
Talk
Automatic Memory Reclamation for Lock-Free Data Structures
SPLASH OOPSLA
Nachshon Cohen
Technion, Israel
,
Erez Petrank
Technion, Israel
DOI
16:37
22m
Talk
Protocol-Based Verification of Message-Passing Parallel Programs
SPLASH OOPSLA
Hugo A. López
Technical University of Denmark
,
Eduardo Marques
University of Lisbon, Portugal
,
Francisco Martins
University of Lisbon, Portugal
,
Nicholas Ng
Imperial College London, UK
,
César Santos
University of Lisbon, Portugal
,
Vasco T. Vasconcelos
University of Lisbon, Portugal
,
Nobuko Yoshida
Imperial College London, UK
Link to publication
Thu 29 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 12:00
5. Mobility
SPLASH OOPSLA
at
Grand Station 1
Chair(s):
Lukasz Ziarek
State University of New York (SUNY) Buffalo
10:30
22m
Talk
Interactively Verifying Absence of Explicit Information Flows in Android Apps
SPLASH OOPSLA
Osbert Bastani
Stanford University
,
Saswat Anand
Stanford University
,
Alex Aiken
Stanford University
DOI
Media Attached
10:52
22m
Talk
ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access
SPLASH OOPSLA
Lucas Brutschy
ETH Zurich, Switzerland
,
Pietro Ferrara
IBM Research, USA
,
Omer Tripp
IBM Research, USA
,
Marco Pistoia
IBM Research, USA
Pre-print
Media Attached
11:15
22m
Talk
Scalable Race Detection for Android Applications
SPLASH OOPSLA
Pavol Bielik
ETH Zurich, Switzerland
,
Veselin Raychev
ETH Zurich, Switzerland
,
Martin Vechev
ETH Zurich, Switzerland
DOI
Media Attached
11:37
22m
Talk
Versatile yet Lightweight Record-and-Replay for Android
SPLASH OOPSLA
Yongjian Hu
University of California at Riverside, USA
,
Tanzirul Azim
University of California at Riverside, USA
,
Iulian Neamtiu
University of California at Riverside, USA
DOI
Media Attached
13:30 - 15:00
7. Runtime
SPLASH OOPSLA
at
Grand Station 1
Chair(s):
Michael Pradel
TU Darmstadt, Germany
13:30
22m
Talk
Accurate Profiling in the Presence of Dynamic Compilation
SPLASH OOPSLA
Yudi Zheng
University of Lugano
,
Lubomír Bulej
Università della Svizzera italiana
,
Walter Binder
University of Lugano
DOI
13:52
22m
Talk
Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures
SPLASH OOPSLA
Martin Aigner
University of Salzburg, Austria
,
Christoph Kirsch
University of Salzburg, Austria
,
Michael Lippautz
University of Salzburg, Austria
,
Ana Sokolova
University of Salzburg, Austria
DOI
Pre-print
Media Attached
14:15
22m
Talk
Probability Type Inference for Flexible Approximate Programming
SPLASH OOPSLA
Brett Boston
Massachusetts Institute of Technology, USA
,
Adrian Sampson
Cornell University & Microsoft Research
,
Dan Grossman
University of Washington, USA
,
Luis Ceze
University of Washington, USA
Pre-print
Media Attached
14:37
22m
Talk
Cross-Layer Memory Management for Managed Language Applications
SPLASH OOPSLA
Michael Jantz
University of Tennessee, USA
,
Forrest Robinson
University of Kansas, USA
,
Prasad Kulkarni
University of Kansas
,
Kshitij Doshi
Intel, USA
DOI
Media Attached
15:30 - 17:30
8. Static Analysis
SPLASH OOPSLA
at
Grand Station 1
Chair(s):
Werner Dietl
University of Waterloo
15:30
24m
Talk
Static Analysis of Event-Driven Node.js JavaScript Applications
SPLASH OOPSLA
Magnus Madsen
University of Waterloo
,
Frank Tip
Samsung Research America
,
Ondřej Lhoták
University of Waterloo
DOI
Media Attached
15:54
24m
Talk
EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties
SPLASH OOPSLA
Yu Feng
University of Texas at Austin, USA
,
Xinyu Wang
UT Austin
,
Işıl Dillig
University of Texas at Austin, USA
,
Calvin Lin
University of Texas at Austin, USA
Pre-print
Media Attached
16:18
24m
Talk
Giga-Scale Exhaustive Points-To Analysis for Java in Under a Minute
SPLASH OOPSLA
Jens Dietrich
Massey University, New Zealand
,
Nicholas Hollingum
University of Sydney, Australia
,
Bernhard Scholz
Oracle Labs, Australia
DOI
Media Attached
16:42
24m
Talk
Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis
SPLASH OOPSLA
David Darais
University of Maryland, College Park
,
Matthew Might
University of Utah, USA
,
David Van Horn
University of Maryland at College Park, USA
DOI
Media Attached
17:06
24m
Talk
Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation
SPLASH OOPSLA
Hakjoo Oh
Korea University, South Korea
,
Hongseok Yang
University of Oxford, UK
,
Kwangkeun Yi
Seoul National University, South Korea
DOI
Media Attached
Fri 30 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 12:00
9. Compilation & Dynamic Analysis
SPLASH OOPSLA
at
Grand Station 1
Chair(s):
Frank Tip
Samsung Research America
10:30
22m
Talk
Runtime Pointer Disambiguation
SPLASH OOPSLA
Pericles Rafael Alves
Federal University of Minas Gerais, Brazil
,
Fabian Gruber
INRIA, France
,
Johannes Doerfert
Saarland University
,
Alexandros Labrineas
INRIA, France
,
Tobias Grosser
ETH Zurich, Switzerland
,
Fabrice Rastello
INRIA, France
,
Fernando Magno Quintão Pereira
Federal University of Minas Gerais, Brazil
Link to publication
10:52
22m
Talk
Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities
SPLASH OOPSLA
Luca Della Toffola
ETH Zurich, Switzerland
,
Michael Pradel
TU Darmstadt, Germany
,
Thomas Gross
ETH Zurich, Switzerland
DOI
11:15
22m
Talk
RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization
SPLASH OOPSLA
Wen-Chuan Lee
Purdue University, USA
,
Tao Bao
Purdue University, USA
,
Yunhui Zheng
IBM Research
,
Xiangyu Zhang
Purdue University, USA
,
Keval Vora
University of California at Riverside, USA
,
Rajiv Gupta
University of California at Riverside, USA
DOI
11:37
22m
Talk
Automated Backward Error Analysis for Numerical Code
SPLASH OOPSLA
Zhoulai Fu
University of California at Davis, USA
,
Zhaojun Bai
University of California at Davis, USA
,
Zhendong Su
University of California at Davis, USA
DOI
13:30 - 15:00
11. Programming Language Design
SPLASH OOPSLA
at
Grand Station 1
Chair(s):
Gary T. Leavens
University of Central Florida
13:30
22m
Talk
Remote-Scope Promotion: Clarified, Rectified, and Verified
SPLASH OOPSLA
John Wickerson
Imperial College London
,
Mark Batty
University of Cambridge
,
Bradford M. Beckmann
Advanced Micro Devices, Inc
,
Alastair F. Donaldson
Imperial College London
DOI
Media Attached
13:52
22m
Talk
Incremental Computation with Names
SPLASH OOPSLA
Matthew Hammer
University of Maryland, College Park
,
Jana Dunfield
University of British Columbia, Canada
,
Kyle Headley
University of Maryland, College Park
,
Nicholas Labich
University of Maryland at College Park, USA
,
Jeffrey S. Foster
University of Maryland at College Park, USA
,
Michael Hicks
University of Maryland at College Park, USA
,
David Van Horn
University of Maryland at College Park, USA
DOI
14:15
22m
Talk
Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Languages
SPLASH OOPSLA
Tim Felgentreff
HPI, Germany
,
Todd Millstein
University of California at Los Angeles, USA
,
Alan Borning
University of Washington, USA
,
Robert Hirschfeld
HPI
DOI
14:37
22m
Talk
Optimizing Hash-Array Mapped Tries for Fast and Lean Immutable JVM Collections
SPLASH OOPSLA
Michael Steindorfer
CWI, Netherlands
,
Jurgen Vinju
CWI, Netherlands
Link to publication
15:30 - 17:00
13. Type Systems
SPLASH OOPSLA
at
Grand Station 1
Chair(s):
Nobuko Yoshida
Imperial College London, UK
15:30
22m
Talk
A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking
SPLASH OOPSLA
Sebastian Erdweg
TU Darmstadt, Germany
,
Oliver Bračevac
TU Darmstadt
,
Edlira Kuci
TU Darmstadt, Germany
,
Matthias Krebs
TU Darmstadt, Germany
,
Mira Mezini
TU Darmstadt
Link to publication
Pre-print
15:52
22m
Talk
Disjointness Domains for Fine-Grained Aliasing
SPLASH OOPSLA
Stephan Brandauer
Uppsala University
,
Dave Clarke
Uppsala University, Sweden and KU Leuven, Belgium
,
Tobias Wrigstad
Uppsala University
Link to publication
File Attached
16:15
22m
Talk
The Chemical Approach to Typestate-Oriented Programming
SPLASH OOPSLA
Silvia Crafa
Università di Padova, Italy
,
Luca Padovani
DOI
16:37
22m
Talk
Customizable Gradual Polymorphic Effects for Scala
SPLASH OOPSLA
Matías Toro
University of Chile, Chile
,
Éric Tanter
University of Chile, Chile
DOI
Mon 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
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
Grand Station 1
GPCE
Session 1
GPCE
Session 2
GPCE
Session 3
GPCE
Session 4
Tue 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Grand Station 1
GPCE
Session 6
GPCE
Session 7
GPCE
Session 8
Wed 28 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Grand Station 1
SPLASH OOPSLA
1. Model Checking
SPLASH OOPSLA
3. Verification
SPLASH OOPSLA
4. Concurrency
Thu 29 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Grand Station 1
SPLASH OOPSLA
5. Mobility
SPLASH OOPSLA
7. Runtime
SPLASH OOPSLA
8. Static Analysis
Fri 30 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Grand Station 1
SPLASH OOPSLA
9. Compilation & Dynamic Analysis
SPLASH OOPSLA
11. Programming Language Design
SPLASH OOPSLA
13. Type Systems
Mon 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Grand Station 1
GPCE
GPCE Keynote: "Technologies to Enable the Next-Generation Stadium and F ...
08:30 - 10:00
GPCE
Opening Remarks
10:30 - 10:40
GPCE
Shallow Embedding of DSLs via Online Partial Evaluation
10:40 - 11:10
GPCE
Almost First-Class Language Embedding: Taming Staged Embedded DSLs
11:10 - 11:40
GPCE
Generating Safe Boundary APIs between Typed EDSLs and their Environments
11:40 - 12:00
GPCE
An Empirical Study on Configuration-Related Type Issues
13:30 - 14:00
GPCE
Analysing the Kconfig Semantics and its Analysis Tools
14:00 - 14:30
GPCE
Migrating Large Object-oriented Applications into Component-based ones: ...
14:30 - 15:00
GPCE
Safer SDN programming through Arbiter
15:30 - 16:00
GPCE
Contract-Based General-Purpose GPU Programming
16:00 - 16:30
GPCE
Inverse macro in Scala
16:30 - 17:00
GPCE
Towards Tool Support for Spreadsheet-based Domain-Specific Languages
17:00 - 17:20
Tue 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Grand Station 1
GPCE
Native-2-Native: Automated Cross-Platform Code Synthesis from Web-Based ...
10:30 - 11:00
GPCE
CLOP: A multi-stage compiler to seamlessly embed heterogeneous code
11:00 - 11:20
GPCE
Composing Code Generators for C&C ADLs With Application-Specific Behavi ...
11:20 - 11:40
GPCE
Orchestrating Masses of Sensors: A Design-Driven Development Approach
11:40 - 12:00
GPCE
Generating Reactive Programs for Graphical User Interfaces from Multi-w ...
13:30 - 14:00
GPCE
POP-PL: A Patient-Oriented Prescription Programming Language
14:00 - 14:30
GPCE
Lightweight, Generative Variant Exploration for High-Performance Graphi ...
14:30 - 15:00
GPCE
Modular Interpreters for the Masses: Implicit Context Propagation Using ...
15:30 - 16:00
GPCE
Addressing Metamodel Revisions in Model-based Software Product Lines
16:00 - 16:30
GPCE
Generative Software Product Line Development using Variability-Aware De ...
16:30 - 17:00
GPCE
Model Querying with Query Models
17:00 - 17:20
GPCE
GPCE'15 Closing and GPCE'16 Announcement
17:20 - 17:30
Wed 28 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Grand Station 1
SPLASH OOPSLA
Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting A ...
10:30 - 10:52
SPLASH OOPSLA
SATCheck: SAT-Directed Stateless Model Checking for SC and TSO
10:52 - 11:15
SPLASH OOPSLA
Programming with Enumerable Sets of Structures
11:15 - 11:37
SPLASH OOPSLA
Stateless Model Checking of Event-Driven Applications
11:37 - 12:00
SPLASH OOPSLA
Conditionally Correct Superoptimization
13:30 - 13:52
SPLASH OOPSLA
Selective Control-Flow Abstraction via Jumping
13:52 - 14:15
SPLASH OOPSLA
Automating Grammar Comparison
14:15 - 14:37
SPLASH OOPSLA
Reasoning about the POSIX File System: Local Update and Global Pathnames
14:37 - 15:00
SPLASH OOPSLA
AutoMO: Automatic Inference of Memory Order Parameters for C/C++11
15:30 - 15:52
SPLASH OOPSLA
Valor: Efficient, Software-Only Region Conflict Exceptions
15:52 - 16:15
SPLASH OOPSLA
Automatic Memory Reclamation for Lock-Free Data Structures
16:15 - 16:37
SPLASH OOPSLA
Protocol-Based Verification of Message-Passing Parallel Programs
16:37 - 17:00
Thu 29 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Grand Station 1
SPLASH OOPSLA
Interactively Verifying Absence of Explicit Information Flows in Androi ...
10:30 - 10:52
SPLASH OOPSLA
ShamDroid: Gracefully Degrading Functionality in the Presence of Limite ...
10:52 - 11:15
SPLASH OOPSLA
Scalable Race Detection for Android Applications
11:15 - 11:37
SPLASH OOPSLA
Versatile yet Lightweight Record-and-Replay for Android
11:37 - 12:00
SPLASH OOPSLA
Accurate Profiling in the Presence of Dynamic Compilation
13:30 - 13:52
SPLASH OOPSLA
Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through L ...
13:52 - 14:15
SPLASH OOPSLA
Probability Type Inference for Flexible Approximate Programming
14:15 - 14:37
SPLASH OOPSLA
Cross-Layer Memory Management for Managed Language Applications
14:37 - 15:00
SPLASH OOPSLA
Static Analysis of Event-Driven Node.js JavaScript Applications
15:30 - 15:54
SPLASH OOPSLA
EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Cont ...
15:54 - 16:18
SPLASH OOPSLA
Giga-Scale Exhaustive Points-To Analysis for Java in Under a Minute
16:18 - 16:42
SPLASH OOPSLA
Galois Transformers and Modular Abstract Interpreters: Reusable Metathe ...
16:42 - 17:06
SPLASH OOPSLA
Learning a Strategy for Adapting a Program Analysis via Bayesian Optimi ...
17:06 - 17:30
Fri 30 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Grand Station 1
SPLASH OOPSLA
Runtime Pointer Disambiguation
10:30 - 10:52
SPLASH OOPSLA
Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opp ...
10:52 - 11:15
SPLASH OOPSLA
RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization
11:15 - 11:37
SPLASH OOPSLA
Automated Backward Error Analysis for Numerical Code
11:37 - 12:00
SPLASH OOPSLA
Remote-Scope Promotion: Clarified, Rectified, and Verified
13:30 - 13:52
SPLASH OOPSLA
Incremental Computation with Names
13:52 - 14:15
SPLASH OOPSLA
Checks and Balances: Constraint Solving without Surprises in Object-Con ...
14:15 - 14:37
SPLASH OOPSLA
Optimizing Hash-Array Mapped Tries for Fast and Lean Immutable JVM Coll ...
14:37 - 15:00
SPLASH OOPSLA
A Co-Contextual Formulation of Type Rules and its Application to Increm ...
15:30 - 15:52
SPLASH OOPSLA
Disjointness Domains for Fine-Grained Aliasing
15:52 - 16:15
SPLASH OOPSLA
The Chemical Approach to Typestate-Oriented Programming
16:15 - 16:37
SPLASH OOPSLA
Customizable Gradual Polymorphic Effects for Scala
16:37 - 17:00
x
Tue 12 Nov 20:44