GPCE 2015
Mon 26 - Tue 27 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
VenueSheraton Station Square Hotel
Room nameGrand Station 1
Floor1
Room number
Capacity0
Additional information

Program

Mon 26 Oct

gpce2015
08:30 - 10:00: GPCE - Session 1 at Grand Station 1
Chair(s): Anirüddhā GokhāléVanderbilt University
gpce201508:30 - 10:00
Talk
Priya NarasimhanCarnegie Mellon University
gpce2015
10:30 - 12:00: GPCE - Session 2 at Grand Station 1
Chair(s): Tiark RompfPurdue & Oracle Labs
gpce201510:30 - 10:40
Day opening
gpce201510:40 - 11:10
Talk
Roland Leißa, Klaas BoescheSaarland University, Sebastian Hack, Richard MembarthGerman Research Center for Artificial Intelligence, Philipp SlusallekGerman Research Center for Artificial Intelligence
gpce201511:10 - 11:40
Talk
Maximilian Scherr, Shigeru ChibaUniversity of Tokyo
gpce201511:40 - 12:00
Talk
Bob ReyndersiMinds - Distrinet, KU Leuven, Dominique DevrieseiMinds - Distrinet, KU Leuven, Frank PiessensiMinds - Distrinet, KU Leuven
gpce2015
13:30 - 15:00: GPCE - Session 3 at Grand Station 1
Chair(s): Ulrik SchultzUniversity of Southern Denmark
gpce201513:30 - 14:00
Talk
Flávio MedeirosFederal University of Campina Grande, Iran RodriguesFederal University of Alagoas, Márcio RibeiroFederal University of Alagoas (UFAL), Leopoldo TeixeiraFederal University of Pernambuco, Rohit GheyiUFCG, Brazil
gpce201514:00 - 14:30
Talk
Sascha El-SharkawyUniversity of Hildesheim, Adam KrafczykUniversity of Hildesheim, Klaus SchmidStiftung Universistat Hildesheim
gpce201514:30 - 15:00
Talk
Zakarea Al SharaLIRMM, CNRS and University of Montpellier, Abdelhak SeriaiLIRMM, CNRS and University of Montpellier, Chouki TibermacineLIRMM, CNRS and University of Montpellier, Hinde BouzianeLIRMM, CNRS and University of Montpellier, Christophe DonyLIRMM, CNRS and University of Montpellier, Anas ShatnawiLIRMM, CNRS and University of Montpellier
gpce2015
15:30 - 17:30: GPCE - Session 4 at Grand Station 1
Chair(s): Tijs van der StormCWI
gpce201515:30 - 16:00
Talk
Michael LopezTexas A&M University, C. Jasson CaseyTexas A&M University and Flowgrammable.org, Gabriel Dos ReisTexas A&M University and Microsoft
gpce201516:00 - 16:30
Talk
Alexey KolesnichenkoETH Zurich, Chris PoskittETH Zurich, Switzerland, Sebastian NanzETH Zurich, Bertrand MeyerETH Zurich, Innopolis University and Eiffel Software
Link to publication DOI Pre-print Media Attached File Attached
gpce201516:30 - 17:00
Talk
Hiroshi YamaguchiThe University of Tokyo, Shigeru ChibaUniversity of Tokyo
gpce201517:00 - 17:20
Talk
Sorin AdamConpleks Innovation, Ulrik SchultzUniversity of Southern Denmark

Tue 27 Oct

