SPLASH 2015 (series) /
SPLASH 2015 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Fri 23 OctDisplayed time zone: Eastern Time (US & Canada) change
Fri 23 Oct
Displayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 90mMeeting | Bootcamp 1 PLoP | ||
10:30 - 12:00 | |||
10:30 90mMeeting | Bootcamp 2 PLoP | ||
13:00 - 15:00 | |||
13:00 2hMeeting | Bootcamp 3 PLoP | ||
15:30 - 18:00 | |||
15:30 2h30mMeeting | Bootcamp 4 PLoP | ||
Sat 24 OctDisplayed time zone: Eastern Time (US & Canada) change
Sat 24 Oct
Displayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 15mTalk | QA to AQ Part Four - Shifting from Quality Assurance to Agile Quality: “Prioritizing Qualities and Making them Visible” PLoP | ||
08:45 15mTalk | Towards A Catalogue of Design Patterns Variants PLoP | ||
09:00 15mTalk | Patterns to Develop and Evolve an Agile Architecture During a Software Project PLoP | ||
09:15 15mTalk | Dynamic Generated Adapters from Adaptive Object Models to Static APIs PLoP | ||
09:30 15mTalk | Relating Patterns and Reference Architectures PLoP | ||
09:45 15mTalk | Logical Layering Heuristic Pattern PLoP | ||
08:30 - 10:00 | |||
08:30 90mDay opening | Opening and Games 1 PLoP | ||
10:30 - 12:00 | |||
10:30 90mTalk | PLoP Keynote: Keeping A Pattern Language Alive PLoP Mary Lynn Manns University of North Carolina Asheville, USA | ||
13:00 - 15:00 | |||
13:00 20mTalk | Dynamic Generated Adapters from Adaptive Object Models to Static APIs PLoP | ||
13:20 20mTalk | Logical Layering Heuristic Pattern PLoP | ||
13:40 20mTalk | Patterns to Develop and Evolve an Agile Architecture During a Software Project PLoP | ||
14:00 20mTalk | QA to AQ Part Four - Shifting from Quality Assurance to Agile Quality: “Prioritizing Qualities and Making them Visible” PLoP | ||
14:20 20mTalk | Relating Patterns and Reference Architectures PLoP | ||
14:40 20mTalk | Towards A Catalogue of Design Patterns Variants PLoP | ||
13:00 - 15:00 | |||
13:00 60mOther | Reading Time 1 PLoP | ||
14:00 60mOther | Games 1 PLoP | ||
15:30 - 18:00 | |||
15:30 37mTalk | Fearless Change Journey PLoP Mary Lynn Manns University of North Carolina Asheville, USA | ||
16:07 37mTalk | Generative Processes of Community with the Fundamental Properties PLoP | ||
16:45 37mTalk | Pattern Language of Layering Focus Group PLoP | ||
17:22 37mDay closing | Daily Review 1 PLoP | ||
Sun 25 OctDisplayed time zone: Eastern Time (US & Canada) change
Sun 25 Oct
Displayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 90mDay opening | Opening and Games 2 PLoP | ||
08:30 - 10:00 | |||
09:00 15mDay opening | Opening Parsing@SLE | ||
09:15 45mTalk | Invited talk: Parsing Unpreprocessed C Code - The TypeChef Experience Parsing@SLE | ||
10:30 - 12:00 | |||
10:30 - 12:00 | |||
10:30 30mTalk | Modular Syntax Parsing@SLE Cyrus Omar Carnegie Mellon University | ||
11:00 30mTalk | 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 30mTalk | Fastparse: programmable parsers for the 21st century Parsing@SLE | ||
13:00 - 15:00 | |||
13:00 60mOther | Reading Time 2 PLoP | ||
14:00 60mOther | Games 2 PLoP | ||
13:30 - 15:00 | |||
13:30 30mTalk | Operator Precedence for Parser Combinators Parsing@SLE Anastasia Izmaylova Centrum Wiskunde & Informatica | ||
14:00 30mTalk | Disambiguating Grammars with Tree Automata Parsing@SLE Michael D. Adams University of Utah | ||
14:30 30mTalk | 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 | |||
15:30 2hTalk | Developing an Open, Collaborative Design Pattern Repository PLoP | ||
15:30 2hTalk | Improving Writer’s Workshop by Introducing Checklists and Perspectives PLoP | ||
17:30 30mDay closing | Daily Review 2 PLoP | ||
15:30 - 17:00 | |||
15:30 30mTalk | 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 15mDay closing | Closing Parsing@SLE | ||
18:00 - 20:30 | |||
18:00 2h30mSocial Event | Hillside/PLoP Meeting Reception PLoP | ||
20:30 - 21:30 | |||
20:30 60mSocial Event | Musical Bofs PLoP | ||
Mon 26 OctDisplayed time zone: Eastern Time (US & Canada) change
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 10mDay opening | Opening MobileDeLi | ||
08:40 25mTalk | MobileDeli Keynote: Mobile security MobileDeLi Robert Seacord Secure Coding Institute | ||
09:05 15mTalk | A Lightweight JavaScript Engine for Mobile Devices MobileDeLi | ||
09:20 15mTalk | An Energy-Saving Framework for Mobile Devices Based on Crowdsourcing Intelligences MobileDeLi | ||
09:35 15mTalk | 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 5mTalk | Challenges in Transition from Web to App MobileDeLi File Attached | ||
09:55 5mTalk | Mobile Devices as Interfaces for Steering Cloud-Based High-Performance Computations MobileDeLi | ||
08:30 - 10:00 | |||
08:30 15mDay opening | SPLASH-E Introduction SPLASH-E Eli Tilevich Virginia Tech | ||
08:45 30mTalk | Teaching Big Data with a Virtual Cluster SPLASH-E Joshua Eckroth Stetson University File Attached | ||
09:15 30mTalk | A Generic Framework for Engaging Online Data Sources in Introductory Programming Courses SPLASH-E Nadeem Hamid Berry College File Attached | ||
09:45 15mBreak | Session 1 Discussion SPLASH-E | ||
08:30 - 10:00 | |||
08:30 90mDay opening | Opening and Games 3 PLoP | ||
08:30 - 10:00 | |||
08:30 90mTalk | GPCE Keynote: "Technologies to Enable the Next-Generation Stadium and Fan Experience" by Priya Narasimhan GPCE Priya Narasimhan Carnegie Mellon University | ||
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 50mTalk | AGERE! Keynote: Concurrent, Distributed Thinking for First-time Programmers in StarLogo Nova AGERE! Daniel Wendel MIT | ||
09:20 20mTalk | Objects as Session-Typed Processes AGERE! | ||
09:40 20mTalk | 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 | |||
08:30 30mTalk | Organizers' Welcome PLATEAU | ||
09:00 60mTalk | 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 45mTalk | Rethinking the Human-Readability Infrastructure Future Programming Workshop | ||
09:15 45mTalk | Coordinating extensibility with CoLingua Future Programming Workshop | ||
08:30 - 10:00 | |||
08:30 30mDay opening | Introductions Smart Software Strategies | ||
09:00 60mMeeting | Roundtable discussion; brainstorm topics to discuss in the workshop Smart Software Strategies | ||
10:30 - 12:00 | |||
10:30 30mTalk | Tackling Real World Complexity in a Software Engineering Student Project - An Experience Report SPLASH-E File Attached | ||
11:00 30mTalk | 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 30mTalk | Teaching Code Review Management using Branch Based Workflows SPLASH-E | ||
10:30 - 12:00 | |||
10:30 90mTalk | PLoP Keynote: Progress Toward an Engineering Discipline of Software PLoP Mary Shaw Carnegie Mellon University | ||
10:30 - 12:00 | |||
10:30 10mDay opening | Opening Remarks GPCE | ||
10:40 30mTalk | 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 30mTalk | Almost First-Class Language Embedding: Taming Staged Embedded DSLs GPCE | ||
11:40 20mTalk | 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 10mDay opening | Opening SLE | ||
10:40 30mTalk | 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 30mTalk | 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 20mTalk | 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 | |||
10:30 20mTalk | Bulk-Synchronous Communication Mechanisms in Diderot AGERE! File Attached | ||
10:50 20mTalk | Programming Abstractions for Augmented Worlds AGERE! | ||
11:10 20mTalk | Manyfold Actors: Extending the C++ Actor Framework to Heterogeneous Many-Core Machines using OpenCL AGERE! | ||
11:30 20mTalk | A Performance and Scalability Analysis of Actor Message Passing and Migration in SALSA Lite AGERE! | ||
10:30 - 12:00 | |||
10:30 20mTalk | Frequency Distribution of Error Messages PLATEAU David Pritchard University of Waterloo, Canada File Attached | ||
10:50 20mTalk | 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 20mTalk | Aiding Programmers using Lightweight Integrated Code Visualization PLATEAU File Attached | ||
11:30 10mTalk | 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 13mTalk | Understanding the Effects of Code Presentation PLATEAU File Attached | ||
10:30 - 11:30 | |||
10:30 60mTalk | Concolic Testing: A Decade Later WODA Koushik Sen University of California, Berkeley | ||
10:30 - 12:00 | |||
10:30 45mTalk | An end-user programming environment that's cell-based, copy/paste friendly, with a flat and forward execution model Future Programming Workshop Jake Sandlund Braintree | ||
11:15 45mTalk | Living Computation: Robust-first programming in ULAM Future Programming Workshop Dave Ackley UNM Computer Science | ||
10:30 - 12:00 | |||
10:30 90mMeeting | 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 30mTalk | SQL for Deep Dynamic Analysis? WODA | ||
13:00 - 15:00 | |||
13:00 30mOther | Reading Time 3 PLoP | ||
13:30 90mTalk | Focus Group on Security (and Related) Patterns PLoP | ||
13:30 90mTalk | 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 20mTalk | 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 20mTalk | An Interactive Approach to Mobile App Verification MobileDeLi Osbert Bastani Stanford University, Alex Aiken Stanford University, Saswat Anand Stanford University | ||
14:10 50mOther | 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 | |||
13:30 25mTalk | 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 25mTalk | Tool Demo - Teaching Software Architecture Concepts with HUSACCT SPLASH-E File Attached | ||
14:20 25mTalk | Tool Demo - Writing C Code Patches in a VPL Learning Environment SPLASH-E Ted Kafala CMSV File Attached | ||
14:45 15mBreak | Session 2 & Demos Discussion SPLASH-E Eli Tilevich Virginia Tech | ||
13:30 - 15:00 | |||
13:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 | |||
13:30 30mTalk | Distributed Model-to-Model Transformation with ATL on MapReduce SLE DOI | ||
14:00 30mTalk | 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 30mTalk | Modular Capture Avoidance for Program Transformations SLE Link to publication DOI | ||
13:30 - 15:00 | |||
13:30 90mTalk | Symbolic Techniques for Software Debugging and Repair Tutorials | ||
13:30 - 15:00 | |||
13:30 20mTalk | Deny Capabilities for Safe, Fast Actors AGERE! Media Attached | ||
13:50 20mTalk | Optimizing Communicating Event-Loop Languages with Truffle AGERE! Link to publication Pre-print Media Attached | ||
14:10 20mTalk | Actario: A Framework for Reasoning About Actor Systems AGERE! Link to publication Pre-print Media Attached | ||
14:30 20mTalk | 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 | |||
13:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 45mTalk | BayesDB: Query the Probable Implications of Data Future Programming Workshop | ||
14:15 45mTalk | The Gamma: Programming tools for data journalism Future Programming Workshop Tomas Petricek University of Cambridge, UK | ||
13:30 - 15:00 | |||
13:30 90mMeeting | 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 15mTalk | Program Analysis for Mobile: how and why to run WALA on your phone MobileDeLi Julian Dolby IBM Research | ||
15:45 15mTalk | Gaps and Future Directions in Mobile Security Research MobileDeLi Violetta Vylegzhanina Vanderbilt University, Jules White Vanderbilt University, Douglas C. Schmidt Vanderbilt University | ||
16:00 60mOther | Activity:Mobile Computing to Support Sustainability MobileDeLi | ||
15:30 - 17:00 | |||
15:30 10mTalk | 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 10mTalk | Lightning Talk #2 - A Temporal Weighted Grading Scheme for Software Design Courses SPLASH-E Vibha Sazawal University of Maryland | ||
15:50 10mTalk | 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 10mTalk | Lightning Talk #4 - Music and Computing – Integrating Computer Science into the Music Curriculum SPLASH-E John Peterson Western State Colorado University | ||
16:10 10mTalk | Lightning Talk #5 - OPEN SPLASH-E | ||
16:20 40mDay closing | Post-workshop Discussion SPLASH-E Eli Tilevich Virginia Tech | ||
15:30 - 18:00 | |||
15:30 2h30mDay closing | Retrospective and Closing PLoP | ||
15:30 - 17:30 | |||
15:30 30mTalk | 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 30mTalk | 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 30mTalk | Inverse macro in Scala GPCE | ||
17:00 20mTalk | Towards Tool Support for Spreadsheet-based Domain-Specific Languages GPCE | ||
15:30 - 17:00 | |||
15:30 30mTalk | 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 30mTalk | 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 30mTalk | Analysis and Transformation with the Nuthatch Tree-Walking Library SLE Anya Helene Bagge University of Bergen, Norway DOI | ||
15:30 - 17:00 | |||
15:30 20mTalk | Akka.js: Towards a portable actor runtime environment AGERE! | ||
15:50 20mTalk | 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 20mTalk | 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 30mOther | 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 20mTalk | On the Need to Define Community Agreements for Controlled Experiments with Human Subjects -- A Discussion Paper PLATEAU File Attached | ||
15:50 70mTalk | Group discussion PLATEAU | ||
15:30 - 16:00 | |||
15:30 30mTalk | 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 45mTalk | Medic: Metaprogramming and Trace-Oriented Debugging Future Programming Workshop | ||
16:15 45mTalk | 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 60mMeeting | Third discussion session Smart Software Strategies | ||
16:30 30mDay closing | Preparation of the workshop poster Smart Software Strategies | ||
16:00 - 17:00 | |||
16:00 15mTalk | Infection Size as a Measure of Bug Severity WODA | ||
16:15 15mTalk | Just-in-Time Data Structures: Towards Declarative Swap Rules WODA Mattias De Wael Vrije Universiteit Brussel | ||
16:30 15mTalk | Towards Deployment-Time Dynamic Analysis of Server Applications WODA | ||
16:45 15mTalk | Supporting PHP Dynamic Analysis in PHP AiR WODA Mark Hills East Carolina University | ||
18:00 - 21:00 | |||
18:00 3hSocial Event | Welcome Reception & Poster Session Social Events | ||
Tue 27 OctDisplayed time zone: Eastern Time (US & Canada) change
Tue 27 Oct
Displayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:55 5mTalk | Opening Doctoral Symposium | ||
09:00 60mTalk | 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 | |||
08:45 15mDay opening | Workshop opening ETX | ||
09:00 60mTalk | ETX Invited Speaker: The Eclipse Academic Program: Creating the Eclipse University Ecosystem ETX Brian Barry FD Labs | ||
08:30 - 10:00 | |||
08:30 5mDay opening | DBPL Welcome DBPL | ||
08:35 85mTalk | DBPL Keynote: The Gremlin Graph Traversal Machine and Language DBPL Marko Rodriguez DataStax | ||
08:30 - 10:00 | |||
08:30 30mTalk | Welcome Session NOOL | ||
09:00 30mTalk | Behavioural Prototypes NOOL Link to publication | ||
09:30 30mTalk | 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 | |||
08:30 90mTalk | SLE/GPCE Keynote: What's the value of an end user? Platforms and Research: The case of Pharo and Moose GPCE Stéphane Ducasse INRIA, France Media Attached | ||
08:30 - 10:00 | |||
08:30 90mTalk | SLE/GPCE Keynote: What's the value of an end user? Platforms and Research: The case of Pharo and Moose SLE Stéphane Ducasse INRIA, France Media Attached | ||
08:30 - 10:00 | |||
08:30 10mDay opening | Welcome and Introduction DLS | ||
08:40 60mTalk | DLS Keynote: Declare Your Language DLS Link to publication DOI Media Attached | ||
09:40 20mTalk | 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 | |||
08:30 10mDay opening | Workshop opening REBLS | ||
08:40 60mTalk | REBLS Keynote - Self-Adjusting Computation: Practical Abstractions for Dynamic Software REBLS Umut A. Acar Carnegie Mellon University | ||
09:40 20mTalk | Live Programming for Event-Based Languages REBLS | ||
08:30 - 10:00 | |||
08:30 5mDay opening | Opening and Welcome SEPS | ||
08:35 85mTalk | SEPS Invited Tallk: Hybrid Inference of Semantics for Software Adaptation SEPS | ||
09:00 - 10:00 | |||
09:00 15mDay opening | Opening Remarks PLMW Darya Melicher Carnegie Mellon University | ||
09:15 45mTalk | 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 30mDay opening | Introduction PROMOTO | ||
09:30 60mTalk | PROMOTO Keynote: The BBC micro:bit PROMOTO Jonathan Protzenko Microsoft Research | ||
10:30 - 12:00 | |||
10:30 10mTalk | Lightning Talks Doctoral Symposium | ||
10:40 40mTalk | Trace Register Allocation Doctoral Symposium DOI Pre-print | ||
11:20 40mTalk | Trace Obliviousness Computation Doctoral Symposium | ||
10:30 - 12:00 | |||
10:30 40mTalk | CSIclipse: Presenting Crash Analysis Data to Developers ETX Pre-print | ||
11:15 40mTalk | 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 | |||
10:30 30mTalk | 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 30mTalk | Relational Foundations for Functorial Data Migration DBPL | ||
11:30 30mTalk | 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 | |||
10:30 30mTalk | Beyond Bash: Shell scripting in a statically-typed, object-oriented language NOOL | ||
11:00 30mTalk | Rust: Idioms and Design Patterns NOOL Nicholas Cameron Mozilla Research | ||
11:30 30mTalk | Whiley: a Better C? NOOL David J. Pearce Victoria University of Wellington Link to publication | ||
10:30 - 12:00 | |||
10:30 45mTalk | Why Do a PhD and How to Pick an Area PLMW Yannis Smaragdakis University of Athens Media Attached | ||
11:15 45mTalk | Life in Academia After Your PhD PLMW Alex Potanin Victoria University of Wellington File Attached | ||
10:30 - 12:00 | |||
10:30 30mTalk | Native-2-Native: Automated Cross-Platform Code Synthesis from Web-Based Programming Resources GPCE Media Attached File Attached | ||
11:00 20mTalk | CLOP: A multi-stage compiler to seamlessly embed heterogeneous code GPCE Media Attached File Attached | ||
11:20 20mTalk | Composing Code Generators for C&C ADLs With Application-Specific Behavior Languages (Tool Demonstration) GPCE Bernhard Rumpe RWTH Aachen University, Germany, Andreas Wortmann RWTH Aachen University, Jan Oliver Ringert Tel Aviv University Media Attached File Attached | ||
11:40 20mTalk | Orchestrating Masses of Sensors: A Design-Driven Development Approach GPCE Media Attached | ||
10:30 - 12:00 | Formal Modeling and Language ValidationSLE at Grand Station 2 Chair(s): Marco Brambilla Politecnico di Milano, Italy | ||
10:30 30mTalk | Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview SLE Christoff Bürger Lund University, Sweden DOI | ||
11:00 30mTalk | 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 30mTalk | 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 | |||
10:30 22mTalk | A Formalization of Typed Lua DLS Media Attached | ||
10:52 22mTalk | Gradual Certified Programming in Coq DLS | ||
11:15 22mTalk | Message Safety in Dart DLS Erik Ernst , Mathias Schwarz Uber Aarhus, Fabio Strocco Aarhus University, Denmark, Anders Møller Aarhus University | ||
11:37 22mTalk | Control-Flow Analysis of Dynamic Languages via Pointer Analysis DLS | ||
10:30 - 12:00 | |||
10:30 22mTalk | 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 22mTalk | Type Inference of Asynchronous Arrows in JavaScript REBLS | ||
11:15 22mTalk | Functional Reactive Programming with nothing but Promises (Implementing Push/Pull FRP using JavaScript Promises) REBLS | ||
11:37 22mTalk | 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 | ||
10:30 - 12:00 | |||
10:30 30mTalk | Exana: An Execution-driven Application Analysis Tool for Assisting Productive Performance Tuning SEPS Yukinori Sato Tokyo Institute of Technology, Shimpei Sato , Toshio Endo Tokyo Institute of Technology | ||
11:00 30mTalk | Profiling for Detecting Performance Anomalies in Concurrent Software SEPS | ||
11:30 30mTalk | Annotatable Systrace: An Extended Linux ftrace for Tracing a Parallelized Program SEPS Daichi Fukui , Mamoru Shimaoka , Hiroki Mikami , Dominic Hillenbrand , Hideo Yamamoto , Keiji Kimura Waseda University , Hironori Kasahara | ||
11:00 - 12:00 | |||
11:00 30mTalk | 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 30mTalk | A Flow-Based Programming Framework for Mobile App development PROMOTO | ||
13:30 - 15:10 | |||
13:30 60mTalk | DS Invited Keynote Talk II: Lessons and Stories from My Career Doctoral Symposium Gary Leavens University of Central Florida | ||
14:30 40mTalk | Privacy and Security Constraints for Code Contributions Doctoral Symposium | ||
13:30 - 15:00 | |||
13:30 20mTalk | Towards Improving Software Security using Language Engineering and mbeddr C DSM Link to publication Pre-print Media Attached | ||
13:50 20mTalk | Extensible Visual Constraint Language DSM | ||
14:10 20mTalk | 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 30mOther | Group work topic selection DSM | ||
13:30 - 15:00 | |||
13:30 90mTalk | ETX Keynote: High-Level Concurrency Libraries: Challenges for Tool Support ETX Philipp Haller KTH Royal Institute of Technology Media Attached File Attached | ||
13:30 - 15:00 | |||
13:30 22mTalk | Requesting heterogeneous data sources with array comprehensions in Hop.js DBPL | ||
13:52 22mTalk | A Datalog-based Protocol for Lazy Data Migration in Agile NoSQL Application Development DBPL | ||
14:15 22mTalk | 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 22mTalk | 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 | |||
13:30 30mTalk | Ubiquitous Object Orientation to Foster the Advancement of Programming Languages NOOL Darya Melicher Carnegie Mellon University Link to publication | ||
14:00 30mTalk | Gradual typing is morally incorrect; we're all monsters now NOOL Link to publication | ||
14:30 30mTalk | Enforcing Object-based Access in Newspeak NOOL Link to publication | ||
13:30 - 15:00 | |||
13:30 45mTalk | Repeatability, Reproducibility and Rigor in CS Research PLMW Jan Vitek Northeastern University File Attached | ||
14:15 45mTalk | Why Programming Languages Matter PLMW Andrew Black Portland State University File Attached | ||
13:30 - 15:00 | |||
13:30 30mTalk | 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 30mTalk | 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, Robby Findler Northwestern University, Steven M. Belknap Northwestern University Feinberg School of Medicine, Departmentof Dermatology | ||
14:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 | |||
13:30 22mTalk | Compiling for Multi-Language Task Migration DLS | ||
13:52 22mTalk | 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 22mTalk | 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 22mTalk | 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 60mTalk | Promoto Keynote: Towards More Natural Programming for Mobile and Touch PROMOTO Brad A. Myers Carnegie Mellon University | ||
14:30 30mTalk | 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 30mTalk | Collaborative Annotations for Large Touchscreen Web Applications PROMOTO | ||
13:30 - 15:00 | |||
13:30 50mTalk | REBLS Industrial Talk (PREZI): Playful but not a Toy: Views on Reactive Programming from within a Large Software Project REBLS Johannes Emerich Prezi Media Attached | ||
14:20 20mTalk | Temporal Correlation Patterns REBLS Oliver Bračevac TU Darmstadt | ||
14:40 20mTalk | Dynamic Condition Response Graphs as Foundation for Event-based Languages and Systems REBLS | ||
13:30 - 15:00 | Modeling and techniques for parallel softwareSEPS at Haselton 2 Chair(s): Yukinori Sato Tokyo Institute of Technology | ||
13:30 30mTalk | Interleaving generation for data race and deadlock reproduction SEPS | ||
14:00 30mTalk | An Empirical Study on Parallelism in Modern Open-source Projects SEPS | ||
14:30 30mTalk | ATL-MR: Model Transformation on MapReduce SEPS | ||
15:30 - 17:20 | |||
15:30 30mTalk | DS Invited Keynote Talk III: Papers vs. Artifacts Doctoral Symposium Philipp Haller KTH Royal Institute of Technology | ||
16:00 40mTalk | Panini: A Concurrent Programming Model With Modular Reasoning Doctoral Symposium | ||
16:40 40mTalk | The Spreadsheet Paradigm: A Basis for Powerful and Accessible Programming Doctoral Symposium | ||
15:30 - 17:00 | |||
15:30 90mOther | Group work DSM | ||
15:30 - 17:00 | |||
15:30 40mTalk | 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 40mTalk | 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 10mDay closing | Wrap up ETX | ||
15:30 - 17:00 | |||
15:30 30mTalk | Using Dependent Types and Tactics to Enable Semantic Optimization of Language-Integrated Queries DBPL | ||
16:00 30mTalk | 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 30mTalk | Typing Regular Path Query Languages for Data Graphs DBPL | ||
15:30 - 17:00 | |||
15:30 30mTalk | Proposal for an Object-Oriented Multiple Dispatch Mechanism NOOL Link to publication | ||
16:00 30mTalk | Classes Considered Harmful NOOL Andrew Black Portland State University Pre-print File Attached | ||
16:30 30mTalk | Delegation is Not Quite Inheritance NOOL James Noble Victoria University of Wellington Link to publication File Attached | ||
15:30 - 17:00 | |||
15:30 60mOther | Panel: Graduate School: Why and How? PLMW Jonathan Bell Columbia University, Chris Martens Carnegie Mellon University, Timothy Jones Victoria University of Wellington | ||
16:30 30mTalk | What to Do at SPLASH PLMW Darya Melicher Carnegie Mellon University | ||
15:30 - 17:30 | |||
15:30 30mTalk | Modular Interpreters for the Masses: Implicit Context Propagation Using Object Algebras GPCE | ||
16:00 30mTalk | Addressing Metamodel Revisions in Model-based Software Product Lines GPCE Jaime Font San Jorge University, Lorena Arcega San Jorge University, Oystein Haugen Østfold University College, Carlos Cetina San Jorge University | ||
16:30 30mTalk | 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 20mTalk | Model Querying with Query Models GPCE | ||
17:20 10mDay closing | GPCE'15 Closing and GPCE'16 Announcement GPCE | ||
15:30 - 17:00 | |||
15:30 30mTalk | The Whiley Rewrite Language (WyRL) SLE David J. Pearce Victoria University of Wellington DOI | ||
16:00 30mTalk | 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 30mDay closing | Closing SLE | ||
15:30 - 17:30 | |||
15:30 24mTalk | Measuring Polymorphism in Python Programs DLS | ||
15:54 24mTalk | Tracking Down Performance Variation Against Source Code Evolution DLS | ||
16:18 24mTalk | 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 24mTalk | 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 24mTalk | 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 | ||
15:30 - 17:00 | |||
15:30 22mTalk | Logical Reactive Programming REBLS Thierry Renaux Vrije Universiteit Brussel, Lode Hoste , Wolfgang De Meuter Vrije Universiteit Brussel | ||
15:52 22mTalk | Reactive Interfaces: Combining Events and Expressing Signals REBLS Ragnar Mogk Technische Universität Darmstadt | ||
16:15 22mTalk | Reactive Traversal of Recursive Data Types REBLS | ||
16:37 22mTalk | Real-Time Deadlines in Functional-Reactive Programming REBLS Media Attached File Attached | ||
15:30 - 17:00 | Performance tuning and auto-tuningSEPS at Haselton 2 Chair(s): Xinghui Zhao Washington State University | ||
15:30 30mTalk | Investigating Potential Performance Benefits of Memory Layout Optimization based on Roofline Model SEPS Shimpei Sato , Yukinori Sato Tokyo Institute of Technology, Toshio Endo Tokyo Institute of Technology | ||
16:00 30mTalk | Empirical Performance Study of Speculative Parallel Processing on Commercial Multi-core CPU with Hardware Transactional Memory SEPS Kanemitsu Otsu Utsunomiya University, Yutaka Matsuno , Takeshi Ohkawa , Takashi Yokota , Takanobu Baba Professor, Utsunomiya University, Japan | ||
16:30 30mTalk | Lighthouse: A Taxonomy-based Solver Selection Tool SEPS | ||
16:00 - 17:35 | |||
16:00 30mDemonstration | Demos PROMOTO | ||
16:30 30mOther | Open Discussion PROMOTO | ||
17:00 35mDay closing | Closing PROMOTO | ||
17:00 - 17:30 | |||
17:00 30mDay closing | Discussion and closing remarks REBLS | ||
Wed 28 OctDisplayed time zone: Eastern Time (US & Canada) change
Wed 28 Oct
Displayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 90mTalk | Tomorrow’s Network Operators Will Be Programmers Keynotes Nick Feamster Princeton University Media Attached File Attached | ||
10:00 - 10:45 | |||
10:00 45mDemonstration | 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 45mDemonstration | 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 | |||
10:30 45mTalk | Changing Engines in Flight: Facebook's Conversion to Hack SPLASH-I Josh Watzman Facebook Media Attached | ||
11:15 45mTalk | ECMAScript 2015: the future of JavaScript is now! SPLASH-I Tom Van Cutsem Alcatel-Lucent Bell Labs Media Attached File Attached | ||
10:30 - 12:00 | |||
10:30 90mTalk | Evaluating Programming Languages and Tools in Studies with Human Participants Tutorials Thomas LaToza George Mason University File Attached | ||
10:30 - 12:00 | Software ProfessionalismPanels at Fountain View Chair(s): Steven D. Fraser Innoxec – Innovation Executive Services | ||
10:30 90mTalk | 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 | |||
10:30 22mTalk | Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach 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 22mTalk | SATCheck: SAT-Directed Stateless Model Checking for SC and TSO OOPSLA Link to publication | ||
11:15 22mTalk | 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 22mTalk | 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 22mTalk | Synthesis of Layout Engines from Relational Constraints OOPSLA Link to publication Media Attached | ||
10:52 22mTalk | A Sound and Optimal Incremental Build System with Dynamic Dependencies OOPSLA Sebastian Erdweg TU Darmstadt, Germany, Moritz Lichter TU Darmstadt, Germany, Manuel Weiel TU Darmstadt, Germany Link to publication Media Attached | ||
11:15 22mTalk | FlashMeta: A Framework for Inductive Program Synthesis OOPSLA Link to publication DOI Media Attached | ||
11:37 22mTalk | Scrap your Boilerplate with Object Algebras 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 45mDemonstration | Heterogeneous Device Hopping: Bridging the Mobile Cross-Platform Gap Via a Declarative Query Language Demos | ||
12:00 - 12:45 | |||
12:00 45mDemonstration | 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 45mDemonstration | 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 45mDemonstration | 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 | |||
13:30 90mTalk | Flow: a static type checker for JavaScript SPLASH-I Avik Chaudhuri Facebook Media Attached | ||
13:30 - 15:00 | |||
13:30 90mTalk | 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 90mTalk | 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 | |||
13:30 22mTalk | Conditionally Correct Superoptimization OOPSLA Rahul Sharma Stanford University, Eric Schkufza Stanford University, Berkeley Churchill Stanford University, Alex Aiken Stanford University DOI | ||
13:52 22mTalk | Selective Control-Flow Abstraction via Jumping 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 22mTalk | Automating Grammar Comparison 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 22mTalk | Reasoning about the POSIX File System: Local Update and Global Pathnames OOPSLA DOI | ||
13:30 - 15:00 | |||
13:30 22mTalk | 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 22mTalk | 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 22mTalk | 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 22mTalk | 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 45mDemonstration | 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 45mDemonstration | 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 | |||
15:30 45mTalk | What is a compiler? We thought we knew… SPLASH-I Mads Torgersen Microsoft | ||
16:15 45mTalk | When CT meets IT: Programming Challenges in the age of ICT Convergence SPLASH-I Peng Wu Huawei America Lab File Attached | ||
15:30 - 17:00 | |||
15:30 90mTalk | Software Analytics: Achievements and Challenges Tutorials | ||
15:30 - 17:00 | |||
15:30 22mTalk | AutoMO: Automatic Inference of Memory Order Parameters for C/C++11 OOPSLA Peizhao Ou University of California at Irvine, USA, Brian Demsky University of California at Irvine, USA DOI | ||
15:52 22mTalk | Valor: Efficient, Software-Only Region Conflict Exceptions 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 22mTalk | Automatic Memory Reclamation for Lock-Free Data Structures OOPSLA DOI | ||
16:37 22mTalk | Protocol-Based Verification of Message-Passing Parallel Programs OOPSLA Hugo 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 45mTalk | Against a Universal Definition of Type Onward! Essays Tomas Petricek University of Cambridge, UK DOI Media Attached | ||
16:15 45mTalk | The Cuban Software Revolution: 2016–2025 Onward! Essays David M. West Transcendence, USA DOI | ||
18:00 - 21:00 | |||
18:00 3hSocial Event | Posters Reception Social Events | ||
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 3hTalk | 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 3hTalk | 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 3hTalk | 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 3hTalk | Towards Transitory Encapsulation Posters Sebastian Fleissner Australian National University, Australia DOI | ||
18:00 3hTalk | Statik: An Incremental Compiler Generator Posters Michael Biggs Broadway Technology, USA DOI | ||
18:00 3hTalk | Toward Incremental Type Checking for Java Posters DOI | ||
18:00 3hTalk | 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 3hTalk | 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 3hTalk | 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 3hTalk | 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 3hTalk | 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 3hTalk | 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 60mMeeting | Programming as Writing (and vice versa?) RPG | ||
20:30 60mMeeting | Singing the Blues / What is a Song? RPG | ||
Thu 29 OctDisplayed time zone: Eastern Time (US & Canada) change
Thu 29 Oct
Displayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 90mTalk | How Dart Learned From Past Object-Oriented Systems Keynotes Lars Bak Google Media Attached File Attached | ||
10:00 - 10:45 | |||
10:00 45mDemonstration | 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 45mDemonstration | 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 | |||
10:30 45mTalk | Model, Execute, Deploy: Answering the Hard Questions about End-user Programming SPLASH-I Shan Shan Huang Logicblox Media Attached | ||
11:15 45mTalk | Spur: Efficient Support for Live Programming in Dynamic Languages SPLASH-I Eliot Miranda Cadence Design Systems Media Attached | ||
10:30 - 12:00 | |||
10:30 90mTalk | Building Secure Software Architectures using Security Patterns Tutorials Eduardo Fernandez Florida Atlantic University | ||
10:30 - 12:00 | |||
10:30 22mTalk | Declarative Fence Insertion 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 22mTalk | 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 22mTalk | Vectorization of Apply to Reduce Interpretation Overhead of R 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 22mTalk | Synthesizing Java Expressions from Free-Form Queries OOPSLA Link to publication | ||
10:30 - 12:00 | |||
10:30 45mTalk | Towards a Theory of Conceptual Design for Software Onward! Essays Daniel Jackson Massachusetts Institute of Technology, USA DOI | ||
11:15 45mTalk | 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 45mDemonstration | 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 | |||
12:00 45mDemonstration | 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 45mDemonstration | 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 | |||
12:45 45mDemonstration | 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 | |||
13:30 45mTalk | Prospect: Finding and Exploiting Parallelism in a Productivity Language for Scientific Computing SPLASH-I Lindsey Kuper Intel Labs Media Attached | ||
14:15 45mTalk | A History of JavaScript Static Analysis with WALA at IBM SPLASH-I Julian Dolby IBM Research Media Attached | ||
13:30 - 15:00 | |||
13:30 90mTalk | 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 | |||
13:30 22mTalk | 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 22mTalk | Separation of Powers in the Cloud: Where Applications and Users Become Peers Onward! Papers Media Attached | ||
14:15 22mTalk | 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 22mTalk | Musiplectics: Computational Assessment of the Complexity of Music Scores Onward! Papers | ||
15:00 - 15:45 | |||
15:00 45mDemonstration | Heterogeneous Device Hopping: Bridging the Mobile Cross-Platform Gap Via a Declarative Query Language Demos | ||
15:00 - 15:45 | |||
15:00 45mDemonstration | 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 | |||
15:30 45mTalk | Language-Oriented Business Applications: Helping End Users become Programmers SPLASH-I Markus Völter itemis, Germany Link to publication Media Attached | ||
16:15 45mTalk | ActiveSheets: Stream Processing with a Spreadsheet SPLASH-I Mandana Vaziri IBM Thomas J. Watson Research Center | ||
15:30 - 17:00 | |||
15:30 90mTalk | 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 | |||
15:30 24mTalk | Toward tool support for interactive synthesis Onward! Papers Shaon Barman UC Berkeley, Rastislav Bodik University of Washington, USA, Satish Chandra Samsung Research America, Emina Torlak University of Washington, Arka Bhattacharya UC Berkeley, David Culler UC Berkeley | ||
15:54 24mTalk | 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 24mTalk | One Parser to Rule Them All Onward! Papers Link to publication DOI Pre-print Media Attached | ||
16:42 24mTalk | Isolates, Channels and Event Streams for Composable Distributed Programming Onward! Papers | ||
17:06 24mTalk | 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 2h30mSocial Event | Conference Banquet Social Events | ||
Fri 30 OctDisplayed time zone: Eastern Time (US & Canada) change
Fri 30 Oct
Displayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 90mTalk | Modern software is all about data. Development environments should be, too. Keynotes Robert DeLine Microsoft Research Media Attached File Attached | ||
10:00 - 10:45 | |||
10:00 45mDemonstration | Heterogeneous Device Hopping: Bridging the Mobile Cross-Platform Gap Via a Declarative Query Language Demos | ||
10:00 - 10:45 | |||
10:00 45mDemonstration | 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 | |||
10:30 45mTalk | Fighting Spam with Haskell SPLASH-I Simon Marlow Facebook Media Attached | ||
11:15 45mTalk | Domain Specific Languages @ Oracle Labs: Current Experiences, Future Hopes SPLASH-I Hassan Chafi Oracle Labs | ||
10:30 - 12:00 | |||
10:30 90mTalk | Shipshape: An Open Program Analysis Platform Tutorials Media Attached | ||
10:30 - 12:00 | 9. Compilation & Dynamic AnalysisOOPSLA at Grand Station 1 Chair(s): Frank Tip Samsung Research America | ||
10:30 22mTalk | Runtime Pointer Disambiguation 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 22mTalk | Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities OOPSLA Luca Della Toffola ETH Zurich, Switzerland, Michael Pradel TU Darmstadt, Germany, Thomas Gross ETH Zurich, Switzerland DOI | ||
11:15 22mTalk | 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 22mTalk | 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:30 22mTalk | 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 22mTalk | How Scale Affects Structure in Java Programs OOPSLA DOI Pre-print Media Attached File Attached | ||
11:15 22mTalk | Use at Your Own Risk: The Java Unsafe API in the Wild 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 22mTalk | Approximate Computation with Outlier Detection in Topaz 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 45mDemonstration | 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 | |||
12:00 45mDemonstration | 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 45mDemonstration | 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 | |||
12:45 45mDemonstration | 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 | |||
13:30 90mTalk | Analyze your Java Source Code with ExtendJ Tutorials Media Attached | ||
13:30 - 15:00 | 11. Programming Language DesignOOPSLA at Grand Station 1 Chair(s): Gary Leavens University of Central Florida | ||
13:30 22mTalk | Remote-Scope Promotion: Clarified, Rectified, and Verified 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 22mTalk | Incremental Computation with Names 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 22mTalk | Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Languages 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 22mTalk | Optimizing Hash-Array Mapped Tries for Fast and Lean Immutable JVM Collections OOPSLA Link to publication | ||
13:30 - 15:00 | |||
13:30 22mTalk | Automating Ad-hoc Data Representation Transformations 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 22mTalk | Tracing vs. Partial Evaluation: Comparing Meta-compilation Approaches for Self-Optimizing Interpreters OOPSLA Link to publication Media Attached | ||
14:15 22mTalk | Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency to Threads on the Java Virtual Machine OOPSLA DOI Pre-print Media Attached | ||
14:37 22mTalk | 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 45mDemonstration | 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 | |||
15:00 45mDemonstration | 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 | |||
15:30 90mTalk | Concurrency in Rust: Data race safety with zero cost abstractions Tutorials | ||
15:30 - 17:00 | |||
15:30 22mTalk | 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 22mTalk | 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 22mTalk | The Chemical Approach to Typestate-Oriented Programming OOPSLA DOI | ||
16:37 22mTalk | Customizable Gradual Polymorphic Effects for Scala OOPSLA DOI | ||
17:00 - 18:30 | |||
17:00 90mSocial Event | Ice Cream Social Social Events | ||