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

Conference Dates
Conference Dates are in time zone (GMT-07:00) Tijuana, Baja California, and may differ from the viewed time zone.
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

Conference Day
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

Conference Day
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

Conference Day
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 LeaState University of New York (SUNY) Oswego

Conference Day
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 PuderIowa State University
08:30
30m
Other
Opening, Introductions, Welcome
PROMOTO

09:00
60m
Talk
Programming Gadgets with Gadgets
PROMOTO
Peli de HalleuxMicrosoft Research
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 AghaUniversity of Illinois at Urbana-Champaign
09:35
25m
Talk
Selectors: Actors with Multiple Guarded Mailboxes
AGERE!
Shams ImamRice University, Vivek SarkarRice University
08:30 - 10:00
Welcome, Introductions, DiscussionFOOL at Salon G
Chair(s): Marco ServettoVictoria University of Wellington
08:30
90m
Other
Informal Group Discussion
FOOL

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

09:00
30m
Talk
Compositionality in embedded DSLs
DSLDI
Jeremy GibbonsUniversity 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. GiarrussoUniversity of Marburg, Klaus OstermannUniversity of Marburg, Tillmann RendelUniversity of Marburg, Eric WalkingshawUniversity 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 BishopMicrosoft 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 MeuterVrije Universiteit Brussel
10:30 - 12:00
10:30
45m
Talk
An Approach to Safely Evolve Program Families in C
Doctoral Symposium
Flavio MedeirosFederal 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 ServettoVictoria University of Wellington
10:30
30m
Talk
Program Equivalence through Trace Equivalence
FOOL
Tim WoodImperial College, Sophia DrossopoulouImperial College London
File Attached
11:00
30m
Talk
The Problem of Structural Type Tests in a Gradual-Typed Language
FOOL
John BoylandUniversity 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 TillmannMicrosoft 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 MohamedallyUniversity College London
13:30 - 15:00
FOOF (Future of Object-Oriented Foundations)FOOL at Salon G
Chair(s): Marco ServettoVictoria University of Wellington
13:30
44m
Talk
The Success, Failure, and Future of Distributed Objects
FOOL
A: Jonathan AldrichCarnegie Mellon University, I: Andrew BlackPortland State University
File Attached
14:15
45m
Talk
A Simple, Symmetric, Subjective Foundation for Object-, Aspect- and Context-Oriented Programming
FOOL
Harold OssherIBM Research, David UngarIBM Research, Doug KimelmanIBM Research, I: James NobleVictoria University of Wellington
File Attached
13:30 - 15:00
Session 3DSLDI at Salon I
Chair(s): Laurence TrattKing's College London
13:30
30m
Talk
A Common Core for Language Tools
DSLDI
Gabriël KonatDelft University of Technology, Vlad VerguTU Delft, Guido WachsmuthDelft University of Technology, Eelco VisserDelft University of Technology
14:00
30m
Talk
Composable Syntax Macros
DSLDI
Chenglong Wang, Cyrus Omar, Jonathan AldrichCarnegie 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 HauswirthUniversity of Lugano
16:30
30m
Talk
Panel on Mobile Computing and Education
PROMOTO
Judith BishopMicrosoft Research, Matthias HauswirthUniversity of Lugano, Dean MohamedallyUniversity College London, Alberto SillittiFree 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 ImamRice University, Vivek SarkarRice University
15:45
5m
Talk
Composita: Bringing Order to Agent Communications
AGERE!
15:50
5m
Talk
Modular Reasoning in Capsule
AGERE!
Mehdi BagherzadehIowa State University, Hridesh Rajan
15:55
5m
Talk
Supporting Relative Location Constraints in Actor Systems
AGERE!
Xinghui ZhaoUniversity of Washington, Hua Zhang, Nadeem JamaliUniversity 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 ServettoVictoria University of Wellington
15:30
90m
Talk
Extensibilty for the masses
FOOL
William CookUT Austin
File Attached
18:00 - 21:00
Welcome ReceptionSocial Events at Salon E+F
18:00
3h
Dinner
Welcome Reception
Social Events