gpce2015
10:30 - 12:00: GPCE - Session 6 at Grand Station 1
Chair(s): Matthew FlattUniversity of Utah
gpce201510:30 - 11:00
Talk
Antuan ByalikVirginia Tech, Sanchit ChadhaVirginia Tech, Eli TilevichVirginia Tech
Media Attached File Attached
gpce201511:00 - 11:20
Talk
Dmitri MakarovUniversity of Lugano, Matthias HauswirthUniversity of Lugano, Switzerland
Media Attached File Attached
gpce201511:20 - 11:40
Talk
Bernhard RumpeRWTH Aachen University, Germany, Andreas WortmannRWTH Aachen University, Jan Oliver RingertTel Aviv University
Media Attached File Attached
gpce201511:40 - 12:00
Talk
Milan KabáčUniversity of Bordeaux / Inria Bordeaux / LaBRI, Charles ConselUniversity of Bordeaux
Media Attached
gpce2015
13:30 - 15:00: GPCE - Session 7 at Grand Station 1
Chair(s): Christian KästnerCarnegie Mellon University
gpce201513:30 - 14:00
Talk
Gabriel FoustTexas A & M University, Jaakko JärviTexas A&M University, Sean ParentAdobe Systems, Inc.
gpce201514:00 - 14:30
Talk
Spencer P. FlorenceNorthwestern University, Burke FetscherNorthwestern University, Matthew FlattUniversity of Utah, William H TempsNorthwestern University Feinberg School of Medicine, Departmentof Dermatology, Tina KiguradzeNorthwestern University Feinberg School of Medicine, Departmentof Dermatology, Dennis P. WestNorthwestern University Feinberg School of Medicine, Departmentof Dermatology, Charlotte NiznikNorthwestern University Feinberg School of Medicine, Departmentof Dermatology, Paul R. YarnoldOptimal Data Analysis LLC, Robby FindlerNorthwestern University, Steven M. BelknapNorthwestern University Feinberg School of Medicine, Departmentof Dermatology
gpce201514:30 - 15:00
Talk
Kai SelgradFriedrich-Alexander-Universität Erlangen-Nürnberg, Alexander LierFriedrich-Alexander-Universität Erlangen-Nürnberg, Franz KöferlFriedrich-Alexander-Universität Erlangen-Nürnberg, Marc StammingerFriedrich-Alexander-Universität Erlangen-Nürnberg, Daniel LohmannFriedrich-Alexander University of Erlangen-Nürnberg
gpce2015
15:30 - 17:30: GPCE - Session 8 at Grand Station 1
Chair(s): Jaakko JärviTexas A&M University
gpce201515:30 - 16:00
Talk
Pablo InostrozaCentrum Wiskunde & Informatica, Tijs van der StormCWI
gpce201516:00 - 16:30
Talk
Jaime FontSan Jorge University, Lorena ArcegaSan Jorge University, Oystein HaugenØstfold University College, Carlos CetinaSan Jorge University
gpce201516:30 - 17:00
Talk
Christoph SeidlTechnische Universität Braunschweig, Sven SchusterTechnische Universität Braunschweig, Ina Schaefer
gpce201517:00 - 17:20
Talk
Carlos NogueraVrije Universiteit Brussel, Viviane JonckersVrije Universiteit Brussel
gpce201517:20 - 17:30
Day closing

Wed 28 Oct

oopsla2015
10:30 - 12:00: OOPSLA - 1. Model Checking at Grand Station 1
Chair(s): Julian DolbyIBM Research
oopsla201510:30 - 10:52
Talk
Anthony Widjaja LinYale-NUS College, Singapore, Matthew HagueRoyal Holloway University of London, UK, C.-H. Luke OngUniversity of Oxford, UK
Link to publication
oopsla201510:52 - 11:15
Talk
Brian DemskyUniversity of California at Irvine, USA, Patrick LamUniversity of Waterloo, Canada
Link to publication
oopsla201511:15 - 11:37
Talk
Ivan KurajMassachusetts Institute of Technology, USA, Viktor KunčakEPFL, Switzerland, Daniel JacksonMassachusetts Institute of Technology, USA
DOI
oopsla201511:37 - 12:00
Talk
Casper Svenning JensenAarhus University, Denmark, Anders MøllerAarhus University, Veselin RaychevETH Zurich, Switzerland, Dimitar DimitrovETH Zurich, Switzerland, Martin VechevETH Zurich, Switzerland
DOI
oopsla2015
13:30 - 15:00: OOPSLA - 3. Verification at Grand Station 1
Chair(s): Guangtai LiangIBM Research - China
oopsla201513:30 - 13:52
Talk
Rahul SharmaStanford University, Eric SchkufzaStanford University, Berkeley ChurchillStanford University, Alex AikenStanford University
DOI
oopsla201513:52 - 14:15
Talk
Sam BlackshearUniversity of Colorado at Boulder, USA, Bor-Yuh Evan ChangUniversity of Colorado at Boulder, USA, Manu SridharanSamsung Research America
Link to publication
oopsla201514:15 - 14:37
Talk
Ravichandhran MadhavanEPFL, Switzerland, Mikaël MayerEPFL, Switzerland, Sumit GulwaniMicrosoft Research, USA, Viktor KunčakEPFL, Switzerland
Link to publication
oopsla201514:37 - 15:00
Talk
Gian NtzikImperial College London, UK, Philippa GardnerImperial College London, UK
DOI
oopsla2015
15:30 - 17:00: OOPSLA - 4. Concurrency at Grand Station 1
Chair(s): Wolfgang De MeuterVrije Universiteit Brussel
oopsla201515:30 - 15:52
Talk
Peizhao OuUniversity of California at Irvine, USA, Brian DemskyUniversity of California at Irvine, USA
DOI
oopsla201515:52 - 16:15
Talk
Swarnendu BiswasOhio State University, USA, Minjia ZhangOhio State University, USA, Michael BondOhio State University, USA, Brandon LuciaCarnegie Mellon University, USA
DOI Pre-print
oopsla201516:15 - 16:37
Talk
Nachshon CohenTechnion, Israel, Erez PetrankTechnion, Israel
DOI
oopsla201516:37 - 17:00
Talk
Hugo LópezTechnical University of Denmark, Eduardo MarquesUniversity of Lisbon, Portugal, Francisco MartinsUniversity of Lisbon, Portugal, Nicholas NgImperial College London, UK, César SantosUniversity of Lisbon, Portugal, Vasco VasconcelosUniversity of Lisbon, Portugal, Nobuko YoshidaImperial College London, UK
Link to publication

