PLoP 2015
Fri 23 - Mon 26 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
VenueSheraton Station Square Hotel
Room nameGrand Station 1
Floor1
Additional information

Program

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

Mon 26 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00: Session 2GPCE at Grand Station 1
Chair(s): Tiark RompfPurdue & Oracle Labs
10:30 - 10:40
Day opening
GPCE
10:40 - 11:10
Talk
GPCE
Roland Leißa, Klaas BoescheSaarland University, Sebastian Hack, Richard MembarthGerman Research Center for Artificial Intelligence, Philipp SlusallekGerman Research Center for Artificial Intelligence
11:10 - 11:40
Talk
GPCE
Maximilian Scherr, Shigeru ChibaUniversity of Tokyo
11:40 - 12:00
Talk
GPCE
Bob ReyndersiMinds - Distrinet, KU Leuven, Dominique DevrieseiMinds - Distrinet, KU Leuven, Frank PiessensiMinds - Distrinet, KU Leuven
13:30 - 15:00: Session 3GPCE at Grand Station 1
Chair(s): Ulrik SchultzUniversity of Southern Denmark
13:30 - 14:00
Talk
GPCE
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
14:00 - 14:30
Talk
GPCE
Sascha El-SharkawyUniversity of Hildesheim, Adam KrafczykUniversity of Hildesheim, Klaus SchmidStiftung Universistat Hildesheim
14:30 - 15:00
Talk
GPCE
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
15:30 - 17:30: Session 4GPCE at Grand Station 1
Chair(s): Tijs van der StormCWI
15:30 - 16:00
Talk
GPCE
Michael LopezTexas A&M University, C. Jasson CaseyTexas A&M University and Flowgrammable.org, Gabriel Dos ReisTexas A&M University and Microsoft
16:00 - 16:30
Talk
GPCE
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
16:30 - 17:00
Talk
GPCE
Hiroshi YamaguchiThe University of Tokyo, Shigeru ChibaUniversity of Tokyo
17:00 - 17:20
Talk
GPCE
Sorin AdamConpleks Innovation, Ulrik SchultzUniversity of Southern Denmark

Tue 27 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

13:30 - 15:00: Session 7GPCE at Grand Station 1
Chair(s): Christian KästnerCarnegie Mellon University
13:30 - 14:00
Talk
GPCE
Gabriel FoustTexas A & M University, Jaakko JärviTexas A&M University, Sean ParentAdobe Systems, Inc.
14:00 - 14:30
Talk
GPCE
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
14:30 - 15:00
Talk
GPCE
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
15:30 - 17:30: Session 8GPCE at Grand Station 1
Chair(s): Jaakko JärviTexas A&M University
15:30 - 16:00
Talk
GPCE
Pablo InostrozaCentrum Wiskunde & Informatica, Tijs van der StormCWI
16:00 - 16:30
Talk
GPCE
Jaime FontSan Jorge University, Lorena ArcegaSan Jorge University, Oystein HaugenØstfold University College, Carlos CetinaSan Jorge University
16:30 - 17:00
Talk
GPCE
Christoph SeidlTechnische Universität Braunschweig, Sven SchusterTechnische Universität Braunschweig, Ina Schaefer
17:00 - 17:20
Talk
GPCE
Carlos NogueraVrije Universiteit Brussel, Viviane JonckersVrije Universiteit Brussel
17:20 - 17:30
Day closing
GPCE

