SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
VenuePortland Marriott
Room nameSalon E
Floor0
Room numberSalon E
Capacity500
Additional informationThere is no additional information of this room available.
Program

Wed 22 Oct

oopsla2014
10:30 - 12:00: OOPSLA - Program Analysis and the Web at Salon E
Chair(s): Stephen ChongHarvard University
oopsla2014141396660000010:30 - 10:52
Talk
Asger FeldthausAarhus University, Anders MøllerAarhus University
Link to publication
oopsla2014141396795000010:52 - 11:15
Talk
Esben AndreasenAarhus University, Anders MøllerAarhus University
Link to publication
oopsla2014141396930000011:15 - 11:37
Talk
Michael PradelUniversity of California, Berkeley, USA, Parker SchuhUniversity of California, Berkeley, George NeculaUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley
Link to publication
oopsla2014141397065000011:37 - 12:00
Talk
Chun-Hung HsiaoUniversity of Michigan, Michael CafarellaUniversity of Michigan, Satish NarayanasamyUniversity of Michigan
Link to publication
oopsla2014
13:30 - 15:00: OOPSLA - Domain Specific Languages at Salon E
Chair(s): Yannis SmaragdakisUniversity of Athens
oopsla2014141397740000013:30 - 13:52
Talk
Eric HolkIndiana University, Ryan R. NewtonIndiana University, Jeremy G. Siek, Andrew LumsdaineIndiana University
Link to publication
oopsla2014141397875000013:52 - 14:15
Talk
Richard UhlerMIT-CSAIL, Nirav DaveSRI International
Link to publication
oopsla2014141398010000014:15 - 14:37
Talk
Jeffrey BosboomMIT CSAIL, Sumanaruban RajaduraiNational University of Singapore, Weng-Fai WongNational University of Singapore, Saman AmarasingheMIT
Link to publication
oopsla2014141398145000014:37 - 15:00
Talk
Emma ToschUniversity of Massachusetts, Amherst, Emery BergerUniversity of Massachusetts, Amherst
Link to publication File Attached

Thu 23 Oct

oopsla2014
10:30 - 12:00: OOPSLA - Type Systems at Salon E
Chair(s): Ravi ChughUniversity of Chicago
oopsla2014141405300000010:30 - 10:52
Talk
Thomas W. BartensteinSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton
Link to publication File Attached
oopsla2014141405435000010:52 - 11:15
Talk
Nada AminEPFL, Tiark RompfPurdue & Oracle Labs, Martin OderskyEcole Polytechnique Federale de Lausanne
Link to publication File Attached
oopsla2014141405570000011:15 - 11:37
Talk
Esteban Allende, Johan FabryUniversity of Chile, Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile
Link to publication
oopsla2014141405705000011:37 - 12:00
Talk
John AltidorUniversity of Massachusetts, Yannis SmaragdakisUniversity of Athens
Link to publication File Attached
oopsla2014
13:30 - 15:00: OOPSLA - Languages at Salon E
Chair(s): Crista LopesUniversity of California, Irvine
oopsla2014141406380000013:30 - 13:52
Talk
Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, Ragnar MogkTechnische Universität Darmstadt, Mira MeziniTechnical University of Darmstadt
Link to publication
oopsla2014141406515000013:52 - 14:15
Talk
Tillmann RendelUniversity of Marburg, Jonathan Immanuel BrachthäuserUniversity of Marburg, Klaus OstermannUniversity of Marburg
Link to publication
oopsla2014141406650000014:15 - 14:37
Talk
Vlad UrecheEPFL, Eugene BurmakoEPFL, Martin OderskyEcole Polytechnique Federale de Lausanne
Link to publication
oopsla2014141406785000014:37 - 15:00
Talk
Ralf MitschkeTechnical University of Darmstadt, Sebastian ErdwegTU Darmstadt, Mirko KohlerTechnical University of Darmstadt, Mira MeziniTechnical University of Darmstadt, Guido SalvaneschiTU Darmstadt
Link to publication
oopsla2014
15:30 - 17:00: OOPSLA - Debugging at Salon E
Chair(s): Caitlin SadowskiGoogle
oopsla2014141407100000015:30 - 15:52
Talk
Dan BarowyUniversity of Massachusetts, Amherst, Dimitar GochevUniversity of Massachusetts, Amherst, Emery BergerUniversity of Massachusetts, Amherst
Link to publication
oopsla2014141407235000015:52 - 16:15
Talk
Zvonimir PavlinovicNew York University, Tim KingNew York University, Thomas WiesNew York University
Link to publication File Attached
oopsla2014141407370000016:15 - 16:37
Talk
Peng LiuPurdue University, Omer TrippIBM Thomas J. Watson Research Center, Xiangyu ZhangPurdue University
Link to publication
oopsla2014141407505000016:37 - 17:00
Talk
Linhai SongUniversity of Wisconsin–Madison, Shan LuUniversity of Chicago
Link to publication

Fri 24 Oct

oopsla2014
10:30 - 12:00: OOPSLA - Specification and Verification at Salon E
Chair(s): Gary Leavens University of Central Florida
oopsla2014141413940000010:30 - 10:52
Talk
Nicolás 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
oopsla2014141414075000010:52 - 11:15
Talk
Link to publication
oopsla2014141414210000011:15 - 11:37
Talk
Aaron TuronMPI-SWS, Viktor VafeiadisMPI-SWS, Germany, Derek DreyerMPI-SWS
Link to publication
oopsla2014141414345000011:37 - 12:00
Talk
Ankush DesaiUniversity of California, Berkeley, Pranav GargUniversity of Illinois at Urbana-Champaign, P. MadhusudanUniversity of Illinois at Urbana-Champaign
Link to publication
oopsla2014
13:30 - 15:00: OOPSLA - Static Analysis at Salon E
Chair(s): Anders MøllerAarhus University
oopsla2014141415020000013:30 - 13:52
Talk
Link to publication
oopsla2014141415155000013:52 - 14:15
Talk
Nimrod PartushTechnion, Eran YahavTechnion
Link to publication
oopsla2014141415290000014:15 - 14:37
Talk
Qirun ZhangThe Hong Kong University of Science and Technology, Xiao XiaoThe Hong Kong University of Science and Technology, Charles ZhangHong Kong University of Science and Technology, Hao YuanBOPU Technologies, Zhendong SuUniversity of California, Davis
Link to publication
oopsla2014141415425000014:37 - 15:00
Talk
Lucas BrutschyETH Zurich, Pietro FerraraIBM Thomas J. Watson Research Center, Peter MüllerETH Zurich
Link to publication

Wed 22 Oct 2014

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

Thu 23 Oct 2014

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Salon E
10:30 - 12:00
13:30 - 15:00
15:30 - 17:00

Fri 24 Oct 2014

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