SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States

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 Oct

Displayed time zone: Tijuana, Baja California change

13:00 - 17:00
13:00
30m
Registration
Registration and check-in
Summer School on Multicore Programming

13:30
30m
Talk
Welcome and class overview
Summer School on Multicore Programming

14:00
30m
Talk
Multicore Architecture
Summer School on Multicore Programming

14:30
60m
Talk
Threading Concepts
Summer School on Multicore Programming

15:30
60m
Talk
Parallel Programming Patterns
Summer School on Multicore Programming

16:30
30m
Talk
Programming with Eclipse
Summer School on Multicore Programming

Sat 18 Oct

Displayed time zone: Tijuana, Baja California change

09:00 - 12:00
09:00
3h
Talk
Parallelism with Java Threads and ThreadPools
Summer School on Multicore Programming

13:00 - 17:00
13:00
3h
Talk
Correctness, Thread-safety, and Scalability
Summer School on Multicore Programming

16:00
60m
Talk
Parallelism with with Lightweight Task Framework and Parallel Streams in Java 7/8
Summer School on Multicore Programming

Sun 19 Oct

Displayed time zone: Tijuana, Baja California change

09:00 - 12:00
09:00
3h
Talk
Thread-safety with Atomics* and Concurrent Collections
Summer School on Multicore Programming

13:00 - 17:00
13:00
2h
Talk
Refactoring for Improving Throughput and Scalability
Summer School on Multicore Programming

15:00
2h
Talk
Upcoming Concurrency Libraries in Java
Summer School on Multicore Programming
Doug Lea State University of New York (SUNY) Oswego

Mon 20 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Informal Meeting SpaceAdministration at Eugene
08:30
90m
Meeting
Informal Meeting Space
Administration

08:30 - 10:00
Opening and KeynotePROMOTO at Salon B
Chair(s): Arno Puder Iowa State University
08:30
30m
Other
Opening, Introductions, Welcome
PROMOTO

09:00
60m
Talk
Programming Gadgets with Gadgets
PROMOTO
Peli de Halleux Microsoft Research
08:30 - 10:00
08:30
45m
Day opening
Introductions
Doctoral Symposium

09:15
45m
Talk
Structured Source Retrieval for Improving Software Search during Program Comprehension Tasks
Doctoral Symposium
08:30 - 10:00
Opening & Invited Talk & Full-Papers IAGERE! at Salon D
08:30
5m
Day opening
Opening & Welcome
AGERE!

08:35
60m
Talk
Upgrade Programming for Mobile Cloud
AGERE!
Gul Agha University of Illinois at Urbana-Champaign
09:35
25m
Talk
Selectors: Actors with Multiple Guarded Mailboxes
AGERE!
Shams Imam Rice University, Vivek Sarkar Rice University
08:30 - 10:00
Welcome, Introductions, DiscussionFOOL at Salon G
Chair(s): Marco Servetto Victoria University of Wellington
08:30
90m
Other
Informal Group Discussion
FOOL

08:30 - 10:00
Session 1DSLDI at Salon I
Chair(s): Guido Wachsmuth Delft University of Technology
08:30
30m
Day opening
Welcome & Introductions
DSLDI

09:00
30m
Talk
Compositionality in embedded DSLs
DSLDI
Jeremy Gibbons University of Oxford, UK
09:30
30m
Talk
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:00 - 10:30
Morning BreakCatering at Salon E+F
10:00
30m
Coffee break
Morning Break
Catering

10:30 - 12:00
Informal Meeting SpaceAdministration at Eugene
10:30
90m
Meeting
Informal Meeting Space
Administration

10:30 - 12:00
Research TalksPROMOTO at Salon B
Chair(s): Judith Bishop Microsoft Research
10:30
45m
Talk
Live programming of mobile apps in App Inventor
PROMOTO