Wed 28 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00: 1. Model CheckingSPLASH OOPSLA at Grand Station 1
Chair(s): Julian DolbyIBM Research
10:30 - 10:52
Talk
SPLASH OOPSLA
Anthony Widjaja LinYale-NUS College, Singapore, Matthew HagueRoyal Holloway University of London, UK, C.-H. Luke OngUniversity of Oxford, UK
Link to publication
10:52 - 11:15
Talk
SPLASH OOPSLA
Brian DemskyUniversity of California at Irvine, USA, Patrick LamUniversity of Waterloo, Canada
Link to publication
11:15 - 11:37
Talk
SPLASH OOPSLA
Ivan KurajMassachusetts Institute of Technology, USA, Viktor KunčakEPFL, Switzerland, Daniel JacksonMassachusetts Institute of Technology, USA
DOI
11:37 - 12:00
Talk
SPLASH OOPSLA
Casper Svenning JensenAarhus University, Denmark, Anders MøllerAarhus University, Veselin RaychevETH Zurich, Switzerland, Dimitar DimitrovETH Zurich, Switzerland, Martin VechevETH Zurich, Switzerland
DOI
13:30 - 15:00: 3. VerificationSPLASH OOPSLA at Grand Station 1
Chair(s): Guangtai LiangIBM Research - China
13:30 - 13:52
Talk
SPLASH OOPSLA
Rahul SharmaStanford University, Eric SchkufzaStanford University, Berkeley ChurchillStanford University, Alex AikenStanford University
DOI
13:52 - 14:15
Talk
SPLASH OOPSLA
Sam BlackshearUniversity of Colorado at Boulder, USA, Bor-Yuh Evan ChangUniversity of Colorado at Boulder, USA, Manu SridharanSamsung Research America
Link to publication
14:15 - 14:37
Talk
SPLASH OOPSLA
Ravichandhran MadhavanEPFL, Switzerland, Mikaël MayerEPFL, Switzerland, Sumit GulwaniMicrosoft Research, USA, Viktor KunčakEPFL, Switzerland
Link to publication
14:37 - 15:00
Talk
SPLASH OOPSLA
Gian NtzikImperial College London, UK, Philippa GardnerImperial College London, UK
DOI
15:30 - 17:00: 4. ConcurrencySPLASH OOPSLA at Grand Station 1
Chair(s): Wolfgang De MeuterVrije Universiteit Brussel
15:30 - 15:52
Talk
SPLASH OOPSLA
Peizhao OuUniversity of California at Irvine, USA, Brian DemskyUniversity of California at Irvine, USA
DOI
15:52 - 16:15
Talk
SPLASH OOPSLA
Swarnendu BiswasOhio State University, USA, Minjia ZhangOhio State University, USA, Michael D. BondOhio State University, USA, Brandon LuciaCarnegie Mellon University, USA
DOI Pre-print
16:15 - 16:37
Talk
SPLASH OOPSLA
Nachshon CohenTechnion, Israel, Erez PetrankTechnion, Israel
DOI
16:37 - 17:00
Talk
SPLASH OOPSLA
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
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00: 5. MobilitySPLASH OOPSLA at Grand Station 1
Chair(s): Lukasz ZiarekState University of New York (SUNY) Buffalo
10:30 - 10:52
Talk
SPLASH OOPSLA
Osbert BastaniStanford University, Saswat AnandStanford University, Alex AikenStanford University
DOI Media Attached
10:52 - 11:15
Talk
SPLASH OOPSLA
Lucas BrutschyETH Zurich, Switzerland, Pietro FerraraIBM Research, USA, Omer TrippIBM Research, USA, Marco PistoiaIBM Research, USA
Pre-print Media Attached
11:15 - 11:37
Talk
SPLASH OOPSLA
Pavol BielikETH Zurich, Switzerland, Veselin RaychevETH Zurich, Switzerland, Martin VechevETH Zurich, Switzerland
DOI Media Attached
11:37 - 12:00
Talk
SPLASH OOPSLA
Yongjian HuUniversity of California at Riverside, USA, Tanzirul AzimUniversity of California at Riverside, USA, Iulian NeamtiuUniversity of California at Riverside, USA
DOI Media Attached
13:30 - 15:00: 7. RuntimeSPLASH OOPSLA at Grand Station 1
Chair(s): Michael PradelTU Darmstadt, Germany
13:30 - 13:52
Talk
SPLASH OOPSLA
Yudi ZhengUniversity of Lugano, Lubomír BulejUniversità della Svizzera italiana, Walter BinderUniversity of Lugano
DOI
13:52 - 14:15
Talk
SPLASH OOPSLA
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
14:15 - 14:37
Talk
SPLASH OOPSLA
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
14:37 - 15:00
Talk
SPLASH OOPSLA
Michael JantzUniversity of Tennessee, USA, Forrest RobinsonUniversity of Kansas, USA, Prasad KulkarniUniversity of Kansas, Kshitij DoshiIntel, USA
DOI Media Attached
15:30 - 17:30: 8. Static AnalysisSPLASH OOPSLA at Grand Station 1
Chair(s): Werner DietlUniversity of Waterloo
15:30 - 15:54
Talk
SPLASH OOPSLA
Magnus MadsenUniversity of Waterloo, Frank TipSamsung Research America, Ondřej LhotákUniversity of Waterloo
DOI Media Attached
15:54 - 16:18
Talk
SPLASH OOPSLA
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
16:18 - 16:42
Talk
SPLASH OOPSLA
Jens DietrichMassey University, New Zealand, Nicholas HollingumUniversity of Sydney, Australia, Bernhard ScholzOracle Labs, Australia
DOI Media Attached
16:42 - 17:06
Talk
SPLASH OOPSLA
David DaraisUniversity of Maryland, College Park, Matthew MightUniversity of Utah, USA, David Van HornUniversity of Maryland at College Park, USA
DOI Media Attached
17:06 - 17:30
Talk
SPLASH OOPSLA
Hakjoo OhKorea University, South Korea, Hongseok YangUniversity of Oxford, UK, Kwangkeun YiSeoul National University, South Korea
DOI Media Attached

