SPLASH 2014 (series) /
SPLASH 2014 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone change time zone
Fri 17 OctDisplayed time zone: Tijuana, Baja California change
Fri 17 Oct
Displayed time zone: Tijuana, Baja California change
13:00 - 17:00
Friday AfternoonSummer School on Multicore Programming at FAB 86-01 at Portland State University (PSU)
Chair(s): Danny Dig Oregon State University
Chair(s): Danny Dig Oregon State University
Sat 18 OctDisplayed time zone: Tijuana, Baja California change
Sat 18 Oct
Displayed time zone: Tijuana, Baja California change
09:00 - 12:00
Saturday MorningSummer School on Multicore Programming at FAB 86-01 at Portland State University (PSU)
Chair(s): Danny Dig Oregon State University
Chair(s): Danny Dig Oregon State University
13:00 - 17:00
Saturday AfternoonSummer School on Multicore Programming at FAB 86-01 at Portland State University (PSU)
Chair(s): Danny Dig Oregon State University
Chair(s): Danny Dig Oregon State University
16:00
60mTalk
Parallelism with with Lightweight Task Framework and Parallel Streams in Java 7/8 Summer School on Multicore Programming
Sun 19 OctDisplayed time zone: Tijuana, Baja California change
Sun 19 Oct
Displayed time zone: Tijuana, Baja California change
09:00 - 12:00
Sunday MorningSummer School on Multicore Programming at FAB 86-01 at Portland State University (PSU)
Chair(s): Danny Dig Oregon State University
Chair(s): Danny Dig Oregon State University
09:00
3hTalk
Thread-safety with Atomics* and Concurrent Collections Summer School on Multicore Programming
13:00 - 17:00
Sunday AfternoonSummer School on Multicore Programming at FAB 86-01 at Portland State University (PSU)
Chair(s): Danny Dig Oregon State University
Chair(s): Danny Dig Oregon State University
13:00
2hTalk
Refactoring for Improving Throughput and Scalability Summer School on Multicore Programming
15:00
2hTalk
Upcoming Concurrency Libraries in Java Summer School on Multicore Programming
Doug Lea State University of New York (SUNY) Oswego
Mon 20 OctDisplayed time zone: Tijuana, Baja California change
Mon 20 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00
09:05
30mTalk
An Extensible Framework for Composing Stencils with Common Scientific Computing Patterns WOSC
08:30 - 10:00
08:30 - 10:00
09:15
45mTalk
Structured Source Retrieval for Improving Software Search during Program Comprehension Tasks Doctoral Symposium
08:35
60mTalk
Upgrade Programming for Mobile Cloud AGERE!
Gul Agha University of Illinois at Urbana-Champaign
08:30 - 10:00
Welcome, Introductions, DiscussionFOOL at Salon G
Chair(s): Marco Servetto Victoria University of Wellington
Chair(s): Marco Servetto Victoria University of Wellington
08:30 - 10:00
09:30
30mTalk
Formal Semantics as a Language Designer’s Toolbox: A case for semantics-inspired language design DSLDI
Paolo G. Giarrusso University of Marburg, Klaus Ostermann University of Marburg, Tillmann Rendel University of Marburg, Eric Walkingshaw University of Marburg
10:30 - 12:00
10:30 - 12:00
11:15
45mTalk
Software Engineering Principles in the Midas Gesture Specification Language, PROMOTO
Wolfgang De Meuter Vrije Universiteit Brussel
10:30 - 12:00
10:30
45mTalk
An Approach to Safely Evolve Program Families in C Doctoral Symposium
Flavio Medeiros Federal University of Campina Grande
10:52
22mTalk
Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures AGERE!
11:37
22mTalk
From Actor Event-Loop to Agent Control-Loop - Impact on Programming AGERE!
Alessandro Ricci University of Bologna
10:30 - 12:00
11:00
30mTalk
The Problem of Structural Type Tests in a Gradual-Typed Language FOOL
John Boyland University of Wisconsin, Milwaukee
File Attached 10:30 - 12:00
13:30 - 15:00
13:30 - 15:00
14:15
45mTalk
Supporting situated STEM learning - TouchDevelop Integration of the UCL Engduino over Bluetooth PROMOTO
Dean Mohamedally University College London
13:30 - 15:00
13:30
45mTalk
High-Performance Language Interoperability in Multi-Language Runtimes Doctoral Symposium
14:15
45mTalk
When Importless Becomes Meaningful: A Call for Tag-based Namespaces in Programming Languages Doctoral Symposium
13:30 - 15:00
FOOF (Future of Object-Oriented Foundations)FOOL at Salon G
Chair(s): Marco Servetto Victoria University of Wellington
Chair(s): Marco Servetto Victoria University of Wellington
14:15
45mTalk
A Simple, Symmetric, Subjective Foundation for Object-, Aspect- and Context-Oriented Programming FOOL
Harold Ossher IBM Research, David Ungar IBM Research, Doug Kimelman IBM Research, I: James Noble Victoria University of Wellington
File Attached 13:30 - 15:00
13:30
30mTalk
A Common Core for Language Tools DSLDI
Gabriël Konat Delft University of Technology, Vlad Vergu TU Delft, Guido Wachsmuth Delft University of Technology, Eelco Visser Delft University of Technology
15:30 - 17:00
15:30 - 17:00
16:00
30mTalk
Mobile vs. Desktop Programming Projects: The Effect on Students PROMOTO
Matthias Hauswirth University of Lugano
16:30
30mTalk
Panel on Mobile Computing and Education PROMOTO
Judith Bishop Microsoft Research, Matthias Hauswirth University of Lugano, Dean Mohamedally University College London, Alberto Sillitti Free University of Bolzano
15:30 - 17:00
15:30
45mTalk
Structured Editing for HCI Metacomputing Universal Syntax and Deconstructible User Interfaces Doctoral Symposium
15:30 - 17:00
16:00
60mDay closing
Group Discussion/Panel: DSL tooling - Where are we now and where we are headed? DSLDI
18:00 - 21:00
Tue 21 OctDisplayed time zone: Tijuana, Baja California change
Tue 21 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00
09:00
30mTalk
Talk on the CORGIS Big-Data Framework and the MUSIC model for assessing student motivation SPLASH-E
Austin Cory Bart Virginia Tech, Jason Riddle Virginia Tech, Omar Saleem Virginia Tech, Bushra Chowdhury Virginia Tech, Eli Tilevich Virginia Tech, Cliff Shaffer Virginia Tech, Dennis Kafura Virginia Tech
File Attached 08:30 - 10:00
Invited Speaker: Michael Pradel - Session ASEPS at Salon B
Chair(s): Ali Jannesari Technical University of Darmstadt
Chair(s): Ali Jannesari Technical University of Darmstadt
08:40
60mTalk
Invited Talk: Automatic and Precise Program Analyses for Reliable and Efficient Concurrency SEPS
Michael Pradel University of California, Berkeley, USA
08:52
22mTalk
A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation DSM
08:30 - 10:00
Invited Speaker: Josh BlochPLATEAU at Salon D
Chair(s): Craig Anslow University of Calgary, Thomas LaToza University of California, Irvine, Joshua Sunshine Carnegie Mellon University
Chair(s): Craig Anslow University of Calgary, Thomas LaToza University of California, Irvine, Joshua Sunshine Carnegie Mellon University
08:30 - 10:00
08:30 - 10:00
Keynote: Evan Czaplicki with ElmREBLS at Salon H
Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel, Patrick Eugster Purdue University, Guido Salvaneschi TU Darmstadt, Lukasz Ziarek State University of New York (SUNY) Buffalo
Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel, Patrick Eugster Purdue University, Guido Salvaneschi TU Darmstadt, Lukasz Ziarek State University of New York (SUNY) Buffalo
08:30 - 10:00
Invited paper and technical paper session 1DLS at Salon I
Chair(s): Laurence Tratt King's College London
Chair(s): Laurence Tratt King's College London
08:30
60mTalk
Invited talk: Why do we know so little about programming languages, and what would have happened if we had known more? DLS
Stefan Hanenberg University of Duisburg-Essen
09:30
20mTalk
Scriptable Operating Systems with Lua DLS
Lourival Vieira Neto The NetBSD Foundation, Roberto Ierusalimschy PUC-Rio, Ana Lúcia de Moura, Marc Balmer
10:30 - 12:00
10:30
30mTalk
The Eclipse Runtime Perspective for Object-Oriented Code Exploration and Program Comprehension ETX
Marwan Abi-Antoun Wayne State University, Andrew Giang Wayne State University, Sumukhi Chandrashekar Wayne State University, Ebrahim Khalaj Wayne State University
11:00
30mTalk
Encouraging privacy by design concepts with privacy Policy Auto-Generation in Eclipse (PAGE) ETX
11:30
30mTalk
PermitMe: Integrating Android Permissioning Support in the IDE ETX
Emmanuel Bello-Ogunu University of North Carolina Charlotte, Mohammed Shehab University of North Carolina Charlotte
10:30
35mTalk
Idea Garden: Helping End-User Programmers Help Themselves SPLASH-E
William Jernigan Oregon State University
10:30 - 12:00
11:20
20mTalk
Consideration of loop parallelization on heterogeneous multicore architecture using path and data dependence profiling SEPS
11:40
20mTalk
Discovering Parallelization Opportunities in Sequential Programs - A Closer-to-Complete Solution SEPS
P: Rohit Atre, A: Zhen Li, A: Ali Jannesari Technical University of Darmstadt, A: Felix Wolf German Research School for Simulation Sciences - RWTH Aachen University
10:30 - 12:00
10:30
22mTalk
Asking and Answering Questions during a Programming Change Task in Pharo Language PLATEAU
File Attached 10:52
22mTalk
EUKLAS: Supporting Copy-and-Paste Strategies for Integrating Example Code PLATEAU
Christian Doerner Senacor Technologies AG, Andrew Faulring Carnegie Mellon University , Brad A. Myers Carnegie Mellon University
File Attached 11:15
22mTalk
Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers PLATEAU
Roxane Koitz-Hristov Graz University of Technology, Wolfgang Slany Institute of Software Technology, Graz University of Technology
File Attached 11:37
22mTalk
Usability and Suitability Survey of Features in Visual IDEs for Non-Programmers PLATEAU
Jean Michel Rouly George Mason University, Jonathan Orbeck University of Alabama, Eugene Syriani University of Montreal
File Attached 10:30 - 12:00
10:30 - 12:00
13:30 - 15:00
14:00
30mTalk
Feedback on Course Design: Project-based software engineering education in an evening master's program SPLASH-E
Yadran Eterovic Pontificia Universidad Catlica de Chile
13:30 - 15:00
13:30
50mTalk
Invited Talk: Applying Software Engineering Principles to Computational Science SEPS
Jeff Carver University of Alabama
13:30
30mTalk
Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems DSM
13:30 - 15:00
13:55
15mTalk
Research.js: Evaluating Your Research on the Web PLATEAU
Joel Galenson University of California, Berkeley and Qualcomm Research, Cindy Rubio-González University of California, Berkeley, Sarah E. Chasins University of California, Berkeley, Liang Gong University of California, Berkeley
File Attached 14:10
15mTalk
Supporting Social Interactions and Awareness in Educational Programming Environments PLATEAU
File Attached 13:30 - 15:00
13:50
20mTalk
Invited Talk: Rapidly Prototyping Apps for Mobile Cloud-Connected Devices MobileDeLi
Nikolai Tillmann Microsoft Research
14:10
25mTalk
Invited Talk: TouchGuru - Integrating Static Analysis with a Mobile Development Environment MobileDeLi
14:35
25mTalk
Invited Talk: User Feedback in Mobile Development MobileDeLi
Bernd Bruegge Technische Universität München
13:30 - 15:00
13:30
20mTalk
SqueakJS - A Modern and Practical Smalltalk That Runs in Any Browser DLS
Bert Freudenberg CDG Labs, Dan Ingalls, Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Tobias Pape Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI
13:50
20mTalk
ACDC-JS: Explorative Benchmarking of JavaScript Memory Management DLS
Martin Aigner University of Salzburg, Thomas Hütter, Christoph Kirsch, Alexander Miller, Hannes Payer, Mario Preishuber
14:10
20mTalk
Dynamic Page Sharing Optimization for the R Language DLS
Helena Kotthaus Department of Computer Science 12, TU Dortmund University, Ingo Korb, Michael Engel, Peter Marwedel
14:30
20mTalk
Using JavaScript and WebCL for Numerical Computations: A Comparative Study of Native and Web Technologies DLS
Faiz Khan, Vincent Foley-Bourgon, Sujay Kathrotia, Erick Lavoie McGill University, Laurie Hendren McGill University
15:30 - 17:00
15:30
30mTalk
Using Catrobat, a Scratch-like visual programming language for smartphones, in a middle school physics course SPLASH-E
Wolfgang Slany Institute of Software Technology, Graz University of Technology , Roxane Koitz-Hristov Graz University of Technology
16:00
30mTalk
yaPOSH: Engineering Behaviors for Videogame Characters SPLASH-E
Jakub Gemrot Faculty of Mathematics and Physics, Charles University in Prague, Martin Černý Faculty of Mathematics and Physics, Charles University in Prague, Cyril Brom Faculty of Mathematics and Physics, Charles University in Prague
15:30 - 17:00
15:30
20mTalk
Nebo: An efficient, parallel, and portable domain-specific language for numerically solving partial differential equations SEPS
A: Christopher Earl University of Utah, A: Matthew Might University of Utah , A: Abhishek Bagusetty, A: James C. Sutherland University of Utah
15:50
20mTalk
Characterizing the Energy Efficiency of Java's Thread-Safe Collections in a Multi-Core Environment SEPS
16:10
20mTalk
Resource-Based Transaction Management for Best-Effort Hardware Transactional Memory SEPS
15:30 - 17:00
15:30
22mTalk
Wyvern: Impacting Software Security via Programming Language Design PLATEAU
Darya Melicher Carnegie Mellon University, Alex Potanin Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University
File Attached 15:52
22mTalk
Considering Productivity Effects of Explicit Type Declarations PLATEAU
Michael Coblenz Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University
File Attached 15:30 - 17:00
15:30 - 17:00
15:50
20mTalk
Object Versioning to Support Recovery Needs: Using Proxies to Preserve Previous Development States in Lively DLS
Bastian Steinert Hasso Plattner Institute, Lauritz Thamsen, Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI
16:30
20mTalk
On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk DLS
Oscar Callaú University of Chile, Romain Robbes, Éric Tanter University of Chile, David Röthlisberger, Alexandre Bergel
Wed 22 OctDisplayed time zone: Tijuana, Baja California change
Wed 22 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00
08:30 - 10:00
08:30
90mTalk
Keynote: Software Security - A Study in Technology Transfer Keynotes
Link to publication 10:30 - 12:00
10:30 - 12:00
10:52
23mTalk
Call by Meaning Onward! Papers
Hesam Samimi SAP Labs, Chris Deaton Cycorp, Yoshiki Ohshima Viewpoints Research Institute, Alessandro Warth SAP Labs, Todd Millstein University of California, Los Angeles
10:30 - 12:00
10:30
22mTalk
Checking Correctness of TypeScript Interfaces for JavaScript Libraries OOPSLA
Link to publication 11:15
22mTalk
EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation OOPSLA
Michael Pradel University of California, Berkeley, USA, Parker Schuh University of California, Berkeley, George Necula University of California, Berkeley, Koushik Sen University of California, Berkeley
Link to publication 11:37
22mTalk
Using Web Corpus Statistics for Program Analysis OOPSLA
Chun-Hung Hsiao University of Michigan, Michael Cafarella University of Michigan, Satish Narayanasamy University of Michigan
Link to publication 10:30 - 12:00
10:30
22mTalk
Tardis: Affordable Time-Travel Debugging in Managed Runtimes OOPSLA
Link to publication 10:52
22mTalk
Phosphor: Illuminating Dynamic Data Flow in Commodity JVMs OOPSLA
Link to publication Media Attached 11:15
22mTalk
Rubah: DSU for Java on a stock JVM OOPSLA
Luís Pina Technical University of Lisbon / INESC-ID, Luís Veiga INESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Michael Hicks University of Maryland, College Park
Link to publication 11:37
22mTalk
Fast Conservative Garbage Collection OOPSLA
Rifat Shahriyar Australian National University, Steve Blackburn Australian National University , Kathryn S McKinley Microsoft Research
Link to publication 10:30
90mTalk
QA to AQ: Shifting from Quality Assurance to Agile Quality Tutorials
Joe Yoder The Refactory, Inc.
12:00 - 13:30
13:00
40mTalk
Demo 1: Pocket Code - IDE for your Phone Demos
Wolfgang Slany Institute of Software Technology, Graz University of Technology
13:30 - 15:00
13:30 - 15:00
14:15
45mTalk
Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language Onward! Essays
Mathieu Acher University of Rennes, Benoit Combemale University of Rennes, Philippe Collet University of Nice
Media Attached 13:30 - 15:00
13:30
22mTalk
Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host OOPSLA
Eric Holk Indiana University, Ryan R. Newton Indiana University, Jeremy G. Siek, Andrew Lumsdaine Indiana University
Link to publication 14:15
22mTalk
StreamJIT: A Commensal Compiler for High-Performance Stream Programming OOPSLA
Jeffrey Bosboom MIT CSAIL, Sumanaruban Rajadurai National University of Singapore, Weng-Fai Wong National University of Singapore, Saman Amarasinghe MIT
Link to publication 14:37
22mTalk
SurveyMan: Programming and Automatically Debugging Surveys OOPSLA
Emma Tosch University of Massachusetts, Amherst, Emery D. Berger University of Massachusetts, Amherst
Link to publication File Attached 13:30
90mOther
Privacy and Security in a Networked World Panels
M: Steven D. Fraser Independent Consultant, P: Djenana Campara KDM Analytics, P: Michael Fanning Microsoft, P: Gary McGraw Cigital, P: Kevin Sullivan University of Virginia
15:30 - 17:00
15:30 - 17:00
18:00 - 21:00
SRC PostersStudent Research Competition at Exhibit Hall
Chair(s): Işıl Dillig University of Texas, Austin, Sam Guyer Tufts University
Chair(s): Işıl Dillig University of Texas, Austin, Sam Guyer Tufts University
18:00
18mTalk
Kamino: Dynamic Approach to Semantic Code Clone Detection Student Research Competition
Lindsay Neubauer Columbia University
18:18
18mTalk
Analysis with Type-Intertwined Separation Logic Student Research Competition
Devin Coughlin University of Colorado Boulder
18:36
18mTalk
Quality Types for Approximate Programming Student Research Competition
Brett Boston University of Washington
18:54
18mTalk
Recommending More Efficient Workflows to Software Developers Student Research Competition
Dylan Bates Coker College
19:30
18mTalk
A Study of Wheat and Chaff in Source Code Student Research Competition
Martin Velez University of California, Davis
20:06
18mTalk
Towards Concurrent Reactive Programming Student Research Competition
Joscha Drechsler Technische Universität Darmstadt
20:24
18mTalk
A Language for the Specification and Efficient Implementation of Type Systems Student Research Competition
Pascal Wittmann TU Darmstadt
20:42
18mTalk
Parallelization of Gibbs Sampling for Text Analytics Student Research Competition
Ayush Narayan Rice University
18:00 - 21:00
SPLASH Poster ReceptionPosters at Exhibit Hall
Chair(s): K R Jayaram IBM Research, USA, Nick Sumner Simon Fraser University
Chair(s): K R Jayaram IBM Research, USA, Nick Sumner Simon Fraser University
18:00
3hTalk
Searching for Answers: An Exploratory Study of the Formation, Use, and Impact of Queries During Debugging Posters
18:00
3hTalk
HJ-Viz: A New Tool for Visualizing, Debugging and Optimizing Parallel Programs Posters
Peter Elmers Rice University, Hongyu Li Rice University, Shams Imam Rice University, Vivek Sarkar Rice University
20:00 - 22:00
SPLASH 2015 OC MeetingAdministration at Salon C
Chair(s): Jonathan Aldrich Carnegie Mellon University
Chair(s): Jonathan Aldrich Carnegie Mellon University
Thu 23 OctDisplayed time zone: Tijuana, Baja California change
Thu 23 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00
08:30 - 10:00
10:30 - 12:00
10:30 - 12:00
10:30
22mTalk
Multi-tier Functional Reactive Programming for the Web Onward! Papers
Bob Reynders iMinds - Distrinet, KU Leuven, Dominique Devriese iMinds - Distrinet, KU Leuven, Frank Piessens iMinds - Distrinet, KU Leuven
10:52
22mTalk
Towards Tierless Programming in a General-Purpose Language Onward! Papers
Laure Philips Software Languages Lab, Coen De Roover Software Languages Lab, Software Engineering Laboratory, Tom Van Cutsem Alcatel-Lucent Bell Labs, Wolfgang De Meuter Vrije Universiteit Brussel
11:15
22mTalk
Capturing and Exploiting IDE Interactions Onward! Papers
Zhongxian Gu UC Davis, Drew Schleck UC Davis, Earl T. Barr University College London, Zhendong Su University of California, Davis
11:37
22mTalk
A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs Onward! Papers
Eelco Visser Delft University of Technology, Guido Wachsmuth Delft University of Technology, Andrew Tolmach Portland State University, Pierre Neron TU Delft, Vlad Vergu TU Delft, Augusto Passalaqua TU Delft, Gabriël Konat Delft University of Technology
Media Attached 10:30 - 12:00
SRC PresentationsStudent Research Competition at Salon C
Chair(s): Işıl Dillig University of Texas, Austin, Sam Guyer Tufts University
Chair(s): Işıl Dillig University of Texas, Austin, Sam Guyer Tufts University
10:30 - 12:00
10:52
22mTalk
Foundations of Path-Dependent Types OOPSLA
Nada Amin EPFL, Tiark Rompf Purdue & Oracle Labs, Martin Odersky Ecole Polytechnique Federale de Lausanne
Link to publication File Attached 11:15
22mTalk
Confined Gradual Typing OOPSLA
Esteban Allende, Johan Fabry University of Chile, Ronald Garcia University of British Columbia, Éric Tanter University of Chile
Link to publication 10:30
22mTalk
Continuously Measuring Critical Section Pressure with the Free-Lunch Profiler OOPSLA
Florian David LIP6-UPMC/INRIA, Gaël Thomas LIP6-UPMC/INRIA, Julia Lawall LIP6, Gilles Muller LIP6-INRIA/UPMC
Link to publication 10:52
22mTalk
Chisel: Reliability-Aware Optimization of Approximate Computational Kernels OOPSLA
Link to publication 11:15
22mTalk
An Experimental Survey of Energy Management Across the Stack OOPSLA
Link to publication 11:37
22mTalk
Understanding Energy Behaviors of Thread Management Constructs OOPSLA
Gustavo Pinto Federal University of Pernambuco, Fernando Castor UFPE, Yu David Liu State University of New York (SUNY) Binghamton
Link to publication 10:30 - 12:00
10:30
90mTalk
Panel: East Meets West — the Influences of Geography on Software Production Wavefront
Steven D. Fraser Independent Consultant, Dennis Mancl Alcatel-Lucent, Aki Namioka Marchex, Roberto Salama Millennium Partners, Allen Wirfs-Brock Mozilla Corporation
12:00 - 13:30
12:00 - 13:30
13:00
40mTalk
Demo 2: OMEN - A Tool for Synthesizing Tests for Deadlock Detection Demos
Malavika Samak Indian Institute of Science, Bangalore, Murali Krishna Ramanathan Indian Institute of Science, Bangalore
13:30 - 15:00
13:30 - 15:00
13:30
45mTalk
Coverage and Its Discontents Onward! Essays
Alex Groce Oregon State University, Amin Alipour Oregon State University, Rahul Gopinath Oregon State University
14:15
45mTalk
Getting to Flow in Software Development Onward! Essays
Gail Murphy University of British Columbia
13:30 - 15:00
13:30
22mTalk
Distributed REScala: An Update Algorithm for Distributed Reactive Programming OOPSLA
Joscha Drechsler Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt, A: Ragnar Mogk Technische Universität Darmstadt, A: Mira Mezini Technical University of Darmstadt
Link to publication 13:52
22mTalk
From Object Algebras to Attribute Grammars OOPSLA
Tillmann Rendel University of Marburg, Jonathan Immanuel Brachthäuser University of Marburg, Klaus Ostermann University of Marburg
Link to publication 14:15
22mTalk
Late Data Layout: Unifying Data Representation Transformations OOPSLA
Link to publication 14:37
22mTalk
i3QL: Language-Integrated Live Data Views OOPSLA
Ralf Mitschke Technical University of Darmstadt, Sebastian Erdweg TU Darmstadt, Mirko Köhler Technical University of Darmstadt, Mira Mezini Technical University of Darmstadt, Guido Salvaneschi TU Darmstadt
Link to publication 13:30 - 15:00
13:52
22mTalk
Fast Splittable Pseudorandom Number Generators OOPSLA
Guy L. Steele Jr. Oracle Labs, Doug Lea State University of New York (SUNY) Oswego, Christine H. Flood Red Hat
Link to publication 14:15
22mTalk
Multithreaded Test Synthesis for Deadlock Detection OOPSLA
Malavika Samak Indian Institute of Science, Bangalore, Murali Krishna Ramanathan Indian Institute of Science, Bangalore
Link to publication 14:37
22mTalk
Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts OOPSLA
Tom Bergan University of Washington, Dan Grossman University of Washington, Luis Ceze University of Washington
Link to publication 13:30
90mTalk
Software Engineering for Mobile Development: Best Practices, Anti-patterns, Tools, and Techniques Tutorials
Aharon Abadi IBM Research
13:30 - 15:00
13:30
90mTalk
Invited Talk: Avoiding the software development apocalypse through continuous build and test Wavefront
Eric Forsberg Mentor Graphics Corporation
15:30 - 17:00
15:30 - 17:00
15:52
22mTalk
Mining the Ecosystem to Improve Type Inference For Dynamically Typed Languages Onward! Papers
Boris Spasojevic University of Bern, Switzerland, Mircea Lungu University of Bern, Switzerland, Oscar Nierstrasz University of Bern, Switzerland
DOI Pre-print 16:15
22mTalk
Description Logic as Programming Language Onward! Papers
James Skene Auckland University of Technology
15:30 - 17:00
15:30
22mTalk
CheckCell: Data Debugging for Spreadsheets OOPSLA
Dan Barowy University of Massachusetts, Amherst, Dimitar Gochev University of Massachusetts, Amherst, Emery D. Berger University of Massachusetts, Amherst
Link to publication 15:52
22mTalk
Finding Minimum Type Error Sources OOPSLA
Zvonimir Pavlinovic New York University, Tim King New York University, Thomas Wies New York University
Link to publication File Attached 16:15
22mTalk
Flint: Fixing Linearizability Violations OOPSLA
Peng Liu Purdue University, Omer Tripp IBM Thomas J. Watson Research Center, Xiangyu Zhang Purdue University
Link to publication 15:30 - 17:00
15:30
22mTalk
Adaptive LL(*) Parsing: The Power of Dynamic Analysis OOPSLA
Terence Parr University of San Francisco, Sam Harwell University of Texas at Austin, Kathleen Fisher Tufts University
Link to publication File Attached 15:52
22mTalk
Automated Migration of Build Scripts using Dynamic Analysis and Search-Based Refactoring OOPSLA
Milos Gligoric University of Illinois at Urbana-Champaign, Wolfram Schulte Microsoft, Chandra Prasad Microsoft, Danny van Velzen Microsoft, Iman Narasamdya Microsoft, Ben Livshits Microsoft Research
Link to publication 16:37
22mTalk
Staged Parser Combinators for Efficient Data Processing OOPSLA
Manohar Jonnalagedda EPFL, Switzerland, Thierry Coppey EPFL, Switzerland; Google, Sandro Stucki EPFL, Switzerland, Tiark Rompf Purdue & Oracle Labs, Martin Odersky Ecole Polytechnique Federale de Lausanne
Link to publication 18:30 - 21:30
Fri 24 OctDisplayed time zone: Tijuana, Baja California change
Fri 24 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00
08:30 - 10:00
10:30 - 12:00
10:30 - 12:00
Session the FourthOnward! Papers at Salon A
Chair(s): Emery D. Berger University of Massachusetts, Amherst
Chair(s): Emery D. Berger University of Massachusetts, Amherst
10:52
22mTalk
Interleaving of Modification and Use in Data-driven Tool Development Onward! Papers
Marcel Taeumel Hasso Plattner Institute, Michael Perscheid Hasso Plattner Institute, Bastian Steinert Hasso Plattner Institute, Jens Lincke Hasso Plattner Institute, Robert Hirschfeld HPI
11:15
22mTalk
Unifying Textual and Visual: a Theoretical Account of the Visual Perception of Programming Languages Onward! Papers
Stéphane Conversy University of Toulouse - ENAC
11:37
22mTalk
Variational Data Structures: Exploring Tradeoffs in Computing with Variability Onward! Papers
Eric Walkingshaw University of Marburg, Christian Kästner Carnegie Mellon University, Martin Erwig Oregon State University, Sven Apel University of Passau, Eric Bodden Fraunhofer SIT and TU Darmstadt
10:30 - 12:00
Specification and VerificationOOPSLA at Salon E
Chair(s): Gary T. Leavens University of Central Florida
Chair(s): Gary T. Leavens University of Central Florida
10:30
22mTalk
Bounded Exhaustive Test Input Generation from Hybrid Invariants OOPSLA
Nico Rosner Dept. of Computer Science FCEyN, University of Buenos Aires, Valeria Bengolea Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Shadi Abdul Khalek Google, Nazareno Aguirre Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Sarfraz Khurshid University of Texas at Austin
Link to publication 10:52
22mTalk
Compiler Verification Meets Cross-Language Linking via Data Abstraction OOPSLA
Link to publication 11:15
22mTalk
GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation OOPSLA
Link to publication 11:37
22mTalk
Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants OOPSLA
Ankush Desai University of California, Berkeley, Pranav Garg University of Illinois at Urbana-Champaign, P. Madhusudan University of Illinois at Urbana-Champaign
Link to publication 10:30 - 12:00
10:30
22mTalk
Accelerating Iterators in Optimizing AST Interpreters OOPSLA
Wei Zhang University of California, Irvine, Per Larsen University of California, Irvine, Stefan Brunthaler University of California, Irvine, Michael Franz University of California, Irvine
Link to publication 10:52
22mTalk
Call Sequence Prediction through Probabilistic Calling Automata OOPSLA
Zhijia Zhao College of William and Mary / North Carolina State University, Bo Wu College of William and Mary, Mingzhou Zhou College of William and Mary, Yufei Ding College of William and Mary, Jianhua Sun College of William and Mary, Xipeng Shen North Carolina State University, Youfeng Wu Intel Corporation
Link to publication 11:15
22mTalk
Space-Efficient Multi-Versioning for Input-Adaptive Feedback-Driven Program Optimizations OOPSLA
Mingzhou Zhou College of William and Mary, Xipeng Shen North Carolina State University, Yaoqing Gao IBM Toronto Labs, Graham Yiu IBM Toronto Labs
Link to publication 11:37
22mTalk
The HipHop Virtual Machine OOPSLA
Keith Adams Facebook, Jason Evans Facebook, Bertrand Maher Facebook, Guilherme Ottoni Facebook, Drew Paroski Facebook, Brett Simmers Facebook, Edwin Smith Facebook, Owen Yamauchi Facebook
Link to publication 10:30
90mTalk
Programming Distributed Algorithms Tutorials
Y. Annie Liu Stony Brook University, Scott Stoller Stony Brook University, Bo Lin Stony Brook University
10:30 - 12:00
10:30
90mTalk
Invited Talk: Design Goals of the Smallest Federated Wiki Wavefront
Ward Cunningham New Relic
Media Attached 13:30 - 15:00
13:30 - 15:00
13:30
22mTalk
Validation of Memory Accesses Through Symbolic Analyses OOPSLA
Henrique Nazaré Santos UFMG, Izabela Karennina Travizani Maffra UFMG, Willer Fernandes Santos UFMG, Leonardo Barbosa Oliveira UFMG, Laure Gonnord University of Lyon & LIP, France, Fernando Magno Quintão Pereira UFMG
Link to publication 14:15
22mTalk
Efficient Subcubic Alias Analysis for C OOPSLA
Qirun Zhang The Hong Kong University of Science and Technology, A: Xiao Xiao The Hong Kong University of Science and Technology, A: Charles Zhang Hong Kong University of Science and Technology, A: Hao Yuan BOPU Technologies, A: Zhendong Su University of California, Davis
Link to publication 14:37
22mTalk
Static Analysis for Independent App Developers OOPSLA
Lucas Brutschy ETH Zurich, Pietro Ferrara IBM Thomas J. Watson Research Center, Peter Müller ETH Zurich
Link to publication 13:30 - 15:00
13:30
22mTalk
ASPIRE: Exploiting Asynchronous Parallelism in Iterative Algorithms using a Relaxed Consistency based DSM OOPSLA
Keval Vora University of California, Riverside, Sai Charan Koduru University of California, Riverside, Rajiv Gupta UC Riverside
Link to publication Media Attached File Attached 13:52
22mTalk
Alembic: Automatic Locality Extraction via Migration OOPSLA
Brandon Holt University of Washington, Preston Briggs University of Washington, Luis Ceze University of Washington, Mark Oskin University of Washington
Link to publication Media Attached File Attached 14:15
22mTalk
Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs OOPSLA
Tian Xiao Tsinghua University / Microsoft Research, Zhenyu Guo Microsoft Research, Hucheng Zhou Microsoft Research, Jiaxing Zhang Microsoft Research, Xu Zhao University of Toronto, Chencheng Ye Huazhong University of Science and Technology, Xi Wang MIT CSAIL, Wei Lin Microsoft Bing, Wenguang Chen Tsinghua University, Lidong Zhou Microsoft Research
Link to publication Media Attached 14:37
22mTalk
Translating Imperative Code to MapReduce OOPSLA
Cosmin Radoi University of Illinois, Stephen J Fink IBM, Rodric Rabbah IBM Research, Manu Sridharan Samsung Research America
Link to publication Media Attached 15:00 - 17:00
15:30 - 17:00
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
x Thu 16 Oct 01:27