11:15
45m
Talk
Software Engineering Principles in the Midas Gesture Specification Language,
PROMOTO
Wolfgang De Meuter Vrije Universiteit Brussel
10:30 - 12:00
10:30
45m
Talk
An Approach to Safely Evolve Program Families in C
Doctoral Symposium
Flavio Medeiros Federal University of Campina Grande
11:15
45m
Talk
Diagnosing Degenerate Forms in Software
Doctoral Symposium
10:30 - 12:00
Research PapersFOOL at Salon G
Chair(s): Marco Servetto Victoria University of Wellington
10:30
30m
Talk
Program Equivalence through Trace Equivalence
FOOL
Tim Wood Imperial College, Sophia Drossopoulou Imperial College London
File Attached
11:00
30m
Talk
The Problem of Structural Type Tests in a Gradual-Typed Language
FOOL
John Boyland University of Wisconsin, Milwaukee
File Attached
11:30
30m
Talk
Managing Gradual Typing with Message-Safety in Dart
FOOL
File Attached
13:30 - 15:00
Informal Meeting SpaceAdministration at Eugene
13:30
90m
Meeting
Informal Meeting Space
Administration

13:30 - 15:00
Tool DemosPROMOTO at Salon B
Chair(s): Nikolai Tillmann Microsoft Research
13:30
45m
Talk
A Preview of Pencil Code
PROMOTO

14:15
45m
Talk
Supporting situated STEM learning - TouchDevelop Integration of the UCL Engduino over Bluetooth
PROMOTO
Dean Mohamedally University College London
13:30 - 15:00
FOOF (Future of Object-Oriented Foundations)FOOL at Salon G
Chair(s): Marco Servetto Victoria University of Wellington
13:30
44m
Talk
The Success, Failure, and Future of Distributed Objects
FOOL
A: Jonathan Aldrich Carnegie Mellon University, I: Andrew Black Portland State University
File Attached
14:15
45m
Talk
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
Session 3DSLDI at Salon I
Chair(s): Laurence Tratt King's College London
13:30
30m
Talk
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
14:00
30m
Talk
Composable Syntax Macros
DSLDI
Chenglong Wang , Cyrus Omar , Jonathan Aldrich Carnegie Mellon University
14:30
30m
Talk
SMAST: Constructing Languages for Multi-Disciplinary Engineering Problems
DSLDI
15:00 - 15:30
Afternoon BreakCatering at Salon E+F
15:00
30m
Coffee break
Afternoon Break
Catering

15:30 - 17:00
Informal Meeting SpaceAdministration at Eugene
15:30
90m
Meeting
Informal Meeting Space
Administration

15:30 - 17:00
Short Papers and PanelPROMOTO at Salon B
Chair(s): Mark Friedman
15:30
30m
Talk
Data-Driven Inference of API Mappings
PROMOTO

16:00
30m
Talk
Mobile vs. Desktop Programming Projects: The Effect on Students
PROMOTO
Matthias Hauswirth University of Lugano
16:30
30m
Talk
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
Short Papers, Posters and Brainstorming AGERE! at Salon D
15:30
15m
Talk
Savina - An Actor Benchmark Suite
AGERE!
Shams Imam Rice University, Vivek Sarkar Rice University
15:45
5m
Talk
Composita: Bringing Order to Agent Communications
AGERE!
15:50
5m
Talk
Modular Reasoning in Capsule
AGERE!
Mehdi Bagherzadeh Iowa State University, Hridesh Rajan
15:55
5m
Talk
Supporting Relative Location Constraints in Actor Systems
AGERE!
Xinghui Zhao University of Washington, Hua Zhang , Nadeem Jamali University of Saskatchewan
16:00
55m
Meeting
Brainstorming & Discussion
AGERE!

16:55
5m
Day closing
Closing
AGERE!

15:30 - 17:00
KeynoteFOOL at Salon G
Chair(s): Marco Servetto Victoria University of Wellington
15:30
90m
Talk
Extensibilty for the masses
FOOL
William Cook UT Austin
File Attached
18:00 - 21:00
Welcome ReceptionSocial Events at Salon E+F
18:00
3h
Dinner
Welcome Reception
Social Events

Tue 21 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Informal Meeting SpaceAdministration at Eugene
08:30
90m
Meeting
Informal Meeting Space
Administration

08:30 - 10:00
Welcome and Invited TalkETX at Medford
08:30
30m
Day opening
Welcome and Opening
ETX
Jan S. Rellermeyer IBM Research
09:00
60m
Talk
Invited Talk: Anish Karmarkar (Oracle)
ETX
08:30 - 10:00
IntroductionPSP at Portland
08:30
45m
Talk
Welcome and Introduction of First Keynote
PSP

09:15
45m
Talk
Keynote 1: Stephen Chong
PSP

08:30 - 10:00
Motivating Student LearningSPLASH-E at Salon A
08:30
30m
Day opening
Meet, Greet, and Caffeinate
SPLASH-E

