Onward! 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
co-located with SPLASH 2014
VenuePortland Marriott
Room nameSalon E
Floor0
Room numberSalon E
Capacity500
Room InformationNo extra information available
Program

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

Wed 22 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00
Program Analysis and the WebSPLASH OOPSLA at Salon E
Chair(s): Stephen ChongHarvard University
10:30
22m
Talk
Checking Correctness of TypeScript Interfaces for JavaScript Libraries
SPLASH OOPSLA
Asger FeldthausAarhus University, Anders MøllerAarhus University
Link to publication
10:52
22m
Talk
Determinacy in Static Analysis for jQuery
SPLASH 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
SPLASH 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
SPLASH OOPSLA
Chun-Hung HsiaoUniversity of Michigan, Michael CafarellaUniversity of Michigan, Satish NarayanasamyUniversity of Michigan
Link to publication
13:30 - 15:00
Domain Specific LanguagesSPLASH OOPSLA 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
SPLASH 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
SPLASH OOPSLA
Richard UhlerMIT-CSAIL, Nirav DaveSRI International
Link to publication
14:15
22m
Talk
StreamJIT: A Commensal Compiler for High-Performance Stream Programming
SPLASH 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
SPLASH OOPSLA
Emma ToschUniversity of Massachusetts, Amherst, Emery D. BergerUniversity of Massachusetts, Amherst
Link to publication File Attached

Thu 23 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00
Type SystemsSPLASH OOPSLA at Salon E
Chair(s): Ravi ChughUniversity of Chicago
10:30
22m
Talk
Rate Types for Stream Programs
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH OOPSLA
John AltidorUniversity of Massachusetts, Yannis SmaragdakisUniversity of Athens
Link to publication File Attached
13:30 - 15:00
LanguagesSPLASH OOPSLA at Salon E
Chair(s): Crista LopesUniversity of California, Irvine
13:30
22m
Talk
Distributed REScala: An Update Algorithm for Distributed Reactive Programming
SPLASH 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
SPLASH 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
SPLASH OOPSLA
Vlad UrecheEPFL, Eugene BurmakoEPFL, Martin OderskyEcole Polytechnique Federale de Lausanne
Link to publication
14:37
22m
Talk
i3QL: Language-Integrated Live Data Views
SPLASH 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
15:30 - 17:00
DebuggingSPLASH OOPSLA at Salon E
Chair(s): Caitlin SadowskiGoogle
15:30
22m
Talk
CheckCell: Data Debugging for Spreadsheets
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH OOPSLA
Linhai SongUniversity of Wisconsin–Madison, Shan LuUniversity of Chicago
Link to publication

Fri 24 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00
Specification and VerificationSPLASH OOPSLA at Salon E
Chair(s): Gary Leavens University of Central Florida
10:30
22m
Talk
Bounded Exhaustive Test Input Generation from Hybrid Invariants
SPLASH 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
SPLASH OOPSLA
Link to publication
11:15
22m
Talk
GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation
SPLASH 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
SPLASH OOPSLA
Ankush DesaiUniversity of California, Berkeley, Pranav GargUniversity of Illinois at Urbana-Champaign, P. MadhusudanUniversity of Illinois at Urbana-Champaign
Link to publication
13:30 - 15:00
Static AnalysisSPLASH OOPSLA at Salon E
Chair(s): Anders MøllerAarhus University
13:30
22m
Talk
Validation of Memory Accesses Through Symbolic Analyses
SPLASH OOPSLA
Link to publication
13:52
22m
Talk
Abstract Semantic Differencing via Speculative Correlation
SPLASH OOPSLA
Nimrod PartushTechnion, Eran YahavTechnion
Link to publication
14:15
22m
Talk
Efficient Subcubic Alias Analysis for C
SPLASH 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
SPLASH OOPSLA
Lucas BrutschyETH Zurich, Pietro FerraraIBM Thomas J. Watson Research Center, Peter MüllerETH Zurich
Link to publication

Wed 22 Oct
Times are displayed in time zone: Tijuana, Baja California change

Thu 23 Oct
Times are displayed in time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:003015:003016:0030
Salon E

Fri 24 Oct
Times are displayed in time zone: Tijuana, Baja California change