Conference Day
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. RellermeyerIBM 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 BartVirginia Tech, Jason RiddleVirginia Tech, Omar SaleemVirginia Tech, Bushra ChowdhuryVirginia Tech, Eli TilevichVirginia Tech, Cliff ShafferVirginia Tech, Dennis KafuraVirginia Tech
File Attached
09:30
30m
Talk
The Gidget Tool for Learning Programming
SPLASH-E
P: Michael LeeUniversity of Washington
08:30 - 10:00
Invited Speaker: Michael Pradel - Session ASEPS at Salon B
Chair(s): Ali JannesariTechnical 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 PradelUniversity 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): Thomas LaTozaUniversity of California, Irvine, Craig AnslowUniversity of Calgary, Joshua SunshineCarnegie 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): Lukasz ZiarekState University of New York (SUNY) Buffalo, Wolfgang De MeuterVrije Universiteit Brussel, Guido SalvaneschiTU Darmstadt, Patrick EugsterPurdue University
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 TrattKing'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 HanenbergUniversity 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-AntounWayne State University, Andrew GiangWayne State University, Sumukhi ChandrashekarWayne State University, Ebrahim KhalajWayne State University
11:00
30m
Talk
Encouraging privacy by design concepts with privacy Policy Auto-Generation in Eclipse (PAGE)
ETX
Mark RowanTowson University, Josh DehlingerTowson University
11:30
30m
Talk
PermitMe: Integrating Android Permissioning Support in the IDE
ETX
Emmanuel Bello-OgunuUniversity of North Carolina Charlotte, Mohammed ShehabUniversity 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 JerniganOregon 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 BabaProfessor, 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 JannesariTechnical University of Darmstadt, A: Felix WolfGerman Research School for Simulation Sciences - RWTH Aachen University
10:30 - 12:00
Session 2PLATEAU at Salon D
Chair(s): Craig AnslowUniversity 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 DoernerSenacor Technologies AG, Andrew FaulringCarnegie Mellon University , Brad A. MyersCarnegie Mellon University
File Attached
11:15
22m
Talk
Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers
PLATEAU
Roxane KoitzGraz University of Technology, Wolfgang SlanyInstitute 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 RoulyGeorge Mason University, Jonathan OrbeckUniversity of Alabama, Eugene SyrianiUniversity 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 AnslowUniversity 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 EterovicPontificia 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 SunshineCarnegie 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 GalensonUniversity of California, Berkeley and Qualcomm Research, Cindy Rubio-GonzálezUniversity of California, Berkeley, Sarah E. ChasinsUniversity of California, Berkeley, Liang GongUniversity of California, Berkeley
File Attached
14:10
15m
Talk
Supporting Social Interactions and Awareness in Educational Programming Environments
PLATEAU
Adam CarterWashington State University, Christopher HundhausenWashington State University
File Attached
14:25
35m
Talk
Invited Talk: How Do API Documentation and Static Typing Affect API Usability?
PLATEAU
S: Stefan HanenbergUniversity 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. RellermeyerIBM 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 SlanyInstitute of Software Technology, Graz University of Technology , Roxane KoitzGraz University of Technology
16:00
30m
Talk
yaPOSH: Engineering Behaviors for Videogame Characters
SPLASH-E
Jakub GemrotFaculty of Mathematics and Physics, Charles University in Prague, Martin ČernýFaculty of Mathematics and Physics, Charles University in Prague, Cyril BromFaculty 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 LaTozaUniversity of California, Irvine
15:30
22m
Talk
Wyvern: Impacting Software Security via Programming Language Design
PLATEAU
Darya MelicherCarnegie Mellon University, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University
File Attached
15:52
22m
Talk
Considering Productivity Effects of Explicit Type Declarations
PLATEAU
Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
File Attached
16:15
22m
Talk
Usability Hypotheses in the Design of Plaid
PLATEAU
Jonathan AldrichCarnegie Mellon University, Joshua SunshineCarnegie 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

