GPCE 2018
Mon 5 - Tue 6 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
VenueBoston Park Plaza Hotel
Room nameStudio 2
Floor1
Additional informationThere is no additional information of this room available.
Program

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

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00: IGPCE 2018 at Studio 2
Chair(s): Shoaib KamilAdobe
10:30 - 11:00
Talk
GPCE 2018
Karl SmeltzerOregon State University, Martin ErwigOregon State University
11:00 - 11:30
Talk
GPCE 2018
Nicolas StuckiEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland
11:30 - 12:00
Talk
GPCE 2018
William G HatchUniversity of Utah, Matthew FlattUniversity of Utah
13:30 - 15:00: IIGPCE 2018 at Studio 2
Chair(s): Aggelos BiboudisEPFL, Switzerland
13:30 - 14:00
Talk
GPCE 2018
Larissa SoaresUniversidade Federal da Bahia, Jens MeinickeMagdeburg University, Sarah NadiUniversity of Alberta, Christian KästnerCarnegie Mellon University, Eduardo AlmeidaUniversidade Federal da Bahia
14:00 - 14:30
Talk
GPCE 2018
Ebrahim KhalajWayne State University, Marwan Abi-AntounWayne State University
14:30 - 15:00
Talk
GPCE 2018
Nic VolanschiInria Bordeaux, Bernard SerpetteInria, Charles ConselUniversity of Bordeaux
15:30 - 17:00: IIIGPCE 2018 at Studio 2
Chair(s): Sarah NadiUniversity of Alberta
15:30 - 16:00
Talk
GPCE 2018
Adilla SusungiMINES ParisTech, France, Norman A. RinkTU Dresden, Germany, Albert CohenGoogle, Jeronimo CastrillonTU Dresden, Germany, Claude TadonkiMINES ParisTech, France
16:00 - 16:30
Talk
GPCE 2018
Sven PeldszusUniversity of Koblenz-Landau, Daniel StrüberUniversity of Koblenz-Landau, Germany, Jan JürjensUniversity of Koblenz-Landau
DOI Pre-print
16:30 - 17:00
Talk
GPCE 2018
Laurent ChristopheVUB, Coen De RooverVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00: IVGPCE 2018 at Studio 2
Chair(s): Sebastian ErdwegTU Delft
10:30 - 11:00
Talk
GPCE 2018
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
11:00 - 11:30
Talk
GPCE 2018
Weixin ZhangThe University of Hong Kong, Bruno C. d. S. OliveiraThe University of Hong Kong
11:30 - 12:00
Talk
GPCE 2018
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
13:30 - 15:00: VGPCE 2018 at Studio 2
Chair(s): Tijs van der StormCWI & University of Groningen
13:30 - 14:30
Talk
GPCE 2018
I: Alexander B. WiltschkoGoogle Brain
14:30 - 14:45
Talk
GPCE 2018
L. Thomas van BinsbergenRoyal Holloway University of London
14:45 - 15:00
Talk
GPCE 2018
Jácome CunhaUniversity of Minho, Mihai DanOregon State University, Martin ErwigOregon State University, Danila FedorinOregon State University, Alex GrejucOregon State University
15:30 - 17:00: VIGPCE 2018 at Studio 2
Chair(s): Stefan MarrUniversity of Kent
15:30 - 16:00
Talk
GPCE 2018
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
16:00 - 16:30
Talk
GPCE 2018
Gabriel RadanneUniversity of Freiburg, Peter ThiemannUniversity of Freiburg
DOI Pre-print
16:30 - 17:00
Talk
GPCE 2018
Yin LiuVirginia Tech, Kijin AnVirginia Tech, Eli TilevichVirginia Tech