09:00
30m
Talk
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
09:30
30m
Talk
The Gidget Tool for Learning Programming
SPLASH-E
P: Michael Lee University of Washington
08:30 - 10:00
Invited Speaker: Michael Pradel - Session ASEPS at Salon B
Chair(s): Ali Jannesari Technical University of Darmstadt
08:30
10m
Talk
Opening and Welcome
SEPS

08:40
60m
Talk
Invited Talk: Automatic and Precise Program Analyses for Reliable and Efficient Concurrency
SEPS
Michael Pradel University of California, Berkeley, USA
09:40
20m
Talk
Lighthouse: A User-Centered Web Service for Linear Algebra Software
SEPS
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
08:30
30m
Other
Welcome and Introductions
PLATEAU

09:00
60m
Talk
Invited Speaker: A Brief, Opinionated History of the API
PLATEAU
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
08:30
90m
Talk
Elm: Functional Reactive Programming for Front-End Applications
REBLS
08:30 - 10:00
Invited paper and technical paper session 1DLS at Salon I
Chair(s): Laurence Tratt King's College London
08:30
60m
Talk
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
20m
Talk
Scriptable Operating Systems with Lua
DLS
10:00 - 10:30
Morning BreakCatering at Salon E+F
10:00
30m
Coffee break
Morning Break
Catering

10:30 - 12:00
Informal Meeting SpaceAdministration at Eugene
10:30
90m
Meeting
Informal Meeting Space
Administration

10:30 - 12:00
Technical Paper SessionETX at Medford
10:30
30m
Talk
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
30m
Talk
Encouraging privacy by design concepts with privacy Policy Auto-Generation in Eclipse (PAGE)
ETX
Mark Rowan Towson University, Josh Dehlinger Towson University
11:30
30m
Talk
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 - 12:00
Error Messages, Feedback, and Impromptu TopicsSPLASH-E at Salon A
10:30
35m
Talk
Idea Garden: Helping End-User Programmers Help Themselves
SPLASH-E
William Jernigan Oregon State University
11:05
15m
Talk
Discussion on motivation, errors, and supporting new programmers
SPLASH-E

11:20
20m
Talk
Discussion on scaling software courses to large numbers of students
SPLASH-E

11:40
20m
Talk
Impromptu topics
SPLASH-E

10:30 - 12:00
Invited Speaker: Frank Schlimbach - Session BSEPS at Salon B
Chair(s): Boyana Norris
10:30
50m
Talk
Invited Talk: Dependence Programing with CnC
SEPS
11:20
20m
Talk
Consideration of loop parallelization on heterogeneous multicore architecture using path and data dependence profiling
SEPS
P: Takanobu Baba Professor, Utsunomiya University, Japan
11:40
20m
Talk
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
Session 2PLATEAU at Salon D
Chair(s): Craig Anslow University of Calgary
10:30
22m
Talk
Asking and Answering Questions during a Programming Change Task in Pharo Language
PLATEAU
File Attached
10:52
22m
Talk
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
22m
Talk
Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers
PLATEAU
Roxane Koitz Graz University of Technology, Wolfgang Slany Institute of Software Technology, Graz University of Technology
File Attached
11:37
22m
Talk
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
13:30 - 15:00
Informal Meeting SpaceAdministration at Eugene
13:30
90m
Meeting
Informal Meeting Space
Administration

13:30 - 15:00
Invited Talk and Open DemosETX at Medford
13:30
60m
Talk
Invited Talk: Tamás Szabó (itemis AG)
ETX
14:30
30m
Demonstration
Open Demos
ETX

13:30 - 15:00
Design Issues for Software-Oriented CoursesSPLASH-E at Salon A
13:30
30m
Talk
An Experience Report at Teaching Group Based Agile Software Engineering Teams
SPLASH-E
Craig Anslow University of Calgary, Frank Maurer
14:00
30m
Talk
Feedback on Course Design: Project-based software engineering education in an evening master's program
SPLASH-E
Yadran Eterovic Pontificia Universidad Catlica de Chile
14:30
30m
Talk
Open Discussion (around course designs)
SPLASH-E