Conference Day
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 KrishnamurthiBrown University
08:30
90m
Talk
Keynote: Software Security - A Study in Technology Transfer
Keynotes
S: Gary McGrawCigital
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 ErdwegTU Darmstadt
10:30
22m
Talk
Programming with Managed Time
Onward! Papers
Sean McDirmidMicrosoft Research, Jonathan EdwardsMIT, USA
10:52
23m
Talk
Call by Meaning
Onward! Papers
Hesam SamimiSAP Labs, Chris DeatonCycorp, Yoshiki OhshimaViewpoints Research Institute, Alessandro WarthSAP Labs, Todd MillsteinUniversity of California, Los Angeles
11:15
22m
Talk
Versionable, Branchable, and Mergeable Application State
Onward! Papers
David H. LorenzOpen University and Technion IIT, Boaz RosenanUniversity of Haifa
11:37
23m
Talk
The Semantics of Version Control
Onward! Papers
Wouter SwierstraUniversity of Utrecht, Andres LöhWell-Typed LLP
10:30 - 12:00
Program Analysis and the WebOOPSLA at Salon E
Chair(s): Stephen ChongHarvard University
10:30
22m
Talk
Checking Correctness of TypeScript Interfaces for JavaScript Libraries
OOPSLA
Asger FeldthausAarhus University, Anders MøllerAarhus University
Link to publication
10:52
22m
Talk
Determinacy in Static Analysis for jQuery
OOPSLA
Esben AndreasenAarhus University, Anders MøllerAarhus University
Link to publication
11:15
22m
Talk
EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation
OOPSLA
Michael PradelUniversity of California, Berkeley, USA, Parker SchuhUniversity of California, Berkeley, George NeculaUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley
Link to publication
11:37
22m
Talk
Using Web Corpus Statistics for Program Analysis
OOPSLA
Chun-Hung HsiaoUniversity of Michigan, Michael CafarellaUniversity of Michigan, Satish NarayanasamyUniversity of Michigan
Link to publication
10:30 - 12:00
Runtime SystemsOOPSLA at Salon F
Chair(s): Martin HirzelIBM Research
10:30
22m
Talk
Tardis: Affordable Time-Travel Debugging in Managed Runtimes
OOPSLA
Earl T. BarrUniversity College London, Mark MarronMicrosoft Research
Link to publication
10:52
22m
Talk
Phosphor: Illuminating Dynamic Data Flow in Commodity JVMs
OOPSLA
Jonathan BellColumbia University, Gail KaiserColumbia University, New York
Link to publication Media Attached
11:15
22m
Talk
Rubah: DSU for Java on a stock JVM
OOPSLA
Luís PinaTechnical University of Lisbon / INESC-ID, Luís VeigaINESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Michael HicksUniversity of Maryland, College Park
Link to publication
11:37
22m
Talk
Fast Conservative Garbage Collection
OOPSLA
Rifat ShahriyarAustralian National University, Steve BlackburnAustralian National University , Kathryn S McKinleyMicrosoft 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 YoderThe Refactory, Inc.
10:30 - 12:00
Tutorial 2: Rust Programming LanguageTutorials at Salon H
10:30
90m
Talk
Rust - Zero-cost safety
Tutorials
Nicholas MatsakisMozilla Corporation
12:00 - 13:30
SPLASH SC MeetingAdministration at Salon C
Chair(s): Crista LopesUniversity 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 SlanyInstitute 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 AldrichCarnegie Mellon University
13:30
45m
Talk
In search of types
Onward! Essays
Stephen KellUniversity of Cambridge
14:15
45m
Talk
Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language
Onward! Essays
Mathieu AcherUniversity of Rennes, Benoit CombemaleUniversity of Rennes, Philippe ColletUniversity of Nice
Media Attached
13:30 - 15:00
Domain Specific LanguagesOOPSLA at Salon E
Chair(s): Yannis SmaragdakisUniversity of Athens
13:30
22m
Talk
Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host
OOPSLA
Eric HolkIndiana University, Ryan R. NewtonIndiana University, Jeremy G. Siek, Andrew LumsdaineIndiana University
Link to publication
13:52
22m
Talk
Smten with Satisfiability-Based Search
OOPSLA
Richard UhlerMIT-CSAIL, Nirav DaveSRI International
Link to publication
14:15
22m
Talk
StreamJIT: A Commensal Compiler for High-Performance Stream Programming
OOPSLA
Jeffrey BosboomMIT CSAIL, Sumanaruban RajaduraiNational University of Singapore, Weng-Fai WongNational University of Singapore, Saman AmarasingheMIT
Link to publication
14:37
22m
Talk
SurveyMan: Programming and Automatically Debugging Surveys
OOPSLA
Emma ToschUniversity of Massachusetts, Amherst, Emery D. BergerUniversity 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. FraserIndependent Consultant, P: Djenana CamparaKDM Analytics, P: Michael FanningMicrosoft, P: Gary McGrawCigital, P: Kevin SullivanUniversity of Virginia
13:30 - 15:00
Tutorial 3: Language CompositionTutorials at Salon G
13:30
90m
Talk
Towards Language Composition
Tutorials
Laurence TrattKing'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 BlackPortland State University
15:30
90m
Awards
SPLASH Awards
Awards

