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

Fri 23 Oct

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

08:30 - 10:00
Session 1: BootcampPLoP at Fountain View
08:30
90m
Meeting
Bootcamp 1
PLoP

10:30 - 12:00
Session 2: BootcampPLoP at Fountain View
10:30
90m
Meeting
Bootcamp 2
PLoP

13:00 - 15:00
Session 3: BootcampPLoP at Fountain View
13:00
2h
Meeting
Bootcamp 3
PLoP

15:30 - 18:00
Session 4: BootcampPLoP at Fountain View
15:30
2h30m
Meeting
Bootcamp 4
PLoP

Sat 24 Oct

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

08:30 - 10:00
Session 5: Writers' WorkshopsPLoP at Fountain View
08:30
90m
Day opening
Opening and Games 1
PLoP

10:30 - 12:00
Session 6: KeynotePLoP at Fountain View
10:30
90m
Talk
PLoP Keynote: Keeping A Pattern Language Alive
PLoP
Mary Lynn Manns University of North Carolina Asheville, USA
13:00 - 15:00
Session 7: Writers' WorkshopsPLoP at Fountain View
13:00
60m
Other
Reading Time 1
PLoP

14:00
60m
Other
Games 1
PLoP

15:30 - 18:00
Session 8: Focus Groups and Workshops 1PLoP at Fountain View
15:30
37m
Talk
Fearless Change Journey
PLoP
Mary Lynn Manns University of North Carolina Asheville, USA
16:07
37m
Talk
Generative Processes of Community with the Fundamental Properties
PLoP
Joe Yoder The Refactory, Inc., Rebecca Wirfs-Brock Wirfs-Brock Associates
16:45
37m
Talk
Pattern Language of Layering Focus Group
PLoP

17:22
37m
Day closing
Daily Review 1
PLoP

Sun 25 Oct

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

08:30 - 10:00
Session 9: Writers' WorkshopsPLoP at Fountain View
08:30
90m
Day opening
Opening and Games 2
PLoP

08:30 - 10:00
First SessionParsing@SLE at Reflections
Chair(s): Loek Cleophas
09:00
15m
Day opening
Opening
Parsing@SLE
Loek Cleophas , Ali Afroozeh Centrum Wiskunde & Informatica
09:15
45m
Talk
Invited talk: Parsing Unpreprocessed C Code - The TypeChef Experience
Parsing@SLE
I: Christian Kästner Carnegie Mellon University
10:30 - 12:00
Session 10: Writers' WorkshopsPLoP at Fountain View
10:30 - 12:00
Second SessionParsing@SLE at Reflections
Chair(s): Eric Van Wyk University of Minnesota
10:30
30m
Talk
Modular Syntax
Parsing@SLE
Cyrus Omar Carnegie Mellon University
11:00
30m
Talk
Improving Syntactic Completion
Parsing@SLE
Luis Eduardo de Souza Amorim TU Delft, Guido Wachsmuth Delft University of Technology, Eelco Visser Delft University of Technology
File Attached
11:30
30m
Talk
Fastparse: programmable parsers for the 21st century
Parsing@SLE
13:00 - 15:00
Session 11: Writers' WorkshopsPLoP at Fountain View
13:00
60m
Other
Reading Time 2
PLoP

14:00
60m
Other
Games 2
PLoP

13:30 - 15:00
Third SessionParsing@SLE at Reflections
Chair(s): Tijs van der Storm CWI
13:30
30m
Talk
Operator Precedence for Parser Combinators
Parsing@SLE
Anastasia Izmaylova Centrum Wiskunde & Informatica
14:00
30m
Talk
Disambiguating Grammars with Tree Automata
Parsing@SLE
Michael D. Adams University of Utah
14:30
30m
Talk
Name Resolution Strategies in Variability Realization Languages for Software Product Lines
Parsing@SLE
Sven Schuster Technische Universität Braunschweig, Christoph Seidl Technische Universität Braunschweig, Ina Schaefer
15:30 - 18:00
Session 12: Focus Groups and Workshops 2PLoP at Fountain View
15:30
2h
Talk
Developing an Open, Collaborative Design Pattern Repository
PLoP

15:30
2h
Talk
Improving Writer’s Workshop by Introducing Checklists and Perspectives
PLoP
Joe Yoder The Refactory, Inc., Rebecca Wirfs-Brock Wirfs-Brock Associates
17:30
30m
Day closing
Daily Review 2
PLoP

15:30 - 17:00
Fourth SessionParsing@SLE at Reflections
Chair(s): Ali Afroozeh Centrum Wiskunde & Informatica
15:30
30m
Talk
Towards Abstract-Syntax-Preserving Grammar Migrations
Parsing@SLE
Martijn Dwars Delft University of Technology, Jeffrey Goderie Delft University of Technology, Eduardo Amorim Delft University of Technology, Guido Wachsmuth Delft University of Technology, Eelco Visser Delft University of Technology
File Attached
16:00
15m
Day closing
Closing
Parsing@SLE
Loek Cleophas , Ali Afroozeh Centrum Wiskunde & Informatica
18:00 - 20:30
PLoP ReceptionPLoP at Fountain View
18:00
2h30m
Social Event
Hillside/PLoP Meeting Reception
PLoP

20:30 - 21:30
PLoP MusicalsPLoP at Fountain View
20:30
60m
Social Event
Musical Bofs
PLoP

Mon 26 Oct

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

08:30 - 10:00
Session IMobileDeLi at Edenburg
Chair(s): Aharon Abadi IBM Research, Lori Flynn CERT, Jeff Gray University of Alabama, USA
08:30
10m
Day opening
Opening
MobileDeLi
Aharon Abadi IBM Research, C: Lori Flynn CERT, C: Jeff Gray University of Alabama, USA
08:40
25m
Talk
MobileDeli Keynote: Mobile security
MobileDeLi
Robert Seacord Secure Coding Institute
09:05
15m
Talk
A Lightweight JavaScript Engine for Mobile Devices
MobileDeLi
Ryan H. Choi Samsung Electronics, Youngil Choi Samsung Electronics
09:20
15m
Talk
An Energy-Saving Framework for Mobile Devices Based on Crowdsourcing Intelligences
MobileDeLi
Guangtai Liang IBM Research - China, Shao Chun Li IBM Research - Tokyo
09:35
15m
Talk
Improving the Android Development Lifecycle with the VALERA Record-and-replay Approach
MobileDeLi
Yongjian Hu University of California at Riverside, USA, Tanzirul Azim University of California at Riverside, USA, Iulian Neamtiu University of California at Riverside, USA
09:50
5m
Talk
Challenges in Transition from Web to App
MobileDeLi
Ranjan Kumar C-DAC Mumbai, Ashwin Nivangune C-DAC, Mumba, Padmaja Joshi C-DAC, Mumbai
File Attached
09:55
5m
Talk
Mobile Devices as Interfaces for Steering Cloud-Based High-Performance Computations
MobileDeLi
Young-Woo Kwon Utah State University, Eli Tilevich Virginia Tech
08:30 - 10:00
Session 1 - Real-world DataSPLASH-E at Ellwood 1
Chair(s): Eli Tilevich Virginia Tech
08:30
15m
Day opening
SPLASH-E Introduction
SPLASH-E
Eli Tilevich Virginia Tech
08:45
30m
Talk
Teaching Big Data with a Virtual Cluster
SPLASH-E
Joshua Eckroth Stetson University
File Attached
09:15
30m
Talk
A Generic Framework for Engaging Online Data Sources in Introductory Programming Courses
SPLASH-E
Nadeem Hamid Berry College
File Attached
09:45
15m
Break
Session 1 Discussion
SPLASH-E

08:30 - 10:00
Session 13: Writers' WorkshopsPLoP at Fountain View
08:30
90m
Day opening
Opening and Games 3
PLoP

08:30 - 10:00
Keynote + AbstractionAGERE! at Grand Station 4
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel, Philipp Haller KTH Royal Institute of Technology, Alessandro Ricci University of Bologna, Carlos Varela Rensselaer Polytechnic Institute, US
08:30
50m
Talk
AGERE! Keynote: Concurrent, Distributed Thinking for First-time Programmers in StarLogo Nova
AGERE!
09:20
20m
Talk
Objects as Session-Typed Processes
AGERE!
Stephanie Balzer Carnegie Mellon University, Frank Pfenning Carnegie Mellon University
09:40
20m
Talk
Exploring AOP from an OOP Perspective
AGERE!
Rem Collier University College Dublin, Seán Russell University College Dublin, David Lillis University College Dublin
08:30 - 10:00
Welcome and KeynotePLATEAU at Grand Station 5
Chair(s): Craig Anslow Middlesex University, London
08:30
30m
Talk
Organizers' Welcome
PLATEAU

09:00
60m
Talk
PLATEAU Keynote: Computational Thinking for All: Expanding the Boundaries of Computing for Nonprogrammers
PLATEAU
Mary Beth Rosson Pennsylvania State University
File Attached
08:30 - 10:00
08:30
45m
Talk
Rethinking the Human-Readability Infrastructure
Future Programming Workshop
09:15
45m
Talk
Coordinating extensibility with CoLingua
Future Programming Workshop
08:30 - 10:00
08:30
30m
Day opening
Introductions
Smart Software Strategies

09:00
60m
Meeting
Roundtable discussion; brainstorm topics to discuss in the workshop
Smart Software Strategies