13:30 - 15:00
Session 3PLATEAU at Salon D
Chair(s): Joshua Sunshine Carnegie Mellon University
13:30
25m
Talk
How Developers Use Data Race Detection Tools
PLATEAU
File Attached
13:55
15m
Talk
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
15m
Talk
Supporting Social Interactions and Awareness in Educational Programming Environments
PLATEAU
Adam Carter Washington State University, Christopher Hundhausen Washington State University
File Attached
14:25
35m
Talk
Invited Talk: How Do API Documentation and Static Typing Affect API Usability?
PLATEAU
S: Stefan Hanenberg University of Duisburg-Essen
15:00 - 15:30
Afternoon BreakCatering at Salon E+F
15:00
30m
Coffee break
Afternoon Break
Catering

15:30 - 17:00
Informal Meeting SpaceAdministration at Eugene
15:30
90m
Meeting
Informal Meeting Space
Administration

15:30 - 17:00
Open Discussion and ClosingETX at Medford
15:30
60m
Other
Open Discussion
ETX

16:30
15m
Day closing
Closing
ETX
Jan S. Rellermeyer IBM Research
15:30 - 17:00
Moving ForwardPSP at Portland
15:30
30m
Awards
Best Paper Award
PSP

16:00
30m
Talk
PANEL: Security and Privacy in Programming
PSP

16:30
30m
Talk
Next Steps
PSP

15:30 - 17:00
Design Issues in Drag-and-Drop LanguagesSPLASH-E at Salon A
15:30
30m
Talk
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 Graz University of Technology
16:00
30m
Talk
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
16:30
15m
Talk
Open Discussion (around drag-and-drop language design)
SPLASH-E

16:45
15m
Meeting
Business Meeting
SPLASH-E

15:30 - 17:00
Group WorkDSM at Salon C
15:30
45m
Talk
Group Work on selected topics
DSM

16:15
45m
Talk
Group work reporting
DSM

15:30 - 17:00
Session 4PLATEAU at Salon D
Chair(s): Thomas LaToza University of California, Irvine
15:30
22m
Talk
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
22m
Talk
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
16:15
22m
Talk
Usability Hypotheses in the Design of Plaid
PLATEAU
Jonathan Aldrich Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University
File Attached
16:37
22m
Other
Group Activity
PLATEAU

15:30 - 17:00
Paper Session 3REBLS at Salon H
15:30
45m
Talk
Alea Reactive Dataflow: GPU Parallelization Made Simple
REBLS

16:15
45m
Day closing
Plenary session
REBLS

Wed 22 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Informal Meeting SpaceAdministration at Eugene
08:30
90m
Meeting
Informal Meeting Space
Administration

08:30 - 10:00
Gary McGraw KeynoteKeynotes at Salon E+F
Chair(s): Shriram Krishnamurthi Brown University
08:30
90m
Talk
Keynote: Software Security - A Study in Technology Transfer
Keynotes
S: Gary McGraw Cigital
Link to publication
10:00 - 10:30
Morning BreakCatering at Salon E+F
10:00
30m
Coffee break
Morning Break
Catering

10:30 - 12:00
Informal Meeting SpaceAdministration at Eugene
10:30
90m
Meeting
Informal Meeting Space
Administration

10:30 - 12:00
Session the FirstOnward! Papers at Salon A
Chair(s): Sebastian Erdweg TU Darmstadt
10:30
22m
Talk
Programming with Managed Time
Onward! Papers
Sean McDirmid Microsoft Research, Jonathan Edwards MIT, USA
10:52
23m
Talk
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
11:15
22m
Talk
Versionable, Branchable, and Mergeable Application State
Onward! Papers
David H. Lorenz Open University and Technion IIT, Boaz Rosenan University of Haifa
11:37
23m
Talk
The Semantics of Version Control
Onward! Papers
Wouter Swierstra University of Utrecht, Andres Löh Well-Typed LLP
10:30 - 12:00
Program Analysis and the WebOOPSLA at Salon E
Chair(s): Stephen Chong Harvard University
10:30
22m
Talk
Checking Correctness of TypeScript Interfaces for JavaScript Libraries
OOPSLA
Asger Feldthaus Aarhus University, Anders Møller Aarhus University
Link to publication
10:52
22m
Talk
Determinacy in Static Analysis for jQuery
OOPSLA
Esben Andreasen Aarhus University, Anders Møller Aarhus University
Link to publication
11:15
22m
Talk
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
22m
Talk
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
Runtime SystemsOOPSLA at Salon F
Chair(s): Martin Hirzel IBM Research
10:30
22m
Talk
Tardis: Affordable Time-Travel Debugging in Managed Runtimes
OOPSLA
Earl T. Barr University College London, Mark Marron Microsoft Research
Link to publication
10:52
22m
Talk
Phosphor: Illuminating Dynamic Data Flow in Commodity JVMs
OOPSLA
Jonathan Bell Columbia University, Gail Kaiser Columbia University, New York
Link to publication Media Attached
11:15
22m
Talk
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
22m
Talk
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 - 12:00
Tutorial 1: Quality Assurance to Agile QualityTutorials at Salon G
10:30
90m
Talk
QA to AQ: Shifting from Quality Assurance to Agile Quality
Tutorials
Joe Yoder The Refactory, Inc.
10:30 - 12:00
Tutorial 2: Rust Programming LanguageTutorials at Salon H
10:30
90m
Talk
Rust - Zero-cost safety
Tutorials
Nicholas Matsakis Mozilla Corporation
12:00 - 13:30
SPLASH SC MeetingAdministration at Salon C
Chair(s): Crista Lopes University of California, Irvine
12:00
90m
Meeting
SPLASH Steering Committee Meeting
Administration