18:00 - 21:00
SRC PostersStudent Research Competition at Exhibit Hall
Chair(s): Isil DilligUniversity of Texas, Austin, Sam GuyerTufts University
18:00
18m
Talk
Kamino: Dynamic Approach to Semantic Code Clone Detection
Student Research Competition
Lindsay NeubauerColumbia University
18:18
18m
Talk
Analysis with Type-Intertwined Separation Logic
Student Research Competition
Devin CoughlinUniversity of Colorado Boulder
18:36
18m
Talk
Quality Types for Approximate Programming
Student Research Competition
Brett BostonUniversity of Washington
18:54
18m
Talk
Recommending More Efficient Workflows to Software Developers
Student Research Competition
Dylan BatesCoker 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 VelezUniversity of California, Davis
19:48
18m
Talk
Improved Program Synthesis Through the Use of Packages
Student Research Competition
Santiago GonzalezColorado School of Mines, C: Armando Solar-LezamaMIT
20:06
18m
Talk
Towards Concurrent Reactive Programming
Student Research Competition
Joscha DrechslerTechnische Universität Darmstadt
20:24
18m
Talk
A Language for the Specification and Efficient Implementation of Type Systems
Student Research Competition
Pascal WittmannTU Darmstadt
20:42
18m
Talk
Parallelization of Gibbs Sampling for Text Analytics
Student Research Competition
Ayush NarayanRice University
18:00 - 21:00
SPLASH Poster ReceptionPosters at Exhibit Hall
Chair(s): Nick SumnerSimon Fraser University, K R JayaramIBM Research, USA
18:00
3h
Talk
Searching for Answers: An Exploratory Study of the Formation, Use, and Impact of Queries During Debugging
Posters
Jonathan CorleyUniversity of Alabama, Brian Eddy
18:00
3h
Talk
Enhancing Conformance Checking for Contract-Based Programs
Posters
Alysson MilanezUFCG, Brazil, Tiago MassoniUFCG, Rohit GheyiUFCG, Brazil
18:00
3h
Talk
Self-Adaptive Parallel Programming Through Tunable Concurrency
Posters
Tai NguyenWashington State University, Xinghui ZhaoUniversity of Washington
18:00
3h
Talk
HJ-Viz: A New Tool for Visualizing, Debugging and Optimizing Parallel Programs
Posters
Peter ElmersRice University, Hongyu LiRice University, Shams ImamRice University, Vivek SarkarRice University
18:00
3h
Talk
Detecting Design Similarity Patterns Using Program Execution Traces
Posters
Kuldeep KumarNational University of Singapore, Stan JarzabekNational University of Singapore
18:00
3h
Talk
Taming the Dynamic Behavior of JavaScript
Posters
Shiyi WeiVirginia Tech, Barbara RyderVirginia Tech
20:00 - 22:00
SPLASH 2015 OC MeetingAdministration at Salon C
Chair(s): Jonathan AldrichCarnegie Mellon University
20:00
60m
Meeting
SPLASH 2015 Organizing Committee Meeting
Administration