10:30 - 12:00
Session IIMobileDeLi at Edenburg
Chair(s): Aharon Abadi IBM Research, Lori Flynn CERT, Jeff Gray University of Alabama, USA
10:30
5m
Talk
An Evaluation Framework For Selection Of Mobile App Development Platform
MobileDeLi
Arvind Hudli MSRIT, Shrinidhi Hudli UCLA, Raghu Hudli ObjectOrb Technologies Pvt. Ltd
10:35
20m
Talk
Assessing the Benefits of Computational Offloading in Mobile-Cloud Applications
MobileDeLi
Tahmid Nabi Oregon State University, Pranjal Mittal Oregon State University, Pooria Azimi Oregon State University, Danny Dig Oregon State University, Eli Tilevich Virginia Tech
10:55
20m
Talk
Implementing real-time collaboration in TouchDevelop using AST merges
MobileDeLi
Jonathan Protzenko Microsoft Research
11:15
15m
Talk
Enforcing Fine-Grained Security and Privacy Policies in an Ecosystem within an Ecosystem
MobileDeLi
Waqar Ahmad Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University, Christian Kästner Carnegie Mellon University, Adam Wynne Bosch Research and Technology Center
11:30
15m
Talk
Automatic Detection, Correction and Visualization of Security Vulnerabilities in Mobile Apps
MobileDeLi
Marco Pistoia IBM Research, USA, Omer Tripp IBM Research, USA, Pietro Ferrara IBM Research, USA, Paolina Centonze Iona College
11:45
15m
Talk
Scalable Race Detection for Android Applications
MobileDeLi
Pavol Bielik ETH Zurich, Switzerland, Veselin Raychev ETH Zurich, Switzerland, Martin Vechev ETH Zurich, Switzerland
10:30 - 12:00
Session 2SPLASH-E at Ellwood 1
Chair(s): Eli Tilevich Virginia Tech
10:30
30m
Talk
Tackling Real World Complexity in a Software Engineering Student Project - An Experience Report
SPLASH-E
Christian Köppe HAN University of Applied Sciences, Leo Pruijt Hogeschool Utrecht
File Attached
11:00
30m
Talk
Continuous Testing in Introductory Computer Science Education
SPLASH-E
Andrew Richardson University of British Columbia , Mira Leung University of British Columbia, Jordan Elder University of British Columbia
File Attached
11:30
30m
Talk
Teaching Code Review Management using Branch Based Workflows
SPLASH-E
Stephan Krusche Technische Universität München, Bernd Bruegge TU Munich
10:30 - 12:00
Session 14: KeynotePLoP at Fountain View
10:30
90m
Talk
PLoP Keynote: Progress Toward an Engineering Discipline of Software
PLoP
Mary Shaw Carnegie Mellon University
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
10:30 - 12:00
Language Development and EvaluationSLE at Grand Station 2
Chair(s): Davide Di Ruscio University of L'Aquila
10:30
10m
Day opening
Opening
SLE
Davide Di Ruscio University of L'Aquila, Markus Völter itemis, Germany
10:40
30m
Talk
On Integrating Graphical and Textual Editors for a UML Profile Based Domain Specific Language: An Industrial Experience
SLE
Salome Maro Chalmers University of Technology, Sweden, Jan-Philipp Steghöfer Chalmers University of Technology, Sweden, Anthony Anjorin Chalmers University of Technology, Sweden, Matthias Tichy University of Ulm, Germany, Lars Gelin Ericsson, Sweden
DOI
11:10
30m
Talk
An Empirical Study on Simplification of Business Process Modeling Languages
SLE
Eric Umuhoza Politecnico di Milano, Italy, Marco Brambilla Politecnico di Milano, Italy, Davide Ripamonti Politecnico di Milano, Italy, Jordi Cabot ICREA, Spain
DOI Media Attached
11:40
20m
Talk
Melange: A Meta-language for Modular and Reusable Development of DSLs
SLE
Thomas Degueule INRIA, France, Benoit Combemale INRIA, France, Arnaud Blouin INSA Rennes, France, Olivier Barais University of Rennes 1, France, Jean-Marc Jézéquel University of Rennes 1, France
DOI
10:30 - 12:00
Session 2 - Abstraction and Runtime EnvironmentsAGERE! at Grand Station 4
10:30
20m
Talk
Bulk-Synchronous Communication Mechanisms in Diderot
AGERE!
Lamont Samuels University of Chicago, John Reppy University of Chicago
File Attached
10:50
20m
Talk
Programming Abstractions for Augmented Worlds
AGERE!
Angelo Croatti University of Bologna, Alessandro Ricci University of Bologna
11:10
20m
Talk
Manyfold Actors: Extending the C++ Actor Framework to Heterogeneous Many-Core Machines using OpenCL
AGERE!
11:30
20m
Talk
A Performance and Scalability Analysis of Actor Message Passing and Migration in SALSA Lite
AGERE!
Travis Desell University of North Dakota, Carlos Varela Rensselaer Polytechnic Institute, US
10:30 - 12:00
ToolsPLATEAU at Grand Station 5
Chair(s): Thomas LaToza George Mason University
10:30
20m
Talk
Frequency Distribution of Error Messages
PLATEAU
David Pritchard University of Waterloo, Canada
File Attached
10:50
20m
Talk
An Evaluation of the DiaSuite Toolset by Professional Developers
PLATEAU
Milan Kabáč University of Bordeaux / Inria Bordeaux / LaBRI, Nic Volanschi Inria Bordeaux, Charles Consel University of Bordeaux
File Attached
11:10
20m
Talk
Aiding Programmers using Lightweight Integrated Code Visualization
PLATEAU
Per Ola Kristensson University of Cambridge, Chung Leung Lam University of Cambridge
File Attached
11:30
10m
Talk
Towards moldable development tools
PLATEAU
Andrei Chiş University of Bern, Switzerland, Tudor Gîrba tudorgirba.com, Switzerland, Oscar Nierstrasz University of Bern, Switzerland
Pre-print Media Attached File Attached
11:40
13m
Talk
Understanding the Effects of Code Presentation
PLATEAU
Jason Jacques University of Cambridge, Per Ola Kristensson University of Cambridge
File Attached
10:30 - 11:30
KeynoteWODA at Haselton 1
Chair(s): Harry Xu University of California, Irvine
10:30
60m
Talk
Concolic Testing: A Decade Later
WODA
Koushik Sen University of California, Berkeley
10:30 - 12:00
10:30
90m
Meeting
Vote on discussion topics; first discussion session
Smart Software Strategies

11:30 - 12:00
Research Reports 1WODA at Haselton 1
Chair(s): Yu David Liu State University of New York (SUNY) Binghamton
11:30
30m
Talk
SQL for Deep Dynamic Analysis?
WODA
Mohammad Reza Azadmanesh University of Lugano, Matthias Hauswirth University of Lugano, Switzerland
13:00 - 15:00
Session 15: Focus Groups and Workshops 3PLoP at Fountain View
13:00
30m
Other
Reading Time 3
PLoP

13:30
90m
Talk
Focus Group on Security (and Related) Patterns
PLoP

13:30
90m
Talk
Software Engineering Research Patterns Mining Focus Group
PLoP
Mary Shaw Carnegie Mellon University
13:30 - 15:00
Session IIIMobileDeLi at Edenburg
Chair(s): Aharon Abadi IBM Research, Lori Flynn CERT, Jeff Gray University of Alabama, USA
13:30
20m
Talk
Automatic Code Generation for Cross-platform, Multi-Device Mobile Apps: Some Reflections from an Industrial Experience
MobileDeLi
Eric Umuhoza Politecnico di Milano, Italy, Hamza Ed-Douibi Mines Nantes, Marco Brambilla Politecnico di Milano, Italy, Jordi Cabot ICREA, Spain, Aldo Bongio WebRatio S.r.l
13:50
20m
Talk
An Interactive Approach to Mobile App Verification
MobileDeLi
Osbert Bastani Stanford University, Alex Aiken Stanford University, Saswat Anand Stanford University
14:10
50m
Other
Panel: “Mobile security: methods and challenges during development”
MobileDeLi
Marco Pistoia IBM Research, USA, Patrick Tague Carnegie Mellon University, Jan S. Rellermeyer IBM Research, Garret Wassermann CERT Coordination Center
13:30 - 15:00
Session 3SPLASH-E at Ellwood 1
Chair(s): Eli Tilevich Virginia Tech
13:30
25m
Talk
Tool Demo - PyFRP: Function Reactive Programming in Python
SPLASH-E
John Peterson Western State Colorado University, Alan Cleary Montana State University, Ken Roe The Johns Hopkins University
File Attached
13:55
25m
Talk
Tool Demo - Teaching Software Architecture Concepts with HUSACCT
SPLASH-E
Christian Köppe HAN University of Applied Sciences, Leo Pruijt Hogeschool Utrecht
File Attached
14:20
25m
Talk
Tool Demo - Writing C Code Patches in a VPL Learning Environment
SPLASH-E
File Attached
14:45
15m
Break
Session 2 & Demos Discussion
SPLASH-E
Eli Tilevich Virginia Tech
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
13:30 - 15:00
Model and Program TransformationSLE at Grand Station 2
Chair(s): Tijs van der Storm CWI
13:30
30m
Talk
Distributed Model-to-Model Transformation with ATL on MapReduce
SLE
DOI
14:00
30m
Talk
Managing Uncertainty in Bidirectional Model Transformations
SLE
Romina Eramo University of L'Aquila, Italy, Alfonso Pierantonio University of L'Aquila, Italy, Gianni Rosa University of L'Aquila, Italy
DOI
14:30
30m
Talk
Modular Capture Avoidance for Program Transformations
SLE
Nico Ritschel TU Darmstadt, Germany, Sebastian Erdweg TU Darmstadt, Germany
Link to publication DOI
13:30 - 15:00
13:30
90m
Talk
Symbolic Techniques for Software Debugging and Repair
Tutorials
Abhik Roychoudhury National University of Singapore, Satish Chandra Samsung Research America
13:30 - 15:00
Session 3 - Types and VerificationAGERE! at Grand Station 4
13:30
20m
Talk
Deny Capabilities for Safe, Fast Actors
AGERE!
Sylvan Clebsch Imperial College London, Sophia Drossopoulou Imperial College London
Media Attached
13:50
20m
Talk
Optimizing Communicating Event-Loop Languages with Truffle
AGERE!
Stefan Marr INRIA, France, Hanspeter Mössenböck Johannes Kepler University Linz
Link to publication Pre-print Media Attached
14:10
20m
Talk
Actario: A Framework for Reasoning About Actor Systems
AGERE!
Shohei Yasutake Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology
Link to publication Pre-print Media Attached
14:30
20m
Talk
A model-based approach to secure multi-party distributed systems
AGERE!
Najah Ben Said Verimag, Takoua Abdellatif University of Sousse, Saddek Bensalem Verimag, Marius Bozga Verimag/CNRS
13:30 - 15:00
Programming Languages PapersPLATEAU at Grand Station 5
Chair(s): Joshua Sunshine Carnegie Mellon University
13:30
20m
Talk
A user study for comparing the programming efficiency of modifying executable multimodal interaction descriptions. A domain-specific language versus equivalent event-callback code
PLATEAU
Fredy Cuenca Hasselt University - tUL - iMinds, Jan Van den Bergh Hasselt University - tUL - iMinds, Kris Luyten Hasselt University - tUL - iMinds, Karin Coninx Hasselt University - tUL - iMinds
File Attached
13:50
20m
Talk
A Study on the Most Popular Questions About Concurrent Programming
PLATEAU
Gustavo Pinto UFPE, Weslley Torres Federal University of Pernambuco, Fernando Castor UFPE
File Attached
14:10
10m
Talk
Comparing Transitive to Intransitive Object Immutability
PLATEAU
Michael Coblenz Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Sam Weber Software Engineering Institute, Forrest Shull Software Engineering Institute
File Attached
14:20
13m
Talk
Is Functional Programming Better for Modularity?
PLATEAU
Ismael Figueroa Pontificia Universidad Católica de Valparaíso, Chile, Romain Robbes University of Chile
File Attached
14:33
13m
Talk
Operators and precedence in programming languages
PLATEAU
Najwani Razali Victoria University of Wellington, James Noble Victoria University of Wellington, Stuart Marshall Victoria University of Wellington
File Attached
14:46
13m
Talk
Some Usability Hypotheses for Verification
PLATEAU
David J. Pearce Victoria University of Wellington
File Attached
13:30 - 15:00
Research Reports 2WODA at Haselton 1
Chair(s): Julian Dolby IBM Research
13:30
30m
Talk
Ayudante: Identifying Undesired Variable Interactions
WODA
Irfan Ul Haq IMDEA Software Institute, Juan Caballero IMDEA Software Institute, Michael D. Ernst University of Washington
14:00
30m
Talk
Efficient Dynamic Analysis of the Synchronization Performance of Java Applications
WODA
Peter Hofer Christian Doppler Laboratory on Monitoring and Evolution of Very-Large-Scale Software Systems, Johannes Kepler University Linz, David Gnedt Christian Doppler Laboratory on Monitoring and Evolution ofVery-Large-Scale Software Systems, Johannes Kepler UniversityLinz, Hanspeter Mössenböck Johannes Kepler University Linz
14:30
30m
Talk
Recovering Execution Data from Incomplete Observations
WODA
Peter Ohmann University of Wisconsin - Madison, David Bingham Brown University of Wisconsin - Madison, Ben Liblit University of Wisconsin–Madison, Thomas Reps University of Wisconsin - Madison and Grammatech Inc.
Pre-print
13:30 - 15:00
13:30
45m
Talk
BayesDB: Query the Probable Implications of Data
Future Programming Workshop
14:15
45m
Talk
The Gamma: Programming tools for data journalism
Future Programming Workshop
Tomas Petricek University of Cambridge, UK
13:30 - 15:00
13:30
90m
Meeting
Second discussion session
Smart Software Strategies

