GPCE 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
VenueBoston Park Plaza Hotel
Room nameStudio 2
Floor4
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 5 Nov

gpce-2018
08:30 - 10:00: GPCE 2018 - Keynote at Studio 2
gpce-2018154140300000008:30 - 10:00
Talk
gpce-2018
10:30 - 12:00: GPCE 2018 - II at Studio 2
gpce-2018154141020000010:30 - 11:00
Talk
Karl SmeltzerOregon State University, Martin ErwigOregon State University
gpce-2018154141200000011:00 - 11:30
Talk
Nicolas StuckiEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland
gpce-2018154141380000011:30 - 12:00
Talk
Michael NiekeTU Braunschweig, Germany, Jacopo MauroUniversity of Southern Denmark, Christoph SeidlTechnische Universität Braunschweig, Thomas ThümTU Braunschweig, Germany, Ingrid Chieh YuUniversity of Oslo, Felix FranzkeTU Braunschweig
gpce-2018
13:30 - 15:00: GPCE 2018 - III at Studio 2
gpce-2018154142100000013:30 - 14:00
Talk
Larissa SoaresUniversidade Federal da Bahia, Jens MeinickeMagdeburg University, Sarah NadiUniversity of Alberta, Christian KästnerCarnegie Mellon University, Eduardo AlmeidaUniversidade Federal da Bahia
gpce-2018154142280000014:00 - 14:30
Talk
Ebrahim KhalajWayne State University, Marwan Abi-AntounWayne State University
gpce-2018154142460000014:30 - 15:00
Talk
Nic VolanschiInria Bordeaux, Bernard SerpetteInria, Charles ConselUniversity of Bordeaux
gpce-2018
15:30 - 17:00: GPCE 2018 - IV at Studio 2
gpce-2018154142820000015:30 - 16:00
Talk
Adilla SusungiMINES ParisTech, France, Norman A. RinkTU Dresden, Germany, Albert CohenInria, France / ENS, France, Jeronimo CastrillonTU Dresden, Germany, Claude TadonkiMINES ParisTech, France
gpce-2018154143000000016:00 - 16:30
Talk
Sven PeldszusUniversity of Koblenz-Landau, Daniel StrüberUniversity of Koblenz-Landau, Germany, Jan JürjensUniversity of Koblenz-Landau
gpce-2018154143180000016:30 - 17:00
Talk
Laurent ChristopheVUB, Coen De RooverVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel

Tue 6 Nov

gpce-2018
08:30 - 10:00: GPCE 2018 - SLE Keynote at Studio 2
gpce-2018
10:30 - 12:00: GPCE 2018 - VI at Studio 2
gpce-2018154149660000010:30 - 11:00
Talk
Sebastian Ruland, Lars LuthmannTU Darmstadt, Real-time Systems Lab, Johannes BürdekTU Darmstadt, Real-time Systems Lab, Sascha LityTechnische Universität Braunschweig, Thomas ThümTU Braunschweig, Germany, Malte Lochau, Márcio RibeiroFederal University of Alagoas, Brazil
gpce-2018154149840000011:00 - 11:30
Talk
Weixin ZhangThe University of Hong Kong, Bruno C. d. S. OliveiraThe University of Hong Kong
gpce-2018154150020000011:30 - 12:00
Talk
Ahmad Salim Al-SibahiDepartment of Computer Science, University of Copenhagen (DIKU) & BilagScan, Thomas P. JensenINRIA Rennes, Aleksandar S. DimovskiIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark
gpce-2018
13:30 - 15:00: GPCE 2018 - VII at Studio 2
gpce-2018154150740000013:30 - 14:15
Talk
Jácome CunhaUniversity of Minho, Mihai DanOregon State University, Martin ErwigOregon State University, Danila FedorinOregon State University, Alex GrejucOregon State University
gpce-2018154151010000014:15 - 15:00
Talk
L. Thomas van BinsbergenRoyal Holloway University of London
gpce-2018
15:30 - 17:00: GPCE 2018 - VIII at Studio 2
gpce-2018154151460000015:30 - 16:00
Talk
Yin LiuVirginia Tech, Kijin AnVirginia Tech, Eli TilevichVirginia Tech
gpce-2018154151640000016:00 - 16:30
Talk
William G HatchUniversity of Utah, Matthew FlattUniversity of Utah
gpce-2018154151820000016:30 - 17:00
Talk
Gabriel RadanneUniversity of Freiburg, Peter ThiemannUniversity of Freiburg