Thu 29 Oct

oopsla2015
10:30 - 12:00: OOPSLA - 5. Mobility at Grand Station 1
Chair(s): Lukasz ZiarekState University of New York (SUNY) Buffalo
oopsla201510:30 - 10:52
Talk
Osbert BastaniStanford University, Saswat AnandStanford University, Alex AikenStanford University
DOI Media Attached
oopsla201510:52 - 11:15
Talk
Lucas BrutschyETH Zurich, Switzerland, Pietro FerraraIBM Research, USA, Omer TrippIBM Research, USA, Marco PistoiaIBM Research, USA
Pre-print Media Attached
oopsla201511:15 - 11:37
Talk
Pavol BielikETH Zurich, Switzerland, Veselin RaychevETH Zurich, Switzerland, Martin VechevETH Zurich, Switzerland
DOI Media Attached
oopsla201511:37 - 12:00
Talk
Yongjian HuUniversity of California at Riverside, USA, Tanzirul AzimUniversity of California at Riverside, USA, Iulian NeamtiuUniversity of California at Riverside, USA
DOI Media Attached
oopsla2015
13:30 - 15:00: OOPSLA - 7. Runtime at Grand Station 1
Chair(s): Michael PradelTU Darmstadt, Germany
oopsla201513:30 - 13:52
Talk
Yudi ZhengUniversity of Lugano, Lubomír BulejUniversità della Svizzera italiana, Walter BinderUniversity of Lugano
DOI
oopsla201513:52 - 14:15
Talk
Martin AignerUniversity of Salzburg, Austria, Christoph KirschUniversity of Salzburg, Austria, Michael LippautzUniversity of Salzburg, Austria, Ana SokolovaUniversity of Salzburg, Austria
DOI Pre-print Media Attached
oopsla201514:15 - 14:37
Talk
Brett BostonMassachusetts Institute of Technology, USA, Adrian SampsonCornell University & Microsoft Research, Dan GrossmanUniversity of Washington, USA, Luis CezeUniversity of Washington, USA
Pre-print Media Attached
oopsla201514:37 - 15:00
Talk
Michael JantzUniversity of Tennessee, USA, Forrest RobinsonUniversity of Kansas, USA, Prasad KulkarniUniversity of Kansas, Kshitij DoshiIntel, USA
DOI Media Attached
oopsla2015
15:30 - 17:30: OOPSLA - 8. Static Analysis at Grand Station 1
Chair(s): Werner DietlUniversity of Waterloo
oopsla201515:30 - 15:54
Talk
Magnus MadsenUniversity of Waterloo, Frank TipSamsung Research America, Ondřej LhotákUniversity of Waterloo
DOI Media Attached
oopsla201515:54 - 16:18
Talk
Yu FengUniversity of Texas at Austin, USA, Xinyu WangUT Austin, Isil DilligUniversity of Texas at Austin, USA, Calvin LinUniversity of Texas at Austin, USA
Pre-print Media Attached
oopsla201516:18 - 16:42
Talk
Jens DietrichMassey University, New Zealand, Nicholas HollingumUniversity of Sydney, Australia, Bernhard ScholzOracle Labs, Australia
DOI Media Attached
oopsla201516:42 - 17:06
Talk
David DaraisUniversity of Maryland, College Park, Matthew MightUniversity of Utah, USA, David Van HornUniversity of Maryland at College Park, USA
DOI Media Attached
oopsla201517:06 - 17:30
Talk
Hakjoo OhKorea University, South Korea, Hongseok YangUniversity of Oxford, UK, Kwangkeun YiSeoul National University, South Korea
DOI Media Attached