15:30 - 17:00
Session IVMobileDeLi at Edenburg
Chair(s): Aharon Abadi IBM Research, Lori Flynn CERT, Jeff Gray University of Alabama, USA
15:30
15m
Talk
Program Analysis for Mobile: how and why to run WALA on your phone
MobileDeLi
Julian Dolby IBM Research
15:45
15m
Talk
Gaps and Future Directions in Mobile Security Research
MobileDeLi
Violetta Vylegzhanina Vanderbilt University, Jules White Vanderbilt University, Douglas C. Schmidt Vanderbilt University
16:00
60m
Other
Activity:Mobile Computing to Support Sustainability
MobileDeLi

15:30 - 17:00
Session 4SPLASH-E at Ellwood 1
Chair(s): Eli Tilevich Virginia Tech
15:30
10m
Talk
Lightning Talk #1 - Transferring Software Engineering Practices as an Educational Process: Lessons and Challenges
SPLASH-E
Yadran Eterovic Pontificia Universidad Catlica de Chile, Jorge Bozo Universidad Católica del Norte, Chile
File Attached
15:40
10m
Talk
Lightning Talk #2 - A Temporal Weighted Grading Scheme for Software Design Courses
SPLASH-E
Vibha Sazawal University of Maryland
15:50
10m
Talk
Lightning Talk #3 - Why a theory for software engineering teaching is important
SPLASH-E
María Clara Gómez Universidad de Medellín, Carlos Zapata Universidad Nacional de Colombia, Yadran Eterovic Pontificia Universidad Catlica de Chile
16:00
10m
Talk
Lightning Talk #4 - Music and Computing – Integrating Computer Science into the Music Curriculum
SPLASH-E
John Peterson Western State Colorado University
16:10
10m
Talk
Lightning Talk #5 - OPEN
SPLASH-E

16:20
40m
Day closing
Post-workshop Discussion
SPLASH-E
Eli Tilevich Virginia Tech
15:30 - 18:00
Session 16PLoP at Fountain View
15:30
2h30m
Day closing
Retrospective and Closing
PLoP

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
15:30 - 17:00
Tools ISLE at Grand Station 2
Chair(s): David J. Pearce Victoria University of Wellington
15:30
30m
Talk
XMLText: From XML Schema to Xtext
SLE
Patrick Neubauer Vienna University of Technology, Austria, Alexander Bergmayr Vienna University of Technology, Austria, Tanja Mayerhofer Vienna University of Technology, Austria, Javier Troya Vienna University of Technology, Austria, Manuel Wimmer Vienna University of Technology, Austria
DOI
16:00
30m
Talk
Designing Languages using Lightning
SLE
Loïc Gammaitoni University of Luxembourg, Luxembourg, Pierre Kelsen University of Luxembourg, Luxembourg, Christian Glodt University of Luxembourg, Luxembourg
DOI
16:30
30m
Talk
Analysis and Transformation with the Nuthatch Tree-Walking Library
SLE
Anya Helene Bagge University of Bergen, Norway
DOI
15:30 - 17:00
Session 4 - Runtime Environments and DiscussionAGERE! at Grand Station 4
15:30
20m
Talk
Akka.js: Towards a portable actor runtime environment
AGERE!
Andrea Peruffo , Gianluca Stivan UniCredit R&D, Philipp Haller KTH Royal Institute of Technology
15:50
20m
Talk
Connect.js: A cross mobile platform actor library for multi-networked mobile applications
AGERE!
Elisa Gonzalez Boix Vrije Universiteit Brussel, Christophe Scholliers Vrije Universiteit Brussel, Nicolas Larrea VUB, Wolfgang De Meuter Vrije Universiteit Brussel
16:10
20m
Talk
Jacco: More Efficient Model Checking Toolset for Java Actor Programs
AGERE!
Arvin Zakeriyan University of Tehran, Ehsan Khamespanah , Marjan Sirjani Reykjavik University, Ramtin Khosravi
16:30
30m
Other
Discussion/Panel
AGERE!

15:30 - 17:00
Group DiscussionPLATEAU at Grand Station 5
Chair(s): Craig Anslow Middlesex University, London, Thomas LaToza George Mason University, Joshua Sunshine Carnegie Mellon University
15:30
20m
Talk
On the Need to Define Community Agreements for Controlled Experiments with Human Subjects -- A Discussion Paper
PLATEAU
Stefan Hanenberg University of Duisburg-Essen, Andreas Stefik University of Nevada, Las Vegas
File Attached
15:50
70m
Talk
Group discussion
PLATEAU

15:30 - 16:00
Research Reports 3WODA at Haselton 1
Chair(s): Matthias Hauswirth University of Lugano, Switzerland
15:30
30m
Talk
A Formal Foundation for Trace-Based JIT Compilers
WODA
Maarten Vandercammen Vrije Universiteit Brussel, Jens Nicolay , Stefan Marr INRIA, France, Joeri De Koster Vrije Universiteit Brussel, Theo D'Hondt Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
DOI Pre-print
15:30 - 17:00
15:30
45m
Talk
Medic: Metaprogramming and Trace-Oriented Debugging
Future Programming Workshop
Xiangqi Li University of Utah, Matthew Flatt University of Utah
16:15
45m
Talk
Lively Groups: Shared Behavior in a World of Objects without Classes or Prototypes
Future Programming Workshop
Tim Felgentreff HPI, Germany, Jens Lincke Hasso Plattner Institute, Robert Hirschfeld HPI, Lauritz Thamsen TU Berlin
15:30 - 17:00
15:30
60m
Meeting
Third discussion session
Smart Software Strategies

16:30
30m
Day closing
Preparation of the workshop poster
Smart Software Strategies

16:00 - 17:00
Extended AbstractsWODA at Haselton 1
Chair(s): Harry Xu University of California, Irvine
16:00
15m
Talk
Infection Size as a Measure of Bug Severity
WODA
Mohammad Reza Azadmanesh University of Lugano, Matthias Hauswirth University of Lugano, Switzerland
16:15
15m
Talk
Just-in-Time Data Structures: Towards Declarative Swap Rules
WODA
Mattias De Wael Vrije Universiteit Brussel
16:30
15m
Talk
Towards Deployment-Time Dynamic Analysis of Server Applications
WODA
Luís Pina Imperial College London, UK, Cristian Cadar Imperial College London
16:45
15m
Talk
Supporting PHP Dynamic Analysis in PHP AiR
WODA
Mark Hills East Carolina University
18:00 - 21:00
Welcome Reception & Poster SessionSocial Events at Admiral and Reflections
18:00
3h
Social Event
Welcome Reception & Poster Session
Social Events

Tue 27 Oct

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

08:30 - 10:00
08:55
5m
Talk
Opening
Doctoral Symposium

09:00
60m
Talk
DS Invited Keynote Talk I: How to debug the Internet of Things, or, PhD or startup?
Doctoral Symposium
Patrick Eugster Purdue University
08:30 - 10:00
Session 1DSM at Brighton 4
08:30
20m
Day opening
Introduction
DSM