13:00 - 13:40
Demo 1: Pocket Code IDEDemos at Salon D
13:00
40m
Talk
Demo 1: Pocket Code - IDE for your Phone
Demos
Wolfgang Slany Institute of Software Technology, Graz University of Technology
13:30 - 15:00
Informal Meeting SpaceAdministration at Eugene
13:30
90m
Meeting
Informal Meeting Space
Administration

13:30 - 15:00
Session 1Onward! Essays at Salon A
Chair(s): Jonathan Aldrich Carnegie Mellon University
13:30
45m
Talk
In search of types
Onward! Essays
Stephen Kell University of Cambridge
14:15
45m
Talk
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
Domain Specific LanguagesOOPSLA at Salon E
Chair(s): Yannis Smaragdakis University of Athens
13:30
22m
Talk
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
13:52
22m
Talk
Smten with Satisfiability-Based Search
OOPSLA
Richard Uhler MIT-CSAIL, Nirav Dave SRI International
Link to publication
14:15
22m
Talk
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
22m
Talk
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 - 15:00
Security Panel Panels at Salon F
13:30
90m
Other
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
13:30 - 15:00
Tutorial 3: Language CompositionTutorials at Salon G
13:30
90m
Talk
Towards Language Composition
Tutorials
Laurence Tratt King's College London
13:30 - 15:00
Tutorial 4: Coccinelle Tool for C CodeTutorials at Salon H
13:30
90m
Talk
Coccinelle for the Working Programmer
Tutorials
15:00 - 15:30
Afternoon BreakCatering at Salon E+F
15:00
30m
Coffee break
Afternoon Break
Catering

15:30 - 17:00
Informal Meeting SpaceAdministration at Eugene
15:30
90m
Meeting
Informal Meeting Space
Administration

15:30 - 17:00
SPLASH AwardsAwards at Salon E+F
Chair(s): Andrew Black Portland State University
15:30
90m
Awards
SPLASH Awards
Awards