Fri 30 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00: 9. Compilation & Dynamic AnalysisSPLASH OOPSLA at Grand Station 1
Chair(s): Frank TipSamsung Research America
10:30 - 10:52
Talk
SPLASH OOPSLA
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
10:52 - 11:15
Talk
SPLASH OOPSLA
Luca Della ToffolaETH Zurich, Switzerland, Michael PradelTU Darmstadt, Germany, Thomas GrossETH Zurich, Switzerland
DOI
11:15 - 11:37
Talk
SPLASH OOPSLA
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
11:37 - 12:00
Talk
SPLASH OOPSLA
Zhoulai FuUniversity of California at Davis, USA, Zhaojun BaiUniversity of California at Davis, USA, Zhendong SuUniversity of California at Davis, USA
DOI
13:30 - 15:00: 11. Programming Language DesignSPLASH OOPSLA at Grand Station 1
Chair(s): Gary Leavens University of Central Florida
13:30 - 13:52
Talk
SPLASH OOPSLA
John WickersonImperial College London, Mark BattyUniversity of Cambridge, Bradford M. BeckmannAdvanced Micro Devices, Inc, Alastair DonaldsonImperial College London
DOI Media Attached
13:52 - 14:15
Talk
SPLASH OOPSLA
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
14:15 - 14:37
Talk
SPLASH OOPSLA
Tim FelgentreffHPI, Germany, Todd MillsteinUniversity of California at Los Angeles, USA, Alan BorningUniversity of Washington, USA, Robert HirschfeldHPI
DOI
14:37 - 15:00
Talk
SPLASH OOPSLA
Michael SteindorferCWI, Netherlands, Jurgen VinjuCWI, Netherlands
Link to publication
15:30 - 17:00: 13. Type SystemsSPLASH OOPSLA at Grand Station 1
Chair(s): Nobuko YoshidaImperial College London, UK
15:30 - 15:52
Talk
SPLASH OOPSLA
Sebastian ErdwegTU Darmstadt, Germany, Oliver BračevacTU Darmstadt, Edlira KuciTU Darmstadt, Germany, Matthias KrebsTU Darmstadt, Germany, Mira MeziniTU Darmstadt
Link to publication Pre-print
15:52 - 16:15
Talk
SPLASH OOPSLA
Stephan BrandauerUppsala University, Dave ClarkeUppsala University, Sweden and KU Leuven, Belgium, Tobias WrigstadUppsala University
Link to publication File Attached
16:15 - 16:37
Talk
SPLASH OOPSLA
Silvia CrafaUniversità di Padova, Italy, Luca Padovani
DOI
16:37 - 17:00
Talk
SPLASH OOPSLA
Matías ToroUniversity of Chile, Chile, Éric TanterUniversity of Chile, Chile
DOI

Mon 26 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Grand Station 1

Tue 27 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

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

Wed 28 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Thu 29 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Fri 30 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change