Fri 30 Oct

oopsla2015
10:30 - 12:00: OOPSLA - 9. Compilation & Dynamic Analysis at Grand Station 1
Chair(s): Frank TipSamsung Research America
oopsla201510:30 - 10:52
Talk
Pericles Rafael AlvesFederal University of Minas Gerais, Brazil, Fabian GruberINRIA, France, Johannes DoerfertSaarland University, Alexandros LabrineasINRIA, France, Tobias GrosserETH Zurich, Switzerland, Fabrice RastelloINRIA, France, Fernando Magno Quintão PereiraFederal University of Minas Gerais, Brazil
Link to publication
oopsla201510:52 - 11:15
Talk
Luca Della ToffolaETH Zurich, Switzerland, Michael PradelTU Darmstadt, Germany, Thomas GrossETH Zurich, Switzerland
DOI
oopsla201511:15 - 11:37
Talk
Wen-Chuan LeePurdue University, USA, Tao BaoPurdue University, USA, Yunhui ZhengPurdue University, USA, Xiangyu ZhangPurdue University, USA, Keval VoraUniversity of California at Riverside, USA, Rajiv GuptaUniversity of California at Riverside, USA
DOI
oopsla201511:37 - 12:00
Talk
Zhoulai FuUniversity of California at Davis, USA, Zhaojun BaiUniversity of California at Davis, USA, Zhendong SuUniversity of California at Davis, USA
DOI
oopsla2015
13:30 - 15:00: OOPSLA - 11. Programming Language Design at Grand Station 1
Chair(s): Gary Leavens University of Central Florida
oopsla201513:30 - 13:52
Talk
John WickersonImperial College London, Mark BattyUniversity of Cambridge, Bradford M. BeckmannAdvanced Micro Devices, Inc, Alastair DonaldsonImperial College London
DOI Media Attached
oopsla201513:52 - 14:15
Talk
Matthew HammerUniversity of Maryland, College Park, Joshua DunfieldUniversity of British Columbia, Canada, Kyle HeadleyUniversity of Maryland, College Park, Nicholas LabichUniversity of Maryland at College Park, USA, Jeffrey S. FosterUniversity of Maryland at College Park, USA, Michael HicksUniversity of Maryland at College Park, USA, David Van HornUniversity of Maryland at College Park, USA
DOI
oopsla201514:15 - 14:37
Talk
Tim FelgentreffHPI, Germany, Todd MillsteinUniversity of California at Los Angeles, USA, Alan BorningUniversity of Washington, USA, Robert HirschfeldHPI
DOI
oopsla201514:37 - 15:00
Talk
Michael SteindorferCWI, Netherlands, Jurgen VinjuCWI, Netherlands
Link to publication
oopsla2015
15:30 - 17:00: OOPSLA - 13. Type Systems at Grand Station 1
Chair(s): Nobuko YoshidaImperial College London, UK
oopsla201515:30 - 15:52
Talk
Sebastian ErdwegTU Darmstadt, Germany, Oliver BračevacTU Darmstadt, Edlira KuciTU Darmstadt, Germany, Matthias KrebsTU Darmstadt, Germany, Mira MeziniTU Darmstadt
Link to publication Pre-print
oopsla201515:52 - 16:15
Talk
Stephan BrandauerUppsala University, Dave ClarkeUppsala University, Sweden and KU Leuven, Belgium, Tobias WrigstadUppsala University
Link to publication File Attached
oopsla201516:15 - 16:37
Talk
Silvia CrafaUniversità di Padova, Italy, Luca Padovani
DOI
oopsla201516:37 - 17:00
Talk
Matías ToroUniversity of Chile, Chile, Éric TanterUniversity of Chile, Chile
DOI

Mon 26 Oct 2015

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Grand Station 1
08:30 - 10:00
10:30 - 12:00
13:30 - 15:00
15:30 - 17:30

Tue 27 Oct 2015

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Grand Station 1
10:30 - 12:00
13:30 - 15:00
15:30 - 17:30

Wed 28 Oct 2015

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Grand Station 1

Thu 29 Oct 2015

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Grand Station 1

Fri 30 Oct 2015

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Grand Station 1