Wed 7 Nov

splash-2018-OOPSLA
10:30 - 12:00: OOPSLA - Parallelism and Performance at Studio 2
splash-2018-OOPSLA154158300000010:30 - 10:52
Talk
Nachshon CohenEPFL, Switzerland
splash-2018-OOPSLA154158435000010:52 - 11:15
Talk
Benoit DalozeJKU Linz, Austria, Arie TalTechnion, Stefan MarrUniversity of Kent, Hanspeter MössenböckJKU Linz, Austria, Erez PetrankTechnion
splash-2018-OOPSLA154158570000011:15 - 11:37
Talk
Remigius MeierETH Zurich, Switzerland, Armin RigoPyPy.org, Switzerland, Thomas GrossETH Zurich
splash-2018-OOPSLA154158705000011:37 - 12:00
Talk
splash-2018-OOPSLA
13:30 - 15:00: OOPSLA - Language Design 1 at Studio 2
splash-2018-OOPSLA154159380000013:30 - 13:52
Talk
Roland LeißaSaarland University, Germany, Klaas BoescheSaarland University, Sebastian HackSaarland University, Germany, Arsène Pérard-GayotSaarland University, Germany, Richard MembarthDFKI, Germany, Philipp SlusallekDFKI, Germany, André MüllerJohannes Gutenberg University, Bertil SchmidtJohannes Gutenberg University
splash-2018-OOPSLA154159515000013:52 - 14:15
Talk
Jeff BezansonJulia Computing, Benjamin ChungNortheastern University, Jiahao ChenCapital One, Stefan Karpinski, Viral B ShahJulia Computing, Jan VitekNortheastern University, Lionel ZoubritzkyÉcole Normale Supérieure
splash-2018-OOPSLA154159650000014:15 - 14:37
Talk
splash-2018-OOPSLA154159785000014:37 - 15:00
Talk
splash-2018-OOPSLA
15:30 - 17:00: OOPSLA - Compiler Optimization at Studio 2
splash-2018-OOPSLA154160100000015:30 - 15:52
Talk
splash-2018-OOPSLA154160235000015:52 - 16:15
Talk
Xiaoran XuRice University, Keith CooperRice University, Jacob BrockUniversity of Rochester, Yan Zhang, Handong YeFuturewei Technologies
splash-2018-OOPSLA154160370000016:15 - 16:37
Talk
Juneyoung LeeSeoul National University, Chung-Kil HurSeoul National University, Ralf JungMPI-SWS, Zhengyang LiuUniversity of Utah, John RegehrUniversity of Utah, Nuno P. LopesMicrosoft Research
splash-2018-OOPSLA154160505000016:37 - 17:00
Talk
Zhangxiaowen GongUniversity of Illinois at Urbana-Champaign, Zhi ChenUniversity of California, Irvine, Justin SzadayUniversity of Illinois at Urbana-Champaign, David WongIntel, Zehra SuraIBM Research, Neftali Watkinson, Saeed MalekiMicrosoft Research, David PaduaUniversity of Illinois at Urbana-Champaign, Alexander VeidenbaumUniversity of California, Irvine, Alexandru NicolauUniversity of California, Irvine, Josep TorrellasUniversity of Illinois at Urbana-Champaign

Thu 8 Nov