08:50
15m
Talk
Domain Specific Modelling for Clinical Research
DSM
Jim Davies University of Oxford, Jeremy Gibbons University of Oxford, UK, Adam Milward University of Oxford, David Milward , Seyyed Shah University of Oxford, Monika Solanki University of Oxford, James Welch University of Oxford
09:05
20m
Talk
CHARIOT: A Domain Specific Language for Extensible Cyber-Physical Systems
DSM
Subhav Pradhan Vanderbilt University, Abhishek Dubey Vanderbilt University, Aniruddha Gokhale Vanderbilt University, Martin Lehofer Siemens Corporate Technology
09:25
15m
Talk
Experience Report: Constraint-Based Modeling of Autonomous Vehicle Trajectories
DSM
Kennon McKeever The University of Arizona, Yegeta Zeleke University of California Santa Cruz, Matt Bunting The University of Arizona, Jonathan Sprinkle University of Arizona
09:40
20m
Talk
Adaptable Symbol Table Management by Meta Modeling and Generation of Symbol Table Infrastructures
DSM
Katrin Hölldobler RWTH Aachen University, Pedram Mir Seyed Nazari RWTH Aachen University, Bernhard Rumpe RWTH Aachen University, Germany
08:30 - 10:00
Session 1ETX at Edenburg
08:45
15m
Day opening
Workshop opening
ETX
Michael Burke Rice University, Tim Verbelen Ghent University
09:00
60m
Talk
ETX Invited Speaker: The Eclipse Academic Program: Creating the Eclipse University Ecosystem
ETX
Brian Barry FD Labs
08:30 - 10:00
Session 1: KeynoteDBPL at Ellwood 1
Chair(s): James Cheney University of Edinburgh
08:30
5m
Day opening
DBPL Welcome
DBPL

08:35
85m
Talk
DBPL Keynote: The Gremlin Graph Traversal Machine and Language
DBPL
08:30 - 10:00
Concurrent OO LanguagesNOOL at Ellwood 2
Chair(s): Alex Potanin Victoria University of Wellington
08:30
30m
Talk
Welcome Session
NOOL
Alex Potanin Victoria University of Wellington, James Noble Victoria University of Wellington
09:00
30m
Talk
Behavioural Prototypes
NOOL
Link to publication
09:30
30m
Talk
Inversion in Programming Language Design: The Encore Way
NOOL
Dave Clarke Uppsala University, Sweden and KU Leuven, Belgium, Tobias Wrigstad Uppsala University, Nobuko Yoshida Imperial College London, UK, Frank S. de Boer , Einar Broch Johnsen University of Oslo
08:30 - 10:00
Session 1, Language DesignDLS at Grand Station 3
08:30
10m
Day opening
Welcome and Introduction
DLS

08:40
60m
Talk
DLS Keynote: Declare Your Language
DLS
I: Eelco Visser Delft University of Technology
Link to publication DOI Media Attached
09:40
20m
Talk
From APIs to Languages: Generalising Method Names
DLS
James Noble Victoria University of Wellington, Michael Homer Victoria University of Wellington, Timothy Jones Victoria University of Wellington
Pre-print
08:30 - 10:00
Welcome and keynoteSEPS at Haselton 2
Chair(s): Ali Jannesari Technical University of Darmstadt
08:30
5m
Day opening
Opening and Welcome
SEPS

08:35
85m
Talk
SEPS Invited Tallk: Hybrid Inference of Semantics for Software Adaptation
SEPS
09:00 - 10:00
Session 1PLMW at Fountain View
09:00
15m
Day opening
Opening Remarks
PLMW
Darya Melicher Carnegie Mellon University
09:15
45m
Talk
SE & PL Research Overview
PLMW
Joshua Sunshine Carnegie Mellon University
09:00 - 10:30
Session 1PROMOTO at Grand Station 5
Chair(s): Steven D. Fraser Innoxec – Innovation Executive Services, Alberto Sillitti Center for Applied Software Engineering
09:00
30m
Day opening
Introduction
PROMOTO

09:30
60m
Talk
PROMOTO Keynote: The BBC micro:bit
PROMOTO
Jonathan Protzenko Microsoft Research
10:30 - 12:00
10:30
10m
Talk
Lightning Talks
Doctoral Symposium

10:40
40m
Talk
Trace Register Allocation
Doctoral Symposium
A: Josef Eisl Johannes Kepler University Linz
DOI Pre-print
11:20
40m
Talk
Trace Obliviousness Computation
Doctoral Symposium
A: Chang Liu University of Maryland
10:30 - 12:00
Session 2DSM at Brighton 4
10:30
20m
Talk
Automating Engineering with a Domain-Specific Language and a Code Generator
DSM
10:50
20m
Talk
Management of Guided and Unguided Code Generator Customizations by Using a Symbol Table
DSM
Pedram Mir Seyed Nazari RWTH Aachen University, Alexander Roth Software Engineering RWTH Aachen University, Bernhard Rumpe RWTH Aachen University, Germany
11:10
15m
Talk
Mixed Generative and Handcoded Development of Adaptable data-centric Business Applications
DSM
Alexander Roth Software Engineering RWTH Aachen University, Bernhard Rumpe RWTH Aachen University, Germany
11:25
15m
Talk
Reusing Legacy DSLs with Melange
DSM
Thomas Degueule INRIA, France, Benoit Combemale INRIA, France, Arnaud Blouin INSA Rennes, France, Olivier Barais University of Rennes 1, France
11:40
20m
Talk
Supporting Users to Manage Breaking and Unresolvable Changes in Coupled Evolution
DSM
Juri Di Rocco Università di L'Aquila, Davide Di Ruscio University of L'Aquila, Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Alfonso Pierantonio University of L'Aquila, Italy
File Attached
10:30 - 12:00
Session 2ETX at Edenburg
10:30
40m
Talk
CSIclipse: Presenting Crash Analysis Data to Developers
ETX
Peter Ohmann University of Wisconsin - Madison, Ben Liblit University of Wisconsin–Madison
Pre-print
11:15
40m
Talk
Androsgi: bringing the power of OSGi to Android
ETX
Steven Bohez Ghent University - iMinds, Elias De Coninck Ghent University - iMinds, Tim Verbelen Ghent University, Bart Dhoedt Ghent University - iMinds
10:30 - 12:00
Session 2DBPL at Ellwood 1
Chair(s): Dario Colazzo
10:30
30m
Talk
A common data manipulation language for nested data in heterogeneous environments.
DBPL
João Costa Seco NOVA LINCS -- Universidade Nova de Lisboa, Hugo Lourenço OutSystems SA, Paulo Ferreira OutSystems SA
11:00
30m
Talk
Relational Foundations for Functorial Data Migration
DBPL
11:30
30m
Talk
Abstract Rewriting Approach to Solve Datalog Programs
DBPL
Fernando Tarin Morales The University of Tokyo / National Institute of Informatics, Fuyuki Ishikawa National Institute of Informatics, Shinichi Honiden The University of Tokyo / National Institute of Informatics
10:30 - 12:00
Systems OO LanguagesNOOL at Ellwood 2
Chair(s): James Noble Victoria University of Wellington
10:30
30m
Talk
Beyond Bash: Shell scripting in a statically-typed, object-oriented language
NOOL
11:00
30m
Talk
Rust: Idioms and Design Patterns
NOOL
Nicholas Cameron Mozilla Research
11:30
30m
Talk
Whiley: a Better C?
NOOL
David J. Pearce Victoria University of Wellington
Link to publication
10:30 - 12:00
Session 2PLMW at Fountain View
10:30
45m
Talk
Why Do a PhD and How to Pick an Area
PLMW
Yannis Smaragdakis University of Athens
Media Attached
11:15
45m
Talk
Life in Academia After Your PhD
PLMW
Alex Potanin Victoria University of Wellington
File Attached
10:30 - 12:00
Formal Modeling and Language ValidationSLE at Grand Station 2
Chair(s): Marco Brambilla Politecnico di Milano, Italy
10:30
30m
Talk
Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview
SLE
Christoff Bürger Lund University, Sweden
DOI
11:00
30m
Talk
Example-Based Validation of Domain-Specific Visual Languages
SLE
Jesús J. López-Fernández Autonomous University of Madrid, Spain, Esther Guerra Autonomous University of Madrid, Spain, Juan de Lara Autonomous University of Madrid, Spain
DOI
11:30
30m
Talk
A Combined Formal Model for Relational Context-Dependent Roles
SLE
Thomas Kühn TU Dresden, Germany, Stephan Böhme TU Dresden, Germany, Sebastian Götz TU Dresden, Germany, Uwe Aßmann TU Dresden, Germany
DOI
10:30 - 12:00
Session 2, Formalization, Semantics, and Static AnalysisDLS at Grand Station 3
10:30
22m
Talk
A Formalization of Typed Lua
DLS
Media Attached
10:52
22m
Talk
Gradual Certified Programming in Coq
DLS
Éric Tanter University of Chile, Chile, Nicolas Tabareau Inria
11:15
22m
Talk
Message Safety in Dart
DLS
Erik Ernst , Mathias Schwarz Uber Aarhus, Fabio Strocco Aarhus University, Denmark, Anders Møller Aarhus University
11:37
22m
Talk
Control-Flow Analysis of Dynamic Languages via Pointer Analysis
DLS
Steven Lyde , Matthew Might University of Utah, USA, William E. Byrd
10:30 - 12:00
Session 2REBLS at Haselton 1
10:30
22m
Talk
Indexing RETE's Working Memory - Catering to Dynamic Changes of the Ruleset
REBLS
Simon Van de Water VUB, Thierry Renaux Vrije Universiteit Brussel, Lode Hoste , Wolfgang De Meuter Vrije Universiteit Brussel
10:52
22m
Talk
Type Inference of Asynchronous Arrows in JavaScript
REBLS
Eric Fritz , Tian Zhao University of Wisconsin-Milwaukee
11:15
22m
Talk
Functional Reactive Programming with nothing but Promises (Implementing Push/Pull FRP using JavaScript Promises)
REBLS
Alan Jeffrey Alcatel-Lucent Bell Labs, Tom Van Cutsem Alcatel-Lucent Bell Labs
11:37
22m
Talk
Type Safe Evolution of Live Systems
REBLS
Miguel Domingues NOVA-LINCS - Universidade Nova de Lisboa, João Costa Seco NOVA LINCS -- Universidade Nova de Lisboa
11:00 - 12:00
11:00
30m
Talk
Measuring the Usability and Capability of App Inventor to Create Mobile Applications
PROMOTO
Benjamin Xie Massachusetts Institute of Technology, Isra Shabir Massachusetts Institute of Technology, Hal Abelson MIT
11:30
30m
Talk
A Flow-Based Programming Framework for Mobile App development
PROMOTO
Jesse Zaman Vrije Universiteit Brussel, Lode Hoste , Wolfgang De Meuter Vrije Universiteit Brussel
13:30 - 15:10
13:30
60m
Talk
DS Invited Keynote Talk II: Lessons and Stories from My Career
Doctoral Symposium
Gary T. Leavens University of Central Florida
14:30
40m
Talk
Privacy and Security Constraints for Code Contributions
Doctoral Symposium
A: Rodrigo Andrade Federal University of Pernambuco
13:30 - 15:00
Session 3DSM at Brighton 4
13:30
20m
Talk
Towards Improving Software Security using Language Engineering and mbeddr C
DSM
Markus Völter itemis, Germany, Zaur Molotnikov Fortiss, Bernd Kolb itemis AG
Link to publication Pre-print Media Attached
13:50
20m
Talk
Extensible Visual Constraint Language
DSM
Brian Broll Vanderbilt University, Akos Ledeczi Vanderbilt University
14:10
20m
Talk
Systematic Evaluation of Three Data Marshalling Approaches for Distributed Software Systems
DSM
Hugo Andrade Chalmers University of Technology, Federico Giaimo Chalmers University of Technology, Christian Berger University of Gothenburg, Ivica Crnkovic Chalmers University of Technology, Sweden
14:30
30m
Other
Group work topic selection
DSM