Conference Day
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 KrishnamurthiBrown University
08:30
90m
Talk
Keynote: Machine Learning for Programming
Keynotes
S: Peter NorvigGoogle
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 MurphyUniversity of British Columbia
10:30
22m
Talk
Multi-tier Functional Reactive Programming for the Web
Onward! Papers
Bob ReyndersiMinds - Distrinet, KU Leuven, Dominique DevrieseiMinds - Distrinet, KU Leuven, Frank PiessensiMinds - Distrinet, KU Leuven
10:52
22m
Talk
Towards Tierless Programming in a General-Purpose Language
Onward! Papers
Laure PhilipsSoftware Languages Lab, Coen De RooverSoftware Languages Lab, Software Engineering Laboratory, Tom Van CutsemAlcatel-Lucent Bell Labs, Wolfgang De MeuterVrije Universiteit Brussel
11:15
22m
Talk
Capturing and Exploiting IDE Interactions
Onward! Papers
Zhongxian GuUC Davis, Drew SchleckUC Davis, Earl T. BarrUniversity College London, Zhendong SuUniversity 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 VisserDelft University of Technology, Guido WachsmuthDelft University of Technology, Andrew TolmachPortland State University, Pierre NeronTU Delft, Vlad VerguTU Delft, Augusto PassalaquaTU Delft, Gabriël KonatDelft University of Technology
Media Attached
10:30 - 12:00
SRC PresentationsStudent Research Competition at Salon C
Chair(s): Sam GuyerTufts University, Isil DilligUniversity of Texas, Austin
10:30 - 12:00
Type SystemsOOPSLA at Salon E
Chair(s): Ravi ChughUniversity of Chicago
10:30
22m
Talk
Rate Types for Stream Programs
OOPSLA
Thomas W. BartensteinSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton
Link to publication File Attached
10:52
22m
Talk
Foundations of Path-Dependent Types
OOPSLA
Nada AminEPFL, Tiark RompfPurdue & Oracle Labs, Martin OderskyEcole Polytechnique Federale de Lausanne
Link to publication File Attached
11:15
22m
Talk
Confined Gradual Typing
OOPSLA
Esteban Allende, Johan FabryUniversity of Chile, Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile
Link to publication
11:37
22m
Talk
Refactoring Java Generics by Inferring Wildcards, In Practice
OOPSLA
John AltidorUniversity of Massachusetts, Yannis SmaragdakisUniversity 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 WimmerOracle 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 RabbahIBM Research, Joshua AuerbachIBM Research
10:30 - 12:00
Panel: East Meets WestWavefront at Salon I
Chair(s): David ArcherGalois
10:30
90m
Talk
Panel: East Meets West — the Influences of Geography on Software Production
Wavefront
Steven D. FraserIndependent Consultant, Dennis ManclAlcatel-Lucent, Aki NamiokaMarchex, Roberto SalamaMillennium Partners, Allen Wirfs-BrockMozilla Corporation
12:00 - 13:30
Onward! SC MeetingAdministration at Eugene
Chair(s): Kevin SullivanUniversity 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 SamakIndian Institute of Science, Bangalore, Murali Krishna RamanathanIndian 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 BrueggeTechnische Universität München
13:30
45m
Talk
Coverage and Its Discontents
Onward! Essays
Alex GroceOregon State University, Amin AlipourOregon State University, Rahul GopinathOregon State University
14:15
45m
Talk
Getting to Flow in Software Development
Onward! Essays
Gail MurphyUniversity of British Columbia
13:30 - 15:00
LanguagesOOPSLA at Salon E
Chair(s): Crista LopesUniversity of California, Irvine
13:30
22m
Talk
Distributed REScala: An Update Algorithm for Distributed Reactive Programming
OOPSLA
Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, A: Ragnar MogkTechnische Universität Darmstadt, A: Mira MeziniTechnical University of Darmstadt
Link to publication
13:52
22m
Talk
From Object Algebras to Attribute Grammars
OOPSLA
Tillmann RendelUniversity of Marburg, Jonathan Immanuel BrachthäuserUniversity of Marburg, Klaus OstermannUniversity of Marburg
Link to publication
14:15
22m
Talk
Late Data Layout: Unifying Data Representation Transformations
OOPSLA
Vlad UrecheEPFL, Eugene BurmakoEPFL, Martin OderskyEcole Polytechnique Federale de Lausanne
Link to publication
14:37
22m
Talk
i3QL: Language-Integrated Live Data Views
OOPSLA
Ralf MitschkeTechnical University of Darmstadt, Sebastian ErdwegTU Darmstadt, Mirko KöhlerTechnical University of Darmstadt, Mira MeziniTechnical University of Darmstadt, Guido SalvaneschiTU Darmstadt
Link to publication
13:30 - 15:00
ConcurrencyOOPSLA at Salon F
Chair(s): David GroveIBM Research
13:30
22m
Talk
Atlas: Leveraging Locks for Non-volatile Memory Consistency
OOPSLA
Dhruva ChakrabartiHP Labs, Hans-J. BoehmGoogle, Kumud BhandariRice University
Link to publication
13:52
22m
Talk
Fast Splittable Pseudorandom Number Generators
OOPSLA
Guy L. Steele Jr.Oracle Labs, Doug LeaState University of New York (SUNY) Oswego, Christine H. FloodRed Hat
Link to publication
14:15
22m
Talk
Multithreaded Test Synthesis for Deadlock Detection
OOPSLA
Malavika SamakIndian Institute of Science, Bangalore, Murali Krishna RamanathanIndian Institute of Science, Bangalore
Link to publication
14:37
22m
Talk
Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts
OOPSLA
Tom BerganUniversity of Washington, Dan GrossmanUniversity of Washington, Luis CezeUniversity 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 AbadiIBM Research
13:30 - 15:00
Invited Talk: Eric ForsbergWavefront at Salon I
Chair(s): David ArcherGalois
13:30
90m
Talk
Invited Talk: Avoiding the software development apocalypse through continuous build and test
Wavefront
Eric ForsbergMentor 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 KrishnamurthiBrown University
15:30
22m
Talk
Korz: Simple, Symmetric, Subjective,
 Context-Oriented Programming