Wed 7 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00: Parallelism and PerformanceSPLASH OOPSLA at Studio 2
Chair(s): Arjun GuhaUniversity of Massachusetts Amherst
10:30 - 10:52
Talk
SPLASH OOPSLA
Nachshon CohenEPFL, Switzerland
10:52 - 11:15
Talk
SPLASH OOPSLA
Benoit DalozeJKU Linz, Austria, Arie TalTechnion, Stefan MarrUniversity of Kent, Hanspeter MössenböckJKU Linz, Austria, Erez PetrankTechnion
Pre-print
11:15 - 11:37
Talk
SPLASH OOPSLA
Remigius MeierETH Zurich, Switzerland, Armin RigoPyPy.org, Switzerland, Thomas GrossETH Zurich
11:37 - 12:00
Talk
SPLASH OOPSLA
13:30 - 15:00: Language Design 1SPLASH OOPSLA at Studio 2
Chair(s): Eelco VisserDelft University of Technology
13:30 - 13:52
Talk
SPLASH OOPSLA
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
13:52 - 14:15
Talk
SPLASH OOPSLA
Jeff BezansonJulia Computing, Benjamin ChungNortheastern University, Jiahao ChenCapital One, Stefan Karpinski, Viral B ShahJulia Computing, Jan VitekNortheastern University, Lionel ZoubritzkyÉcole Normale Supérieure
14:15 - 14:37
Talk
SPLASH OOPSLA
14:37 - 15:00
Talk
SPLASH OOPSLA
15:30 - 17:00: Compiler OptimizationSPLASH OOPSLA at Studio 2
Chair(s): Patrick LamUniversity of Waterloo
15:30 - 15:52
Talk
SPLASH OOPSLA
15:52 - 16:15
Talk
SPLASH OOPSLA
Xiaoran XuRice University, Keith CooperRice University, Jacob BrockUniversity of Rochester, Yan Zhang, Handong YeFuturewei Technologies
16:15 - 16:37
Talk
SPLASH OOPSLA
Juneyoung LeeSeoul National University, Chung-Kil HurSeoul National University, Ralf JungMPI-SWS, Zhengyang LiuUniversity of Utah, John RegehrUniversity of Utah, Nuno P. LopesMicrosoft Research
16:37 - 17:00
Talk
SPLASH OOPSLA
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
Media Attached

Thu 8 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00: Types and ContractsSPLASH OOPSLA at Studio 2
Chair(s): Hakjoo OhKorea University
10:30 - 10:52
Talk
SPLASH OOPSLA
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
10:52 - 11:15
Talk
SPLASH OOPSLA
Niki VazouIMDEA Software Institute, Éric TanterUniversity of Chile & Inria Paris, David Van HornUniversity of Maryland, USA
11:15 - 11:37
Talk
SPLASH OOPSLA
Daniel FelteyNorthwestern University, USA, Ben GreenmanNortheastern University, USA, Christophe ScholliersUniversiteit Gent, Belgium, Robby FindlerNorthwestern University, USA, Vincent St-AmourNorthwestern University
11:37 - 12:00
Talk
SPLASH OOPSLA
Jack WilliamsUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Kansas, USA, Philip WadlerUniversity of Edinburgh, UK
13:30 - 15:00: Static AnalysisSPLASH OOPSLA at Studio 2
Chair(s): Karim AliUniversity of Alberta
13:30 - 13:52
Talk
SPLASH OOPSLA
Tamás Szabóitemis / TU Delft, 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
13:52 - 14:15
Talk
SPLASH OOPSLA
Minseok JeonKorea University, South Korea, Sehun JeongKorea University, Hakjoo OhKorea University
14:15 - 14:37
Talk
SPLASH OOPSLA
Yue LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens
14:37 - 15:00
Talk
SPLASH OOPSLA
Girish Maskeri RamaInfosys Limited, Raghavan KomondoorIndian Institute of Science, Bangalore, Himanshu SharmaIndian Institute of Science, Bangalore
15:30 - 17:00: PotpourriSPLASH OOPSLA at Studio 2
Chair(s): Anders MøllerAarhus University
15:30 - 15:52
Talk
SPLASH OOPSLA
Michael PradelTU Darmstadt, Koushik SenUniversity of California, Berkeley
15:52 - 16:15
Talk
SPLASH OOPSLA
Dan Barowy, Emery D. BergerUniversity of Massachusetts, Amherst, Benjamin ZornMicrosoft Research
16:15 - 16:37
Talk
SPLASH OOPSLA
James BornholtUniversity of Washington, Emina TorlakUniversity of Washington
16:37 - 17:00
Talk
SPLASH OOPSLA
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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00: Program SynthesisSPLASH OOPSLA at Studio 2
Chair(s): Jens PalsbergUniversity of California, Los Angeles
10:30 - 10:52
Talk
SPLASH OOPSLA
Yuepeng WangUniversity of Texas at Austin, Xinyu WangUT Austin, Isil DilligUT Austin
10:52 - 11:15
Talk
SPLASH OOPSLA
Pavol BielikETH Zürich, Marc FischerETH Zurich, Martin VechevETH Zürich
11:15 - 11:37
Talk
SPLASH OOPSLA
Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington
11:37 - 12:00
Talk
SPLASH OOPSLA
Junho LeeKorea University, Dowon SongKorea University, Sunbeom SoKorea University, Hakjoo OhKorea University
13:30 - 14:15: Safe MergingSPLASH OOPSLA at Studio 2
Chair(s): David J. PearceVictoria University of Wellington
13:30 - 13:52
Talk
SPLASH OOPSLA
Marcelo SousaUniversity of Oxford, Isil DilligUT Austin, Shuvendu K. LahiriMicrosoft Research
13:52 - 14:15
Talk
SPLASH OOPSLA
Fengmin Zhu, Fei HeTsinghua University

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Studio 2

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

Wed 7 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Thu 8 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Fri 9 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change