18:00 - 21:00
SRC PostersStudent Research Competition at Exhibit Hall
Chair(s): Isil Dillig University of Texas, Austin, Sam Guyer Tufts University
18:00
18m
Talk
Kamino: Dynamic Approach to Semantic Code Clone Detection
Student Research Competition
Lindsay Neubauer Columbia University
18:18
18m
Talk
Analysis with Type-Intertwined Separation Logic
Student Research Competition
Devin Coughlin University of Colorado Boulder
18:36
18m
Talk
Quality Types for Approximate Programming
Student Research Competition
Brett Boston University of Washington
18:54
18m
Talk
Recommending More Efficient Workflows to Software Developers
Student Research Competition
Dylan Bates Coker College
19:12
18m
Talk
Incorporating Structured Queries into Software Search
Student Research Competition
19:30
18m
Talk
A Study of Wheat and Chaff in Source Code
Student Research Competition
Martin Velez University of California, Davis
19:48
18m
Talk
Improved Program Synthesis Through the Use of Packages
Student Research Competition
Santiago Gonzalez Colorado School of Mines, C: Armando Solar-Lezama MIT
20:06
18m
Talk
Towards Concurrent Reactive Programming
Student Research Competition
Joscha Drechsler Technische Universität Darmstadt
20:24
18m
Talk
A Language for the Specification and Efficient Implementation of Type Systems
Student Research Competition
Pascal Wittmann TU Darmstadt
20:42
18m
Talk
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
18:00
3h
Talk
Searching for Answers: An Exploratory Study of the Formation, Use, and Impact of Queries During Debugging
Posters
Jonathan Corley University of Alabama, Brian Eddy
18:00
3h
Talk
Enhancing Conformance Checking for Contract-Based Programs
Posters
Alysson Milanez UFCG, Brazil, Tiago Massoni UFCG, Rohit Gheyi UFCG, Brazil
18:00
3h
Talk
Self-Adaptive Parallel Programming Through Tunable Concurrency
Posters
Tai Nguyen Washington State University, Xinghui Zhao University of Washington
18:00
3h
Talk
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
18:00
3h
Talk
Detecting Design Similarity Patterns Using Program Execution Traces
Posters
Kuldeep Kumar National University of Singapore, Stan Jarzabek National University of Singapore
18:00
3h
Talk
Taming the Dynamic Behavior of JavaScript
Posters
Shiyi Wei Virginia Tech, Barbara Ryder Virginia Tech
20:00 - 22:00
SPLASH 2015 OC MeetingAdministration at Salon C
Chair(s): Jonathan Aldrich Carnegie Mellon University
20:00
60m
Meeting
SPLASH 2015 Organizing Committee Meeting
Administration

Thu 23 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Informal Meeting SpaceAdministration at Eugene
08:30
90m
Meeting
Informal Meeting Space
Administration

08:30 - 10:00
Peter Norvig KeynoteKeynotes at Salon E+F
Chair(s): Shriram Krishnamurthi Brown University
08:30
90m
Talk
Keynote: Machine Learning for Programming
Keynotes
S: Peter Norvig Google
Link to publication Media Attached
10:00 - 10:30
Morning BreakCatering at Salon E+F
10:00
30m
Coffee break
Morning Break
Catering

10:30 - 12:00
Informal Meeting SpaceAdministration at Eugene
10:30
90m
Meeting
Informal Meeting Space
Administration

10:30 - 12:00
Session the SecondOnward! Papers at Salon A
Chair(s): Gail Murphy University of British Columbia
10:30
22m
Talk
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
22m
Talk
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
22m
Talk
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
22m
Talk
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): Isil Dillig University of Texas, Austin, Sam Guyer Tufts University
10:30 - 12:00
Type SystemsOOPSLA at Salon E
Chair(s): Ravi Chugh University of Chicago
10:30
22m
Talk
Rate Types for Stream Programs
OOPSLA
Thomas W. Bartenstein SUNY Binghamton, Yu David Liu State University of New York (SUNY) Binghamton
Link to publication File Attached
10:52
22m
Talk
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
22m
Talk
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
11:37
22m
Talk
Refactoring Java Generics by Inferring Wildcards, In Practice
OOPSLA
John Altidor University of Massachusetts, Yannis Smaragdakis University of Athens
Link to publication File Attached
10:30 - 12:00
Tutorial 5: One VM to Rule Them AllTutorials at Salon G
10:30
90m
Talk
One VM to Rule Them All
Tutorials
Christian Wimmer Oracle Labs
10:30 - 12:00
Tutorial 6: Hardware Design Using Liquid MetalTutorials at Salon H
10:30
90m
Talk
Hardware Design for Software Developers Using Liquid Metal
Tutorials
Rodric Rabbah IBM Research, Joshua Auerbach IBM Research
10:30 - 12:00
Panel: East Meets WestWavefront at Salon I
Chair(s): David Archer Galois
10:30
90m
Talk
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
Onward! SC MeetingAdministration at Eugene
Chair(s): Kevin Sullivan University of Virginia
12:00
90m
Meeting
Onward! Steering Committee Meeting
Administration

12:00 - 13:30
Women's Lunch - GoogleSocial Events at Portland
12:00
49h30m
Lunch
Women's Lunch - Google
Social Events

13:00 - 13:40
Demo 2: OMEN Testing Tool for Deadlock DetectionDemos at Salon D
13:00
40m
Talk
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
Informal Meeting SpaceAdministration at Eugene
13:30
90m
Meeting
Informal Meeting Space
Administration