13:30 - 15:00
Session 3DBPL at Ellwood 1
Chair(s): Ryan Wisnesky
13:30
22m
Talk
Requesting heterogeneous data sources with array comprehensions in Hop.js
DBPL
13:52
22m
Talk
A Datalog-based Protocol for Lazy Data Migration in Agile NoSQL Application Development
DBPL
Stefanie Scherzinger , Uta Störl HS Darmstadt, Meike Klettke Universität Rostock
14:15
22m
Talk
Function Inlining in XQuery 3.0 Optimization
DBPL
Leonard Wörteler University of Konstanz, Michael Grossniklaus University of Konstanz, Christian Grün University of Konstanz, Marc H. Scholl University of Konstanz
14:37
22m
Talk
Relational Algebra by way of Adjunctions
DBPL
Jeremy Gibbons University of Oxford, UK, Fritz Henglein DIKU, Denmark, Ralf Hinze University of Oxford, UK, Nicolas Wu University of Bristol, UK
13:30 - 15:00
Typing OO LanguagesNOOL at Ellwood 2
Chair(s): Alex Potanin Victoria University of Wellington
13:30
30m
Talk
Ubiquitous Object Orientation to Foster the Advancement of Programming Languages
NOOL
Darya Melicher Carnegie Mellon University
Link to publication
14:00
30m
Talk
Gradual typing is morally incorrect; we're all monsters now
NOOL
Timothy Jones Victoria University of Wellington, Michael Homer Victoria University of Wellington
Link to publication
14:30
30m
Talk
Enforcing Object-based Access in Newspeak
NOOL
Link to publication
13:30 - 15:00
Session 3PLMW at Fountain View
13:30
45m
Talk
Repeatability, Reproducibility and Rigor in CS Research
PLMW
Jan Vitek Northeastern University
File Attached
14:15
45m
Talk
Why Programming Languages Matter
PLMW
Andrew Black Portland State University
File Attached
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
13:30 - 15:00
Model Execution and VerificationSLE at Grand Station 2
Chair(s): Davide Di Ruscio University of L'Aquila
13:30
30m
Talk
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
SLE
Florent Latombe University of Toulouse, France, Xavier Crégut University of Toulouse, France, Benoit Combemale INRIA, France, Julien DeAntoni , Marc Pantel University of Toulouse, France
DOI Pre-print Media Attached File Attached
14:00
30m
Talk
Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
SLE
Erwan Bousse IRISA, France, Jonathan Corley University of Alabama, USA, Benoit Combemale INRIA, France, Jeff Gray University of Alabama, USA, Benoit Baudry INRIA, France
Link to publication DOI File Attached
14:30
30m
Talk
Using Decision Rules for Solving Conflicts in Extended Feature Models
SLE
Lina Ochoa University of Los Andes, Colombia, Oscar González-Rojas University of Los Andes, Colombia, Thomas Thüm University of Ulm
DOI
13:30 - 15:00
Session 3, CompilationDLS at Grand Station 3
13:30
22m
Talk
Compiling for Multi-Language Task Migration
DLS
13:52
22m
Talk
High-Performance Cross-Language Interoperability in a Multi-Language Runtime
DLS
Matthias Grimmer Johannes Kepler University Linz, Chris Seaton Oracle Labs / University of Manchester, Roland Schatz Johannes Kepler University Linz, Thomas Wuerthinger Oracle Labs, Hanspeter Mössenböck Johannes Kepler University Linz
14:15
22m
Talk
Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR
DLS
David Leopoldseder Johannes Kepler University Linz, Lukas Stadler Oracle Labs, Christian Wimmer Oracle Labs, Hanspeter Mössenböck Johannes Kepler University Linz
14:37
22m
Talk
Language Independent Storage Strategies for Tracing JIT based VMs
DLS
Tim Felgentreff HPI, Germany, Tobias Pape Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI, Carl Friedrich Bolz-Tereick King's College London , Anton Gulenko TU Berlin
13:30 - 15:30
13:30
60m
Talk
Promoto Keynote: Towards More Natural Programming for Mobile and Touch
PROMOTO
Brad A. Myers Carnegie Mellon University
14:30
30m
Talk
Supporting ``What-If'' in Touch-Screen Web Applications
PROMOTO
Peter Simonyi Carleton University, Jeff Wilson Carleton University, Judith Brown Carleton University, Robert Biddle Carleton University
15:00
30m
Talk
Collaborative Annotations for Large Touchscreen Web Applications
PROMOTO
Miran Mirza Carleton University, Jeff Wilson Carleton University, Robert Biddle Carleton University
15:30 - 17:20
15:30
30m
Talk
DS Invited Keynote Talk III: Papers vs. Artifacts
Doctoral Symposium
Philipp Haller KTH Royal Institute of Technology
16:00
40m
Talk
Panini: A Concurrent Programming Model With Modular Reasoning
Doctoral Symposium
16:40
40m
Talk
The Spreadsheet Paradigm: A Basis for Powerful and Accessible Programming
Doctoral Symposium
A: Gary Miller University of Technology Sydney
15:30 - 17:00
Session 4DSM at Brighton 4
15:30
90m
Other
Group work
DSM

15:30 - 17:00
Session 4ETX at Edenburg
15:30
40m
Talk
Experience from Implementing a Complex Eclipse Extension for Software Product Line Engineering
ETX
Sascha El-Sharkawy University of Hildesheim, Christian Kröher University of Hildesheim, Holger Eichelberger University of Hildesheim, Klaus Schmid Stiftung Universistat Hildesheim
16:10
40m
Talk
GOLD: A Graph Oriented Language Implemented Using the Eclipse Xtext FrameWork
ETX
Alejandro Sotelo Universidad de los Andes, Silvia Takahashi Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
16:50
10m
Day closing
Wrap up
ETX

15:30 - 17:00
Session 4DBPL at Ellwood 1
Chair(s): Jeremy Gibbons University of Oxford, UK
15:30
30m
Talk
Using Dependent Types and Tactics to Enable Semantic Optimization of Language-Integrated Queries
DBPL
16:00
30m
Talk
Relative Expressive Power of Downward Fragments of Navigational Query Languages on Trees and Chains
DBPL
Jelle Hellings Hasselt University and Transnational University of Limburg, Marc Gyssens Hasselt University and Transnational University of Limburg, Yuqing Wu Indiana University, Dirk Van Gucht Indiana University, Jan Van den Bussche Hasselt University and Transnational University of Limburg, Stijn Vansummeren Université Libre de Bruxelles, George Fletcher Eindhoven University of Technology
16:30
30m
Talk
Typing Regular Path Query Languages for Data Graphs
DBPL
15:30 - 17:00
Designing OO LanguagesNOOL at Ellwood 2
Chair(s): Alex Potanin Victoria University of Wellington
15:30
30m
Talk
Proposal for an Object-Oriented Multiple Dispatch Mechanism
NOOL
Link to publication
16:00
30m
Talk
Classes Considered Harmful
NOOL
Andrew Black Portland State University
Pre-print File Attached
16:30
30m
Talk
Delegation is Not Quite Inheritance
NOOL
James Noble Victoria University of Wellington
Link to publication File Attached
15:30 - 17:00
Session 4PLMW at Fountain View
15:30
60m
Other
Panel: Graduate School: Why and How?
PLMW
Jonathan Bell Columbia University, Chris Martens Carnegie Mellon University, Timothy Jones Victoria University of Wellington
16:30
30m
Talk
What to Do at SPLASH
PLMW
Darya Melicher Carnegie Mellon University
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

15:30 - 17:00
Tools II and ClosingSLE at Grand Station 2
Chair(s): Anya Helene Bagge University of Bergen, Norway
15:30
30m
Talk
The Whiley Rewrite Language (WyRL)
SLE
David J. Pearce Victoria University of Wellington
DOI
16:00
30m
Talk
Parsing Expression Grammars Made Practical
SLE
Nicolas Laurent Université Catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium
DOI Pre-print
16:30
30m
Day closing
Closing
SLE

15:30 - 17:30
Session 4, Empirical StudiesDLS at Grand Station 3
15:30
24m
Talk
Measuring Polymorphism in Python Programs
DLS
Beatrice Åkerblom Stockholm University, Tobias Wrigstad Uppsala University
15:54
24m
Talk
Tracking Down Performance Variation Against Source Code Evolution
DLS
Juan Pablo Sandoval Alcocer Universidad Católica Boliviana San Pablo, Alexandre Bergel
16:18
24m
Talk
Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines
DLS
Madhukar Kedlaya University of California, Santa Barbara, Behnam Robatmili Qualcomm Research, Ben Hardekopf UC Santa Barbara
16:42
24m
Talk
An Empirical Investigation of the Effects of Type Systems and Code Completion on API Usability using TypeScript and JavaScript in MS Visual Studio
DLS
Lars Fischer University of Duisburg-Essen, Essen, Germany, Stefan Hanenberg University of Duisburg-Essen
17:06
24m
Talk
Access Control to Reflection with Object Ownership
DLS
Camille Teruel INRIA, Stéphane Ducasse INRIA, France, Damien Cassou Lille 1 University, Marcus Denker INRIA Lille
16:00 - 17:35
16:00
30m
Demonstration
Demos
PROMOTO

