PLoP 2015
Fri 23 - Mon 26 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
VenueSheraton Station Square Hotel
Room nameGrand Station 1
Floor1
Room Information

Program

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

10:30 - 12:00
Session 2GPCE 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 3GPCE 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 4GPCE 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

13:30 - 15:00
Session 7GPCE 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 8GPCE 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 CheckingSPLASH 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 ApproachOOPSLA Artifact
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 TSOOOPSLA Artifact
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. VerificationSPLASH 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 JumpingOOPSLA Artifact
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 ComparisonOOPSLA Artifact
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. ConcurrencySPLASH 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++11OOPSLA Artifact
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 ExceptionsOOPSLA Artifact
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 ProgramsOOPSLA Artifact
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. MobilitySPLASH 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 ApplicationsOOPSLA Artifact
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. RuntimeSPLASH OOPSLA at Grand Station 1
Chair(s): Michael Pradel TU Darmstadt, Germany
13:30
22m
Talk
Accurate Profiling in the Presence of Dynamic CompilationOOPSLA Artifact
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 StructuresOOPSLA Artifact
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 AnalysisSPLASH 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 MinuteOOPSLA Artifact
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 AnalysisSPLASH OOPSLA at Grand Station 1
Chair(s): Frank Tip Samsung Research America
10:30
22m
Talk
Runtime Pointer DisambiguationOOPSLA Artifact
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 OpportunitiesOOPSLA Artifact
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 DesignSPLASH OOPSLA at Grand Station 1
Chair(s): Gary T. Leavens University of Central Florida
13:30
22m
Talk
Remote-Scope Promotion: Clarified, Rectified, and VerifiedOOPSLA Artifact
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 NamesOOPSLA Artifact
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 LanguagesOOPSLA Artifact
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 CollectionsOOPSLA Artifact
SPLASH OOPSLA
Michael Steindorfer CWI, Netherlands, Jurgen Vinju CWI, Netherlands
Link to publication
15:30 - 17:00
13. Type SystemsSPLASH 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 ScalaOOPSLA Artifact
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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Grand Station 1

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Grand Station 1

Wed 28 Oct

Displayed time zone: Eastern Time (US & Canada) change

Thu 29 Oct

Displayed time zone: Eastern Time (US & Canada) change

Fri 30 Oct

Displayed time zone: Eastern Time (US & Canada) change