13:30 - 15:00
Session 2Onward! Essays at Salon A
Chair(s): Bernd Bruegge Technische Universität München
13:30
45m
Talk
Coverage and Its Discontents
Onward! Essays
Alex Groce Oregon State University, Amin Alipour Oregon State University, Rahul Gopinath Oregon State University
14:15
45m
Talk
Getting to Flow in Software Development
Onward! Essays
Gail Murphy University of British Columbia
13:30 - 15:00
LanguagesOOPSLA at Salon E
Chair(s): Crista Lopes University of California, Irvine
13:30
22m
Talk
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
22m
Talk
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
22m
Talk
Late Data Layout: Unifying Data Representation Transformations
OOPSLA
Vlad Ureche EPFL, Eugene Burmako EPFL, Martin Odersky Ecole Polytechnique Federale de Lausanne
Link to publication
14:37
22m
Talk
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
ConcurrencyOOPSLA at Salon F
Chair(s): David Grove IBM Research
13:30
22m
Talk
Atlas: Leveraging Locks for Non-volatile Memory Consistency
OOPSLA
Dhruva Chakrabarti HP Labs, Hans-J. Boehm Google, Kumud Bhandari Rice University
Link to publication
13:52
22m
Talk
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
22m
Talk
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
22m
Talk
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 - 15:00
Tutorial 7: SoftEng for Mobile DevTutorials at Salon G
13:30
90m
Talk
Software Engineering for Mobile Development: Best Practices, Anti-patterns, Tools, and Techniques
Tutorials
Aharon Abadi IBM Research
13:30 - 15:00
Invited Talk: Eric ForsbergWavefront at Salon I
Chair(s): David Archer Galois
13:30
90m
Talk
Invited Talk: Avoiding the software development apocalypse through continuous build and test
Wavefront
Eric Forsberg Mentor Graphics Corporation
15:00 - 15:30
Afternoon BreakCatering at Salon E+F
15:00
30m
Coffee break
Afternoon Break
Catering

15:30 - 17:00
Informal Meeting SpaceAdministration at Eugene
15:30
90m
Meeting
Informal Meeting Space
Administration

15:30 - 17:00
Session the ThirdOnward! Papers at Salon A
Chair(s): Shriram Krishnamurthi Brown University
15:30
22m
Talk
Korz: Simple, Symmetric, Subjective,
 Context-Oriented Programming
Onward! Papers
David Ungar IBM Research, Harold Ossher IBM Research, Doug Kimelman IBM Research
15:52
22m
Talk
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
16:15
22m
Talk
Description Logic as Programming Language
Onward! Papers
James Skene Auckland University of Technology
16:37
22m
Talk
It's only illegal if you get caught
Onward! Papers
Raphaël Proust University of Cambridge, Alan Mycroft University of Cambridge
15:30 - 17:00
DebuggingOOPSLA at Salon E
Chair(s): Caitlin Sadowski Google
15:30
22m
Talk
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
22m
Talk
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
22m
Talk
Flint: Fixing Linearizability Violations
OOPSLA
Peng Liu Purdue University, Omer Tripp IBM Thomas J. Watson Research Center, Xiangyu Zhang Purdue University
Link to publication
16:37
22m
Talk
Statistical Debugging for Real-World Performance Problems
OOPSLA
Linhai Song University of Wisconsin–Madison, Shan Lu University of Chicago
Link to publication
15:30 - 17:00
Compilation ToolsOOPSLA at Salon F
Chair(s): Robert Grimm Goldman Sachs
15:30
22m
Talk
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
22m
Talk
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:15
22m
Talk
Mix10: Compiling MATLAB to X10 for High Performance
OOPSLA
Vineet Kumar , Laurie Hendren McGill University
Link to publication
16:37
22m
Talk
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
15:30 - 17:00
Tutorial 8: Exercises in Programming StyleTutorials at Salon G
15:30
90m
Talk
Exercises in Programming Style
Tutorials
Crista Lopes University of California, Irvine
18:30 - 21:30
18:30
3h
Dinner
Conference Banquet
Social Events

Fri 24 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Informal Meeting SpaceAdministration at Eugene
08:30
90m
Meeting
Informal Meeting Space
Administration

10:00 - 10:30
Morning BreakCatering at Salon E+F
10:00
30m
Coffee break
Morning Break
Catering