16:30
30m
Other
Open Discussion
PROMOTO

17:00
35m
Day closing
Closing
PROMOTO

17:00 - 17:30
Session 5REBLS at Haselton 1
17:00
30m
Day closing
Discussion and closing remarks
REBLS

Wed 28 Oct

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

10:00 - 10:45
10:00
45m
Demonstration
Custom Full-Coverage Dynamic Program Analysis for Android
Demos
Haiyang Sun Università della Svizzera italiana, Yudi Zheng University of Lugano, Lubomír Bulej Università della Svizzera italiana, Stephen Kell University of Cambridge, Walter Binder University of Lugano
10:00 - 10:45
10:00
45m
Demonstration
Consensus-based Mining of API Preconditions in Big Code
Demos
Hoan Nguyen Iowa State University, Robert Dyer Bowling Green State University, Tien N. Nguyen Iowa State University, Hridesh Rajan Iowa State University, USA
10:30 - 12:00
Software ProfessionalismPanels at Fountain View
Chair(s): Steven D. Fraser Innoxec – Innovation Executive Services
10:30
90m
Talk
Software Professionalism – Is it “Good Enough?”
Panels
P: Dennis Mancl MSWX, P: Nancy Mead Carnegie Mellon Software Engineering Institute, P: Mary Shaw Carnegie Mellon University, P: Werner Wild University of Innsbruck, P: Steven D. Fraser Innoxec – Innovation Executive Services
10:30 - 12:00
1. Model CheckingOOPSLA 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
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
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
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
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
10:30 - 12:00
2. Domain Specific LanguagesOOPSLA at Grand Station 2
Chair(s): Eelco Visser Delft University of Technology
10:30
22m
Talk
Synthesis of Layout Engines from Relational Constraints
OOPSLA
Thibaud Hottelier Graphistry, Inc, Rastislav Bodík University of Washington, USA
Link to publication Media Attached
10:52
22m
Talk
A Sound and Optimal Incremental Build System with Dynamic DependenciesOOPSLA Artifact
OOPSLA
Sebastian Erdweg TU Darmstadt, Germany, Moritz Lichter TU Darmstadt, Germany, Manuel Weiel TU Darmstadt, Germany
Link to publication Media Attached
11:15
22m
Talk
FlashMeta: A Framework for Inductive Program Synthesis
OOPSLA
Alex Polozov University of Washington, USA, Sumit Gulwani Microsoft Research, USA
Link to publication DOI Media Attached
11:37
22m
Talk
Scrap your Boilerplate with Object AlgebrasOOPSLA Artifact
OOPSLA
Haoyuan Zhang University of Hong Kong, China, Zewei Chu University of Hong Kong, China, Bruno C. d. S. Oliveira University of Hong Kong, China, Tijs van der Storm CWI
Link to publication Media Attached
12:00 - 12:45
12:00
45m
Demonstration
Demonstrating Programming Language Feature Mining Using Boa
Demos
Robert Dyer Bowling Green State University, Hridesh Rajan Iowa State University, USA, Tien N. Nguyen Iowa State University, Hoan Nguyen Iowa State University
Pre-print
12:45 - 13:30
12:45
45m
Demonstration
Making Live Programming Practical by Bridging the Gap Between Trial-and-error Development and Unit Testing
Demos
Tomoki Imai Tokyo Institute of Technology, Japan, Hidehiko Masuhara Tokyo Institute of Technology, Japan, Tomoyuki Aotani Tokyo Institute of Technology, Japan
12:45 - 13:30
12:45
45m
Demonstration
GTInspector: A Moldable Domain-Aware Object Inspector
Demos
Andrei Chiş University of Bern, Switzerland, Tudor Gîrba tudorgirba.com, Switzerland, Oscar Nierstrasz University of Bern, Switzerland, Aliaksei Syrel University of Bern, Switzerland
DOI Pre-print Media Attached
13:30 - 15:00
Tutorial 3Tutorials at Edenburg
13:30
90m
Talk
The Role of Ethnography in Programming Language Research: Developer-Centered Design of Languages and Tools
Tutorials
Yvonne Dittrich IT University of Copenhagen, Cleidson de Souza Federal University of Pará Belém, Helen Sharp The Open University
File Attached
13:30 - 15:00
Programming LanguagesPanels at Fountain View
Chair(s): Steven D. Fraser Innoxec – Innovation Executive Services
13:30
90m
Talk
The Future of Programming Languages and Programmers
Panels
P: Lars Bak Google, P: Robert DeLine Microsoft Research, P: Nick Feamster Princeton University, P: Lindsey Kuper Intel Labs, P: Crista Lopes University of California, Irvine, P: Peng Wu Huawei America Lab, P: Steven D. Fraser Innoxec – Innovation Executive Services
13:30 - 15:00
3. VerificationOOPSLA at Grand Station 1
Chair(s): Guangtai Liang IBM Research - China
13:30
22m
Talk
Conditionally Correct Superoptimization
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
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
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
OOPSLA
Gian Ntzik Imperial College London, UK, Philippa Gardner Imperial College London, UK
DOI
13:30 - 15:00
Session the FirstOnward! Papers at Grand Station 2
Chair(s): Stéphane Ducasse INRIA, France
13:30
22m
Talk
Towards Secure Integration of Cryptographic Software
Onward! Papers
Steven Arzt TU Darmstadt, Sarah Nadi Technische Universität Darmstadt, Karim Ali TU Darmstadt, Sebastian Erdweg TU Darmstadt, Germany, Eric Bodden Fraunhofer SIT and TU Darmstadt, Mira Mezini TU Darmstadt
Link to publication DOI Media Attached
13:52
22m
Talk
Runtime Metric Meets Developer - Building Better Cloud Applications Using Feedback
Onward! Papers
Jürgen Cito University of Zurich, Philipp Leitner University of Zurich, Harald Gall University of Zurich, Aryan Dadashi SAP, Anne Keller SAP, Andreas Roth SAP
Pre-print Media Attached
14:15
22m
Talk
Constraints as a Design Pattern
Onward! Papers
Hesam Samimi SAP Labs, Alessandro Warth SAP Labs, Mahdi Eslamimehr SAP Labs, Alan Borning University of Washington, USA
14:37
22m
Talk
The Moldable Inspector
Onward! Papers
Andrei Chiş University of Bern, Switzerland, Tudor Gîrba tudorgirba.com, Switzerland, Oscar Nierstrasz University of Bern, Switzerland, Aliaksei Syrel University of Bern, Switzerland
DOI Pre-print Media Attached
15:00 - 15:45
15:00
45m
Demonstration
Fraglight: Shedding Light on Broken Pointcuts in Evolving Aspect-Oriented Software
Demos
Raffi Khatchadourian Hunter College, City University of New York, Awais Rashid Lancaster University, UK, Hidehiko Masuhara Tokyo Institute of Technology, Japan, Watanabe Takuya Edirium K.K.
Media Attached
15:00 - 15:45
15:00
45m
Demonstration
Ultra Lightweight JavaScript Engine for Internet of Things: demonstration
Demos
Evgeny Gavrin Samsung Electronics, Ruben Ayrapetyan , Andrey Shitov , Sung-Jae Lee Samsung Electronics
15:30 - 17:00
Tutorial 4Tutorials at Edenburg
15:30
90m
Talk
Software Analytics: Achievements and Challenges
Tutorials
Tao Xie University of Illinois at Urbana-Champaign, Dongmei Zhang Microsoft Research, China
15:30 - 17:00
4. ConcurrencyOOPSLA 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
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
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
OOPSLA
Nachshon Cohen Technion, Israel, Erez Petrank Technion, Israel
DOI
16:37
22m
Talk
Protocol-Based Verification of Message-Passing Parallel ProgramsOOPSLA Artifact
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
15:30 - 17:00
Session 1Onward! Essays at Grand Station 2
Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research
15:30
45m
Talk
Against a Universal Definition of Type
Onward! Essays
Tomas Petricek University of Cambridge, UK
DOI Media Attached
16:15
45m
Talk
The Cuban Software Revolution: 2016–2025
Onward! Essays
David M. West Transcendence, USA
DOI
18:00 - 21:00
18:00
3h
Social Event
Posters Reception
Social Events