Onward! Papers
David UngarIBM Research, Harold OssherIBM Research, Doug KimelmanIBM Research
15:52
22m
Talk
Mining the Ecosystem to Improve Type Inference For Dynamically Typed Languages
Onward! Papers
Boris SpasojevicUniversity of Bern, Switzerland, Mircea LunguUniversity of Bern, Switzerland, Oscar NierstraszUniversity of Bern, Switzerland
16:15
22m
Talk
Description Logic as Programming Language
Onward! Papers
James SkeneAuckland University of Technology
16:37
22m
Talk
It's only illegal if you get caught
Onward! Papers
Raphaël ProustUniversity of Cambridge, Alan MycroftUniversity of Cambridge
15:30 - 17:00
DebuggingOOPSLA at Salon E
Chair(s): Caitlin SadowskiGoogle
15:30
22m
Talk
CheckCell: Data Debugging for Spreadsheets
OOPSLA
Dan BarowyUniversity of Massachusetts, Amherst, Dimitar GochevUniversity of Massachusetts, Amherst, Emery D. BergerUniversity of Massachusetts, Amherst
Link to publication
15:52
22m
Talk
Finding Minimum Type Error Sources
OOPSLA
Zvonimir PavlinovicNew York University, Tim KingNew York University, Thomas WiesNew York University
Link to publication File Attached
16:15
22m
Talk
Flint: Fixing Linearizability Violations
OOPSLA
Peng LiuPurdue University, Omer TrippIBM Thomas J. Watson Research Center, Xiangyu ZhangPurdue University
Link to publication
16:37
22m
Talk
Statistical Debugging for Real-World Performance Problems
OOPSLA
Linhai SongUniversity of Wisconsin–Madison, Shan LuUniversity of Chicago
Link to publication
15:30 - 17:00
Compilation ToolsOOPSLA at Salon F
Chair(s): Robert GrimmGoldman Sachs
15:30
22m
Talk
Adaptive LL(*) Parsing: The Power of Dynamic Analysis
OOPSLA
Terence ParrUniversity of San Francisco, Sam HarwellUniversity of Texas at Austin, Kathleen FisherTufts University
Link to publication File Attached
15:52
22m
Talk
Automated Migration of Build Scripts using Dynamic Analysis and Search-Based Refactoring
OOPSLA
Milos GligoricUniversity of Illinois at Urbana-Champaign, Wolfram SchulteMicrosoft, Chandra PrasadMicrosoft, Danny van VelzenMicrosoft, Iman NarasamdyaMicrosoft, Ben LivshitsMicrosoft Research
Link to publication
16:15
22m
Talk
Mix10: Compiling MATLAB to X10 for High Performance
OOPSLA
Vineet Kumar, Laurie HendrenMcGill University
Link to publication
16:37
22m
Talk
Staged Parser Combinators for Efficient Data Processing
OOPSLA
Manohar JonnalageddaEPFL, Switzerland, Thierry CoppeyEPFL, Switzerland; Google, Sandro StuckiEPFL, Switzerland, Tiark RompfPurdue & Oracle Labs, Martin OderskyEcole 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 LopesUniversity of California, Irvine
18:30 - 21:30
18:30
3h
Dinner
Conference Banquet
Social Events