splash-2018-OOPSLA
10:30 - 12:00: OOPSLA - Types and Contracts at Studio 2
splash-2018-OOPSLA154166940000010:30 - 10:52
Talk
Deepak D'Souza, Ezudheen P, Pranav GargUniversity of Illinois at Urbana-Champaign, Daniel NeiderMax Planck Institute for Software Systems, P. MadhusudanUniversity of Illinois at Urbana-Champaign
splash-2018-OOPSLA154167075000010:52 - 11:15
Talk
Niki VazouUniversity of Maryland, USA, Éric TanterUniversity of Chile & Inria Paris, David Van HornUniversity of Maryland, USA
splash-2018-OOPSLA154167210000011:15 - 11:37
Talk
Daniel FelteyNorthwestern University, USA, Ben GreenmanNortheastern University, USA, Christophe ScholliersUniversiteit Gent, Belgium, Robby FindlerNorthwestern University, USA, Vincent St-AmourNorthwestern University
splash-2018-OOPSLA154167345000011:37 - 12:00
Talk
Jack WilliamsUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Kansas, USA, Philip WadlerUniversity of Edinburgh, UK
splash-2018-OOPSLA
13:30 - 15:00: OOPSLA - Static Analysis at Studio 2
splash-2018-OOPSLA154168020000013:30 - 13:52
Talk
Tamás Szabóitemis, Gábor BergmannBudapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary, Sebastian ErdwegTU Delft, Markus Völterindependent / itemis, Germany
splash-2018-OOPSLA154168155000013:52 - 14:15
Talk
Minseok JeonKorea University, South Korea, Sehun JeongKorea University, Hakjoo OhKorea University
splash-2018-OOPSLA154168290000014:15 - 14:37
Talk
Yue LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens
splash-2018-OOPSLA154168425000014:37 - 15:00
Talk
Girish Maskeri RamaInfosys Limited, Raghavan KomondoorIndian Institute of Science, Bangalore, Himanshu SharmaIndian Institute of Science, Bangalore
splash-2018-OOPSLA
15:30 - 17:00: OOPSLA - Potpourri at Studio 2
splash-2018-OOPSLA154168740000015:30 - 15:52
Talk
Michael PradelTU Darmstadt, Koushik SenUniversity of California, Berkeley
splash-2018-OOPSLA154168875000015:52 - 16:15
Talk
Daniel W. Barowy, Emery BergerUniversity of Massachusetts, Amherst, Benjamin ZornMicrosoft Research
splash-2018-OOPSLA154169010000016:15 - 16:37
Talk
James BornholtUniversity of Washington, Emina TorlakUniversity of Washington
splash-2018-OOPSLA154169145000016:37 - 17:00
Talk
Saswat PadhiUniversity of California, Los Angeles, Prateek JainMicrosoft Research Lab, India, Daniel PerelmanUniversity of Washington, USA, Alex PolozovMicrosoft Research, Sumit GulwaniMicrosoft Research, Todd MillsteinUniversity of California, Los Angeles

Fri 9 Nov

splash-2018-OOPSLA
10:30 - 12:00: OOPSLA - Program Synthesis at Studio 2
splash-2018-OOPSLA154175580000010:30 - 10:52
Talk
Yuepeng WangUniversity of Texas at Austin, Xinyu WangUT Austin, Isil DilligUT Austin
splash-2018-OOPSLA154175715000010:52 - 11:15
Talk
Pavol BielikETH Zürich, Marc FischerETH Zurich, Martin VechevETH Zürich
splash-2018-OOPSLA154175850000011:15 - 11:37
Talk
Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington
splash-2018-OOPSLA154175985000011:37 - 12:00
Talk
Junho LeeKorea University, Dowon SongKorea University, Sunbeom SoKorea University, Hakjoo OhKorea University
splash-2018-OOPSLA
13:30 - 14:15: OOPSLA - Safe Merging at Studio 2
splash-2018-OOPSLA154176660000013:30 - 13:52
Talk
Marcelo SousaUniversity of Oxford, Isil DilligUT Austin, Shuvendu K. LahiriMicrosoft Research
splash-2018-OOPSLA154176795000013:52 - 14:15
Talk
Fengmin Zhu, Fei HeTsinghua University

Mon 5 Nov 2018

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

Tue 6 Nov 2018

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

Wed 7 Nov 2018

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Studio 2

Thu 8 Nov 2018

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Studio 2

Fri 9 Nov 2018

Room10:003011:003012:003013:003014:0030
Studio 2