10:30 - 12:00
Informal Meeting SpaceAdministration at Eugene
10:30
90m
Meeting
Informal Meeting Space
Administration

10:30 - 12:00
Session the FourthOnward! Papers at Salon A
Chair(s): Emery D. Berger University of Massachusetts, Amherst
10:30
22m
Talk
Phrase-Based Statistical Translation of Programming Languages
Onward! Papers
Svetoslav Karaivanov ETH Zurich, Veselin Raychev ETH Zurich, Martin Vechev ETH Zurich
10:52
22m
Talk
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
22m
Talk
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
22m
Talk
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 Leavens University of Central Florida
10:30
22m
Talk
Bounded Exhaustive Test Input Generation from Hybrid Invariants
OOPSLA
Nicolás 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
22m
Talk
Compiler Verification Meets Cross-Language Linking via Data Abstraction
OOPSLA
Peng Wang MIT CSAIL, Santiago Cuellar Princeton, Adam Chlipala MIT
Link to publication
11:15
22m
Talk
GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation
OOPSLA
Aaron Turon MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany, Derek Dreyer MPI-SWS
Link to publication
11:37
22m
Talk
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
Dynamic OptimizationOOPSLA at Salon F
Chair(s): Zachary Tatlock University of Washington, Seattle
10:30
22m
Talk
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
22m
Talk
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
22m
Talk
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
22m
Talk
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 - 12:00
Tutorial 9: Designing PL for PeopleTutorials at Salon G
10:30
90m
Talk
Designing Programming Languages for People: Data-Driven Methods
Tutorials
Stefan Hanenberg University of Duisburg-Essen, Andreas Stefik University of Nevada, Las Vegas
10:30 - 12:00
Tutorial 10: Programming Distributed AlgorithmsTutorials at Salon H
10:30
90m
Talk
Programming Distributed Algorithms
Tutorials
Y. Annie Liu Stony Brook University, Scott Stoller Stony Brook University, Bo Lin Stony Brook University
10:30 - 12:00
Invited Talk: Ward CunninghamWavefront at Salon I
Chair(s): David Archer Galois
10:30
90m
Talk
Invited Talk: Design Goals of the Smallest Federated Wiki
Wavefront
Ward Cunningham New Relic
Media Attached
13:00 - 13:40
Demo 3: Agile Programming With Executable ModelsDemos at Salon D
13:00
40m
Talk
Demo 3: Agile Programming With Executable Models
Demos
Ed Seidewitz Model Driven Solutions, Arnaud Cuccuru CEA Saclay - NanoInnov
13:30 - 15:00
Informal Meeting SpaceAdministration at Eugene
13:30
90m
Meeting
Informal Meeting Space
Administration

13:30 - 15:00
Session 3Onward! Essays at Salon A
Chair(s): Bruce Horn Intel Corporation
13:30
45m
Talk
The Programming Language Wars
Onward! Essays
Andreas Stefik University of Nevada, Las Vegas , Stefan Hanenberg University of Duisburg-Essen
14:15
45m
Talk
I Throw Itching Powder at Tulips
Onward! Essays
Richard P. Gabriel IBM Research, USA
13:30 - 15:00
Static AnalysisOOPSLA at Salon E
Chair(s): Anders Møller Aarhus University
13:30
22m
Talk
Validation of Memory Accesses Through Symbolic Analyses
OOPSLA
Link to publication
13:52
22m
Talk
Abstract Semantic Differencing via Speculative Correlation
OOPSLA
Nimrod Partush Technion, Eran Yahav Technion
Link to publication
14:15
22m
Talk
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
22m
Talk
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
Distributed ComputingOOPSLA at Salon F
Chair(s): Madan Musuvathi Microsoft Research
13:30
22m
Talk
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
22m
Talk
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
22m
Talk
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
22m
Talk
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
13:30 - 15:00
Tutorial 11: Generative ProgrammingTutorials at Salon G
13:30
90m
Talk
Batteries Included: Generative Programming with Scala and LMS
Tutorials
Tiark Rompf Purdue & Oracle Labs, Nada Amin EPFL, Manohar Jonnalagedda EPFL, Switzerland
15:00 - 17:00
Ice Cream SocialSocial Events at Salon E+F
15:00
26h
Break
Ice Cream Social
Social Events

15:30 - 17:00
Informal Meeting SpaceAdministration at Eugene
15:30
90m
Meeting
Informal Meeting Space
Administration