Conference Day
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. BergerUniversity of Massachusetts, Amherst
10:30
22m
Talk
Phrase-Based Statistical Translation of Programming Languages
Onward! Papers
Svetoslav KaraivanovETH Zurich, Veselin RaychevETH Zurich, Martin VechevETH Zurich
10:52
22m
Talk
Interleaving of Modification and Use in Data-driven Tool Development
Onward! Papers
Marcel TaeumelHasso Plattner Institute, Michael PerscheidHasso Plattner Institute, Bastian SteinertHasso Plattner Institute, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI
11:15
22m
Talk
Unifying Textual and Visual: a Theoretical Account of the Visual Perception of Programming Languages
Onward! Papers
Stéphane ConversyUniversity of Toulouse - ENAC
11:37
22m
Talk
Variational Data Structures: Exploring Tradeoffs in Computing with Variability
Onward! Papers
Eric WalkingshawUniversity of Marburg, Christian KaestnerCarnegie Mellon University, Martin ErwigOregon State University, Sven ApelUniversity of Passau, Eric BoddenFraunhofer 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
Nico RosnerDept. of Computer Science FCEyN, University of Buenos Aires, Valeria BengoleaDept. of Computer Science FCEFQyN, University of Rio Cuarto, Pablo PonzioDept. of Computer Science FCEFQyN, University of Rio Cuarto, Shadi Abdul KhalekGoogle, Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. FriasDept. of Software Engineering Instituto Tecnológico de Buenos Aires, Sarfraz KhurshidUniversity of Texas at Austin
Link to publication
10:52
22m
Talk
Compiler Verification Meets Cross-Language Linking via Data Abstraction
OOPSLA
Link to publication
11:15
22m
Talk
GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation
OOPSLA
Aaron TuronMPI-SWS, Viktor VafeiadisMPI-SWS, Germany, Derek DreyerMPI-SWS
Link to publication
11:37
22m
Talk
Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants
OOPSLA
Ankush DesaiUniversity of California, Berkeley, Pranav GargUniversity of Illinois at Urbana-Champaign, P. MadhusudanUniversity of Illinois at Urbana-Champaign
Link to publication
10:30 - 12:00
Dynamic OptimizationOOPSLA at Salon F
Chair(s): Zachary TatlockUniversity of Washington, Seattle
10:30
22m
Talk
Accelerating Iterators in Optimizing AST Interpreters
OOPSLA
Wei ZhangUniversity of California, Irvine, Per LarsenUniversity of California, Irvine, Stefan BrunthalerUniversity of California, Irvine, Michael FranzUniversity of California, Irvine
Link to publication
10:52
22m
Talk
Call Sequence Prediction through Probabilistic Calling Automata
OOPSLA
Zhijia ZhaoCollege of William and Mary / North Carolina State University, Bo WuCollege of William and Mary, Mingzhou ZhouCollege of William and Mary, Yufei DingCollege of William and Mary, Jianhua SunCollege of William and Mary, Xipeng ShenNorth Carolina State University, Youfeng WuIntel Corporation
Link to publication
11:15
22m
Talk
Space-Efficient Multi-Versioning for Input-Adaptive Feedback-Driven Program Optimizations
OOPSLA
Mingzhou ZhouCollege of William and Mary, Xipeng ShenNorth Carolina State University, Yaoqing GaoIBM Toronto Labs, Graham YiuIBM Toronto Labs
Link to publication
11:37
22m
Talk
The HipHop Virtual Machine
OOPSLA
Keith AdamsFacebook, Jason EvansFacebook, Bertrand MaherFacebook, Guilherme OttoniFacebook, Drew ParoskiFacebook, Brett SimmersFacebook, Edwin SmithFacebook, Owen YamauchiFacebook
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 HanenbergUniversity of Duisburg-Essen, Andreas StefikUniversity 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 LiuStony Brook University, Scott StollerStony Brook University, Bo LinStony Brook University
10:30 - 12:00
Invited Talk: Ward CunninghamWavefront at Salon I
Chair(s): David ArcherGalois
10:30
90m
Talk
Invited Talk: Design Goals of the Smallest Federated Wiki
Wavefront
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 SeidewitzModel Driven Solutions, Arnaud CuccuruCEA 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 HornIntel Corporation
13:30
45m
Talk
The Programming Language Wars
Onward! Essays
Andreas StefikUniversity of Nevada, Las Vegas , Stefan HanenbergUniversity of Duisburg-Essen
14:15
45m
Talk
I Throw Itching Powder at Tulips
Onward! Essays
Richard P. GabrielIBM Research, USA
13:30 - 15:00
Static AnalysisOOPSLA at Salon E
Chair(s): Anders MøllerAarhus 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 PartushTechnion, Eran YahavTechnion
Link to publication
14:15
22m
Talk
Efficient Subcubic Alias Analysis for C
OOPSLA
Qirun ZhangThe Hong Kong University of Science and Technology, A: Xiao XiaoThe Hong Kong University of Science and Technology, A: Charles ZhangHong Kong University of Science and Technology, A: Hao YuanBOPU Technologies, A: Zhendong SuUniversity of California, Davis
Link to publication
14:37
22m
Talk
Static Analysis for Independent App Developers
OOPSLA
Lucas BrutschyETH Zurich, Pietro FerraraIBM Thomas J. Watson Research Center, Peter MüllerETH Zurich
Link to publication
13:30 - 15:00
Distributed ComputingOOPSLA at Salon F
Chair(s): Madan MusuvathiMicrosoft Research
13:30
22m
Talk
ASPIRE: Exploiting Asynchronous Parallelism in Iterative Algorithms using a Relaxed Consistency based DSM
OOPSLA
Keval VoraUniversity of California, Riverside, Sai Charan KoduruUniversity of California, Riverside, Rajiv GuptaUC Riverside
Link to publication Media Attached File Attached
13:52
22m
Talk
Alembic: Automatic Locality Extraction via Migration
OOPSLA
Brandon HoltUniversity of Washington, Preston BriggsUniversity of Washington, Luis CezeUniversity of Washington, Mark OskinUniversity 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 XiaoTsinghua University / Microsoft Research, Zhenyu GuoMicrosoft Research, Hucheng ZhouMicrosoft Research, Jiaxing ZhangMicrosoft Research, Xu ZhaoUniversity of Toronto, Chencheng YeHuazhong University of Science and Technology, Xi WangMIT CSAIL, Wei LinMicrosoft Bing, Wenguang ChenTsinghua University, Lidong ZhouMicrosoft Research
Link to publication Media Attached
14:37
22m
Talk
Translating Imperative Code to MapReduce
OOPSLA
Cosmin RadoiUniversity of Illinois, Stephen J FinkIBM, Rodric RabbahIBM Research, Manu SridharanSamsung 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 RompfPurdue & Oracle Labs, Nada AminEPFL, Manohar JonnalageddaEPFL, 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