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
gpce2015144584460000008: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
gpce2015144585180000010:30 - 10:40
Day opening
gpce2015144585240000010: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
gpce2015144585420000011:10 - 11:40
Talk
Maximilian Scherr, Shigeru ChibaUniversity of Tokyo
gpce2015144585600000011: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
gpce2015144586260000013: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
gpce2015144586440000014:00 - 14:30
Talk
Sascha El-SharkawyUniversity of Hildesheim, Adam KrafczykUniversity of Hildesheim, Klaus SchmidStiftung Universistat Hildesheim
gpce2015144586620000014: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
gpce2015144586980000015: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
gpce2015144587160000016: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
gpce2015144587340000016:30 - 17:00
Talk
Hiroshi YamaguchiThe University of Tokyo, Shigeru ChibaUniversity of Tokyo
gpce2015144587520000017: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
gpce2015144593820000010:30 - 11:00
Talk
Antuan ByalikVirginia Tech, Sanchit ChadhaVirginia Tech, Eli TilevichVirginia Tech
Media Attached File Attached
gpce2015144594000000011:00 - 11:20
Talk
Dmitri MakarovUniversity of Lugano, Matthias HauswirthUniversity of Lugano, Switzerland
Media Attached File Attached
gpce2015144594120000011:20 - 11:40
Talk
Bernhard RumpeRWTH Aachen University, Germany, Andreas WortmannRWTH Aachen University, Jan Oliver RingertTel Aviv University
Media Attached File Attached
gpce2015144594240000011: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
gpce2015144594900000013:30 - 14:00
Talk
Gabriel FoustTexas A & M University, Jaakko JärviTexas A&M University, Sean ParentAdobe Systems, Inc.
gpce2015144595080000014: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
gpce2015144595260000014: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
gpce2015144595620000015:30 - 16:00
Talk
Pablo InostrozaCentrum Wiskunde & Informatica, Tijs van der StormCWI
gpce2015144595800000016:00 - 16:30
Talk
Jaime FontSan Jorge University, Lorena ArcegaSan Jorge University, Oystein HaugenØstfold University College, Carlos CetinaSan Jorge University
gpce2015144595980000016:30 - 17:00
Talk
Christoph SeidlTechnische Universität Braunschweig, Sven SchusterTechnische Universität Braunschweig, Ina Schaefer
gpce2015144596160000017:00 - 17:20
Talk
Carlos NogueraVrije Universiteit Brussel, Viviane JonckersVrije Universiteit Brussel
gpce2015144596280000017: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
oopsla2015144602460000010: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
oopsla2015144602595000010:52 - 11:15
Talk
Brian DemskyUniversity of California at Irvine, USA, Patrick LamUniversity of Waterloo, Canada
Link to publication
oopsla2015144602730000011:15 - 11:37
Talk
Ivan KurajMassachusetts Institute of Technology, USA, Viktor KuncakEPFL, Switzerland, Daniel JacksonMassachusetts Institute of Technology, USA
DOI
oopsla2015144602865000011: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
oopsla2015144603540000013:30 - 13:52
Talk
Rahul SharmaStanford University, Eric SchkufzaStanford University, Berkeley ChurchillStanford University, Alex AikenStanford University
DOI
oopsla2015144603675000013: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
oopsla2015144603810000014:15 - 14:37
Talk
Ravichandhran MadhavanEPFL, Switzerland, Mikaël MayerEPFL, Switzerland, Sumit GulwaniMicrosoft Research, USA, Viktor KuncakEPFL, Switzerland
Link to publication
oopsla2015144603945000014: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
oopsla2015144604260000015:30 - 15:52
Talk
Peizhao OuUniversity of California at Irvine, USA, Brian DemskyUniversity of California at Irvine, USA
DOI
oopsla2015144604395000015: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
oopsla2015144604530000016:15 - 16:37
Talk
Nachshon CohenTechnion, Israel, Erez PetrankTechnion, Israel
DOI
oopsla2015144604665000016: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
oopsla2015144611100000010:30 - 10:52
Talk
Osbert BastaniStanford University, Saswat AnandStanford University, Alex AikenStanford University
DOI Media Attached
oopsla2015144611235000010:52 - 11:15
Talk
Lucas BrutschyETH Zurich, Switzerland, Pietro FerraraIBM Research, USA, Omer TrippIBM Research, USA, Marco PistoiaIBM Research, USA
Pre-print Media Attached
oopsla2015144611370000011:15 - 11:37
Talk
Pavol BielikETH Zurich, Switzerland, Veselin RaychevETH Zurich, Switzerland, Martin VechevETH Zurich, Switzerland
DOI Media Attached
oopsla2015144611505000011: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
oopsla2015144612180000013:30 - 13:52
Talk
Yudi ZhengUniversity of Lugano, Lubomír BulejUniversità della Svizzera italiana, Walter BinderUniversity of Lugano
DOI
oopsla2015144612315000013: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
oopsla2015144612450000014: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
oopsla2015144612585000014: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
oopsla2015144612900000015:30 - 15:54
Talk
Magnus MadsenUniversity of Waterloo, Frank TipSamsung Research America, Ondřej LhotákUniversity of Waterloo
DOI Media Attached
oopsla2015144613044000015: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
oopsla2015144613188000016:18 - 16:42
Talk
Jens DietrichMassey University, New Zealand, Nicholas HollingumUniversity of Sydney, Australia, Bernhard ScholzOracle Labs, Australia
DOI Media Attached
oopsla2015144613332000016: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
oopsla2015144613476000017: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
oopsla2015144619740000010: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
oopsla2015144619875000010:52 - 11:15
Talk
Luca Della ToffolaETH Zurich, Switzerland, Michael PradelTU Darmstadt, Germany, Thomas GrossETH Zurich, Switzerland
DOI
oopsla2015144620010000011: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
oopsla2015144620145000011: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
oopsla2015144620820000013: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
oopsla2015144620955000013: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
oopsla2015144621090000014:15 - 14:37
Talk
Tim FelgentreffHPI, Germany, Todd MillsteinUniversity of California at Los Angeles, USA, Alan BorningUniversity of Washington, USA, Robert HirschfeldHPI
DOI
oopsla2015144621225000014: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
oopsla2015144621540000015: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
oopsla2015144621675000015:52 - 16:15
Talk
Stephan BrandauerUppsala University, Dave ClarkeUppsala University, Sweden and KU Leuven, Belgium, Tobias WrigstadUppsala University
Link to publication File Attached
oopsla2015144621810000016:15 - 16:37
Talk
Silvia CrafaUniversità di Padova, Italy, Luca Padovani
DOI
oopsla2015144621945000016: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