18:00 - 21:00
PostersStudent Research Competition at Admiral and Reflections
Chair(s): Sam Guyer Tufts University, Patrick Lam University of Waterloo, Canada
18:00
3h
Talk
Efficient Support for Strong Semantics in Transactional and Non-transactional Programs
Student Research Competition
Aritra Sengupta Ohio State University
18:00
3h
Talk
Automatic Array Property Detection Via Static Analysis
Student Research Competition
18:00
3h
Talk
KinEdit: A Tool to Help Developers Refactor Manually
Student Research Competition
Josh Terrell California Polytechnic University
18:00
3h
Talk
Finding Bugs in Spreadsheets Using Reference Counting
Student Research Competition
Nima Joharizadeh University of California, Davis
18:00
3h
Talk
Viser: Providing Serializability in Hardware With Simplified Cache Coherence
Student Research Competition
Swarnendu Biswas Ohio State University, USA
18:00
3h
Talk
Concurrency Control for Multithreaded Reactive Programming
Student Research Competition
Ragnar Mogk Technische Universität Darmstadt
18:00
3h
Talk
Gradual Mode Types for Energy-Aware Programming
Student Research Competition
Anthony Canino SUNY Binghamton
18:00
3h
Talk
Race-driven UI-level Test Generation for JavaScript-based Web Applications
Student Research Competition
18:00
3h
Talk
Contributions of the Under-Appreciated: Gender Bias in an Open-Source Ecology
Student Research Competition
Andrew Kofink North Carolina State University
18:00
3h
Talk
Safely Evolving Configurable Systems
Student Research Competition
Flavio Medeiros Federal University of Campina Grande
18:00
3h
Talk
SIRe: An Efficient Snapshot Isolation-based Memory Model for Detecting and Tolerating Region Conflicts
Student Research Competition
Minjia Zhang Ohio State University, USA
18:00
3h
Talk
The Oprop Verification Tool: Object Propositions in Action
Student Research Competition
Nistor Ligia Carnegie Mellon University
18:00 - 21:00
Poster SessionPosters at Admiral and Reflections
Chair(s): Jeff Huang Texas A&M University, Nick Sumner Simon Fraser University
18:00
3h
Talk
Shiranui: A Live Programming with Support for Unit Testing
Posters
Tomoki Imai Tokyo Institute of Technology, Japan, Hidehiko Masuhara Tokyo Institute of Technology, Japan, Tomoyuki Aotani Tokyo Institute of Technology, Japan
DOI
18:00
3h
Talk
Exploiting Parallelism in Mobile Devices
Posters
Arghya Chatterjee Rice University, USA, Timothy Newton Rice University, USA, Tom Roush Rice University, USA, Hunter Tidwell Rice University, USA, Vivek Sarkar Rice University
DOI
18:00
3h
Talk
ModeSens: An Approach for Multi-modal Mobile Sensing
Posters
Ahmed Abdel Moamen University of Saskatchewan, Canada, Nadeem Jamali University of Saskatchewan, Canada
DOI
18:00
3h
Talk
Towards Transitory Encapsulation
Posters
Sebastian Fleissner Australian National University, Australia
DOI
18:00
3h
Talk
Statik: An Incremental Compiler Generator
Posters
Michael Biggs Broadway Technology, USA
DOI
18:00
3h
Talk
Toward Incremental Type Checking for Java
Posters
Edlira Kuci TU Darmstadt, Germany, Sebastian Erdweg TU Darmstadt, Germany, Mira Mezini TU Darmstadt
DOI
18:00
3h
Talk
Pyrlang: A High Performance Erlang Virtual Machine Based on RPython
Posters
Ruochen Huang Tokyo Institute of Technology, Japan, Hidehiko Masuhara Tokyo Institute of Technology, Japan, Tomoyuki Aotani Tokyo Institute of Technology, Japan
DOI
18:00
3h
Talk
Conf.Researchr.Org: Towards a Domain-Specific Content Management System for Managing Large Conference Websites
Posters
Elmer van Chastelet Delft University of Technology, Eelco Visser Delft University of Technology, Craig Anslow Middlesex University, London
DOI
18:00
3h
Talk
Evaluating Work Distribution Patterns for Parallel Bitmap Compression over SMPs
Posters
Ben McCamish Oregon State University, USA, Xinghui Zhao Washington State University, David Chiu University of Puget Sound, USA, Jason Sawin University of St. Thomas, USA, Guadalupe Canahuate University of Iowa, USA
DOI
18:00
3h
Talk
Spotter: Towards a Unified Search Interface in IDEs
Posters
Aliaksei Syrel University of Bern, Switzerland, Andrei Chiş University of Bern, Switzerland, Tudor Gîrba tudorgirba.com, Switzerland, Juraj Kubelka University of Chile, Chile, Oscar Nierstrasz University of Bern, Switzerland, Stefan Reichhart n.n., Switzerland
DOI Pre-print Media Attached
18:00
3h
Talk
Toward a Java Based Infrastructure for Unmanned Aerial Vehicles
Posters
Yu David Liu State University of New York (SUNY) Binghamton, Lukasz Ziarek State University of New York (SUNY) Buffalo
DOI
18:00
3h
Talk
Porting the NetBeans Java 8 Enhanced for Loop Lambda Expression Refactoring to Eclipse
Posters
Md. Arefin New York City College of Technology, City University of New York, Raffi Khatchadourian Hunter College, City University of New York
DOI Pre-print File Attached
19:30 - 21:30
Richard's Pretty Good TalksRPG at Grand Station 2
Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research
19:30
60m
Meeting
Programming as Writing (and vice versa?)
RPG
Crista Lopes University of California, Irvine, Annette Vee University of Pittsburgh
20:30
60m
Meeting
Singing the Blues / What is a Song?
RPG

Thu 29 Oct

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

10:00 - 10:45
10:00
45m
Demonstration
Making Live Programming Practical by Bridging the Gap Between Trial-and-error Development and Unit Testing
Demos
Tomoki Imai Tokyo Institute of Technology, Japan, Hidehiko Masuhara Tokyo Institute of Technology, Japan, Tomoyuki Aotani Tokyo Institute of Technology, Japan
10:00 - 10:45
10:00
45m
Demonstration
Demonstrating Programming Language Feature Mining Using Boa
Demos
Robert Dyer Bowling Green State University, Hridesh Rajan Iowa State University, USA, Tien N. Nguyen Iowa State University, Hoan Nguyen Iowa State University
Pre-print
10:30 - 12:00
Tutorial 5Tutorials at Edenburg
10:30
90m
Talk
Building Secure Software Architectures using Security Patterns
Tutorials
Eduardo Fernandez Florida Atlantic University
10:30 - 12:00
5. MobilityOOPSLA 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
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
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
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
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
10:30 - 12:00
6. Compilation and ToolsOOPSLA at Grand Station 2
Chair(s): Gorel Hedin Lund University
10:30
22m
Talk
Declarative Fence InsertionOOPSLA Artifact
OOPSLA
John Bender University of California at Los Angeles, USA, Mohsen Lesani MIT, Jens Palsberg University of California at Los Angeles, USA
Link to publication
10:52
22m
Talk
Finding Deep Compiler Bugs via Guided Stochastic Program Mutation
OOPSLA
Vu Le University of California at Davis, USA, Chengnian Sun University of California at Davis, USA, Zhendong Su University of California at Davis, USA
DOI
11:15
22m
Talk
Vectorization of Apply to Reduce Interpretation Overhead of ROOPSLA Artifact
OOPSLA
Haichuan Wang University of Illinois at Urbana-Champaign, David Padua University of Illinois at Urbana-Champaign, Peng Wu Huawei America Lab
DOI
11:37
22m
Talk
Synthesizing Java Expressions from Free-Form Queries
OOPSLA
Tihomir Gvero EPFL, Switzerland, Viktor Kunčak EPFL, Switzerland
Link to publication
10:30 - 12:00
Session 2Onward! Essays at Grand Station 3-5
Chair(s): Stephen Kell University of Cambridge
10:30
45m
Talk
Towards a Theory of Conceptual Design for Software
Onward! Essays
Daniel Jackson Massachusetts Institute of Technology, USA
DOI
11:15
45m
Talk
The Cuneiform Tablets of 2015
Onward! Essays
Long Tien Nguyen University of California at Los Angeles, USA, Alan Kay University of California at Los Angeles, USA
DOI
10:30 - 12:00
TalksStudent Research Competition at Grand Station 4
Chair(s): Sam Guyer Tufts University, Patrick Lam University of Waterloo, Canada
12:00 - 12:45
12:00
45m
Demonstration
Consensus-based Mining of API Preconditions in Big Code
Demos
Hoan Nguyen Iowa State University, Robert Dyer Bowling Green State University, Tien N. Nguyen Iowa State University, Hridesh Rajan Iowa State University, USA
12:00 - 12:45
Demo11Demos at Woodlawn 1
12:00
45m
Demonstration
Fraglight: Shedding Light on Broken Pointcuts in Evolving Aspect-Oriented Software
Demos
Raffi Khatchadourian Hunter College, City University of New York, Awais Rashid Lancaster University, UK, Hidehiko Masuhara Tokyo Institute of Technology, Japan, Watanabe Takuya Edirium K.K.
Media Attached
12:45 - 13:30
12:45
45m
Demonstration
Custom Full-Coverage Dynamic Program Analysis for Android
Demos
Haiyang Sun Università della Svizzera italiana, Yudi Zheng University of Lugano, Lubomír Bulej Università della Svizzera italiana, Stephen Kell University of Cambridge, Walter Binder University of Lugano
12:45 - 13:30
Demo13Demos at Woodlawn 1
12:45
45m
Demonstration
Ultra Lightweight JavaScript Engine for Internet of Things: demonstration
Demos
Evgeny Gavrin Samsung Electronics, Ruben Ayrapetyan , Andrey Shitov , Sung-Jae Lee Samsung Electronics
13:30 - 15:00
Tutorial 6Tutorials at Edenburg
13:30
90m
Talk
The Use of Text Retrieval and Natural Language Processing in Software Engineering
Tutorials
Venera Arnaoudova Washington State University Pullman, Sonia Haiduc Florida State University Tallahassee, Andrian Marcus University of Texas at Dallas, Giuliano Antoniol Polytechnique Montréal
13:30 - 15:00
7. RuntimeOOPSLA at Grand Station 1
Chair(s): Michael Pradel TU Darmstadt, Germany
13:30
22m
Talk
Accurate Profiling in the Presence of Dynamic CompilationOOPSLA Artifact
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
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
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
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
13:30 - 15:00
Session the SecondOnward! Papers at Grand Station 3-5
Chair(s): Karim Ali TU Darmstadt
13:30
22m
Talk
Just-in-Time Data Structures
Onward! Papers
Mattias De Wael Vrije Universiteit Brussel, Stefan Marr INRIA, France, Joeri De Koster Vrije Universiteit Brussel, Jennifer B. Sartor Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication DOI
13:52
22m
Talk
Separation of Powers in the Cloud: Where Applications and Users Become Peers
Onward! Papers
David H. Lorenz Open University and Technion IIT, Boaz Rosenan University of Haifa
Media Attached
14:15
22m
Talk
Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations
Onward! Papers
Junsong Li Brown University, Justin Pombrio , Joe Gibbs Politz Swarthmore College, Shriram Krishnamurthi Brown University
Media Attached
14:37
22m
Talk
Musiplectics: Computational Assessment of the Complexity of Music Scores
Onward! Papers
Ethan Holder Virginia Tech, Eli Tilevich Virginia Tech, Amy Gillick Virginia Tech
15:00 - 15:45
Demo15Demos at Woodlawn 1
15:00
45m
Demonstration
GTInspector: A Moldable Domain-Aware Object Inspector
Demos
Andrei Chiş University of Bern, Switzerland, Tudor Gîrba tudorgirba.com, Switzerland, Oscar Nierstrasz University of Bern, Switzerland, Aliaksei Syrel University of Bern, Switzerland
DOI Pre-print Media Attached
15:30 - 17:00
Tutorial 7Tutorials at Edenburg
15:30
90m
Talk
Mining Programming Language Usage with Boa
Tutorials
Robert Dyer Bowling Green State University, Hridesh Rajan Iowa State University, USA, Tien N. Nguyen Iowa State University, Hoan Nguyen Iowa State University
Pre-print File Attached
15:30 - 17:30
8. Static AnalysisOOPSLA at Grand Station 1
Chair(s): Werner Dietl University of Waterloo
15:30
24m
Talk
Static Analysis of Event-Driven Node.js JavaScript Applications
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
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
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
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
OOPSLA
Hakjoo Oh Korea University, South Korea, Hongseok Yang University of Oxford, UK, Kwangkeun Yi Seoul National University, South Korea
DOI Media Attached
15:30 - 17:30
Session the ThirdOnward! Papers at Grand Station 3-5
Chair(s): Lindsey Kuper Intel Labs
15:30
24m
Talk
Toward tool support for interactive synthesis
Onward! Papers
Shaon Barman UC Berkeley, Rastislav Bodík University of Washington, USA, Satish Chandra Samsung Research America, Emina Torlak University of Washington, Arka Bhattacharya UC Berkeley, David Culler UC Berkeley
15:54
24m
Talk
Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers
Onward! Papers
Sylvia Grewe TU Darmstadt, Sebastian Erdweg TU Darmstadt, Germany, Pascal Wittmann TU Darmstadt, Mira Mezini TU Darmstadt
Link to publication
16:18
24m
Talk
One Parser to Rule Them All
Onward! Papers
Ali Afroozeh Centrum Wiskunde & Informatica, Anastasia Izmaylova Centrum Wiskunde & Informatica
Link to publication DOI Pre-print Media Attached
16:42
24m
Talk
Isolates, Channels and Event Streams for Composable Distributed Programming
Onward! Papers
Aleksandar Prokopec EPFL, Martin Odersky EPFL, Switzerland
17:06
24m
Talk
A Bootstrapping Infrastructure to Build and Extend Pharo-like Languages
Onward! Papers
Guillermo Polito Inria, Stéphane Ducasse INRIA, France, Noury Bouraqadi Mines Douai, Luc Fabresse Mines Douai
18:30 - 21:00
18:30
2h30m
Social Event
Conference Banquet
Social Events

Fri 30 Oct

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

10:00 - 10:45
Demo17Demos at Woodlawn 1
10:00
45m
Demonstration
Demonstrating Programming Language Feature Mining Using Boa
Demos
Robert Dyer Bowling Green State University, Hridesh Rajan Iowa State University, USA, Tien N. Nguyen Iowa State University, Hoan Nguyen Iowa State University
Pre-print
10:30 - 12:00
Tutorial 8Tutorials at Edenburg
10:30
90m
Talk
Shipshape: An Open Program Analysis Platform
Tutorials
Ciera Jaspan Google, Emma Söderberg Google Inc., Jesper Oqvist Lund University
Media Attached
10:30 - 12:00
9. Compilation & Dynamic AnalysisOOPSLA at Grand Station 1
Chair(s): Frank Tip Samsung Research America
10:30
22m
Talk
Runtime Pointer DisambiguationOOPSLA Artifact
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
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
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
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
10:30 - 12:00
10. Empirical Studies & ApproximationOOPSLA at Grand Station 2
Chair(s): John Field Google
10:30
22m
Talk
Using C Language Extensions for Developing Embedded Software: A Case Study
OOPSLA
Markus Völter itemis, Germany, Arie van Deursen Delft University of Technology, Netherlands, Bernd Kolb itemis AG, Stephan Eberle itemis AG
DOI Pre-print Media Attached
10:52
22m
Talk
How Scale Affects Structure in Java ProgramsOOPSLA Artifact
OOPSLA
Crista Lopes University of California, Irvine, Joel Ossher University of California, Irvine
DOI Pre-print Media Attached File Attached
11:15
22m
Talk
Use at Your Own Risk: The Java Unsafe API in the WildOOPSLA Artifact
OOPSLA
Luis Mastrangelo University of Lugano, Switzerland, Luca Ponzanelli University of Lugano, Switzerland, Andrea Mocci University of Lugano, Switzerland, Michele Lanza University of Lugano, Switzerland, Matthias Hauswirth University of Lugano, Switzerland, Nate Nystrom University of Lugano, Switzerland
DOI Media Attached
11:37
22m
Talk
Approximate Computation with Outlier Detection in TopazOOPSLA Artifact
OOPSLA
Sara Achour Massachusetts Institute of Technology, USA, Martin C. Rinard Massachusetts Institute of Technology, USA
DOI Media Attached
12:00 - 12:45
12:00
45m
Demonstration
Consensus-based Mining of API Preconditions in Big Code
Demos
Hoan Nguyen Iowa State University, Robert Dyer Bowling Green State University, Tien N. Nguyen Iowa State University, Hridesh Rajan Iowa State University, USA
12:00 - 12:45
Demo19Demos at Woodlawn 1
12:00
45m
Demonstration
Making Live Programming Practical by Bridging the Gap Between Trial-and-error Development and Unit Testing
Demos
Tomoki Imai Tokyo Institute of Technology, Japan, Hidehiko Masuhara Tokyo Institute of Technology, Japan, Tomoyuki Aotani Tokyo Institute of Technology, Japan
12:45 - 13:30
12:45
45m
Demonstration
Custom Full-Coverage Dynamic Program Analysis for Android
Demos
Haiyang Sun Università della Svizzera italiana, Yudi Zheng University of Lugano, Lubomír Bulej Università della Svizzera italiana, Stephen Kell University of Cambridge, Walter Binder University of Lugano
12:45 - 13:30
Demo21Demos at Woodlawn 1
12:45
45m
Demonstration
Ultra Lightweight JavaScript Engine for Internet of Things: demonstration
Demos
Evgeny Gavrin Samsung Electronics, Ruben Ayrapetyan , Andrey Shitov , Sung-Jae Lee Samsung Electronics
13:30 - 15:00
Tutorial 9Tutorials at Edenburg
13:30
90m
Talk
Analyze your Java Source Code with ExtendJ
Tutorials
Jesper Oqvist Lund University, Gorel Hedin Lund University, Emma Söderberg Google Inc.
Media Attached
13:30 - 15:00
11. Programming Language DesignOOPSLA 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
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
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
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
OOPSLA
Michael Steindorfer CWI, Netherlands, Jurgen Vinju CWI, Netherlands
Link to publication
13:30 - 15:00
12. PerformanceOOPSLA at Grand Station 2
Chair(s): Tiark Rompf Purdue & Oracle Labs
13:30
22m
Talk
Automating Ad-hoc Data Representation TransformationsOOPSLA Artifact
OOPSLA
Vlad Ureche EPFL, Switzerland, Aggelos Biboudis University of Athens, Yannis Smaragdakis University of Athens, Martin Odersky EPFL, Switzerland
Pre-print Media Attached
13:52
22m
Talk
Tracing vs. Partial Evaluation: Comparing Meta-compilation Approaches for Self-Optimizing InterpretersOOPSLA Artifact
OOPSLA
Stefan Marr INRIA, France, Stéphane Ducasse INRIA, France
Link to publication Media Attached
14:15
22m
Talk
Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency to Threads on the Java Virtual Machine
OOPSLA
Ganesha Upadhyaya Iowa State University, USA, Hridesh Rajan Iowa State University, USA
DOI Pre-print Media Attached
14:37
22m
Talk
Partial Evaluation of Machine Code
OOPSLA
Venkatesh Srinivasan University of Wisconsin-Madison, USA, Thomas Reps University of Wisconsin - Madison and Grammatech Inc.
DOI Media Attached
15:00 - 15:45
15:00
45m
Demonstration
GTInspector: A Moldable Domain-Aware Object Inspector
Demos
Andrei Chiş University of Bern, Switzerland, Tudor Gîrba tudorgirba.com, Switzerland, Oscar Nierstrasz University of Bern, Switzerland, Aliaksei Syrel University of Bern, Switzerland
DOI Pre-print Media Attached
15:00 - 15:45
Demo23Demos at Woodlawn 1
15:00
45m
Demonstration
Fraglight: Shedding Light on Broken Pointcuts in Evolving Aspect-Oriented Software
Demos
Raffi Khatchadourian Hunter College, City University of New York, Awais Rashid Lancaster University, UK, Hidehiko Masuhara Tokyo Institute of Technology, Japan, Watanabe Takuya Edirium K.K.
Media Attached
15:30 - 17:00
Tutorial 10Tutorials at Edenburg
15:30
90m
Talk
Concurrency in Rust: Data race safety with zero cost abstractions
Tutorials
Nicholas Cameron Mozilla Research, Nicholas Matsakis Mozilla Corporation
15:30 - 17:00
13. Type SystemsOOPSLA 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
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
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
OOPSLA
Silvia Crafa Università di Padova, Italy, Luca Padovani
DOI
16:37
22m
Talk
Customizable Gradual Polymorphic Effects for ScalaOOPSLA Artifact
OOPSLA
Matías Toro University of Chile, Chile, Éric Tanter University of Chile, Chile
DOI
15:30 - 17:00
Session the FourthOnward! Papers at Grand Station 2
Chair(s): Gail Murphy University of British Columbia
15:30
22m
Talk
Columnar Objects: Improving the Performance of Analytical Applications
Onward! Papers
Toni Mattis Hasso Plattner Institute, Johannes Henning Hasso Plattner Institute, Patrick Rein Hasso Plattner Institute, Malte Appeltauer SAP, Robert Hirschfeld HPI
DOI Media Attached
15:52
22m
Talk
Virtualization Support for Dynamic Core Library Update
Onward! Papers
Guillermo Polito Inria, Stéphane Ducasse INRIA, France, Noury Bouraqadi Mines Douai, Luc Fabresse Mines Douai, Max Mattone Inria - Mines Douai
Media Attached
16:15
22m
Talk
Towards a dynamic object model within Unix processes
Onward! Papers
Stephen Kell University of Cambridge
Link to publication Pre-print Media Attached
16:37
22m
Talk
Towards Fully Reflective Environments
Onward! Papers
Guido Chari Dept. of Computer Science FCEyN, University of Buenos Aires, Diego Garbervetsky Departamento de Computación, FCEyN, UBA, Stefan Marr INRIA, France, Stéphane Ducasse INRIA, France
Pre-print Media Attached
17:00 - 18:30
17:00
90m
Social Event
Ice Cream Social
Social Events