Write a Blog >>
Onward! 2018
Wed 7 - Thu 8 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
SPLASH 2018 (series) / Onward! 2018 (series) / Boston Park Plaza Hotel /

Room information: Studio 2

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 - GPCE Keynote at Studio 2
gpce-2018154140300000008:30 - 08:45
Talk
Eric Van WykUniversity of Minnesota, USA, Tiark RompfPurdue University, David PearceVictoria University of Wellington, Tanja MayerhoferTU Wien, Friedrich SteimannFernuniversität
gpce-2018154140390000008:45 - 10:00
Talk
Saman AmarasingheMIT
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
William G HatchUniversity of Utah, Matthew FlattUniversity of Utah
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 CohenGoogle, 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-2018154148940000008:30 - 08:45
Talk
Eric Van WykUniversity of Minnesota, USA, Tiark RompfPurdue University, David PearceVictoria University of Wellington, Tanja MayerhoferTU Wien, Friedrich SteimannFernuniversität
gpce-2018154149030000008:45 - 10:00
Talk
Martin RinardMassachusetts Institute of Technology
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:00
Talk
Jácome CunhaUniversity of Minho, Mihai DanOregon State University, Martin ErwigOregon State University, Danila FedorinOregon State University, Alex GrejucOregon State University
gpce-2018154150920000014:00 - 14:30
Talk
L. Thomas van BinsbergenRoyal Holloway University of London
gpce-2018154151100000014:30 - 15:00
Talk
Yin LiuVirginia Tech, Kijin AnVirginia Tech, Eli TilevichVirginia Tech
gpce-2018
15:30 - 17:00: GPCE 2018 - VIII at Studio 2
gpce-2018154151460000015:30 - 16: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-2018154151640000016:00 - 16:30
Talk
Gabriel RadanneUniversity of Freiburg, Peter ThiemannUniversity of Freiburg
DOI Pre-print

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
Charith MendisMIT CSAIL, Saman AmarasingheMIT
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
Yunming Zhang, Mengjiao YangMIT CSAIL, Riyadh BaghdadiMIT, Shoaib KamilAdobe, Julian ShunMIT, Saman AmarasingheMIT
splash-2018-OOPSLA154159785000014:37 - 15:00
Talk
James KoppelMIT, Varot PremtoonMIT, Armando Solar-LezamaMIT CSAIL
splash-2018-OOPSLA
15:30 - 17:00: OOPSLA - Compiler Optimization at Studio 2
splash-2018-OOPSLA154160100000015:30 - 15:52
Talk
Stephen ChouMIT CSAIL, Fredrik KjolstadMIT CSAIL, Saman AmarasingheMIT
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

GPCE

GPCE Keynote
08:30 - 10:00

GPCE

II
10:30 - 12:00

GPCE

III
13:30 - 15:00

GPCE

IV
15:30 - 17:00

Tue 6 Nov 2018

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

GPCE

SLE Keynote
08:30 - 10:00

GPCE

VI
10:30 - 12:00

GPCE

VII
13:30 - 15:00

GPCE

VIII
15:30 - 17:00

Wed 7 Nov 2018

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

SPLASH OOPSLA

Parallelism and Performance
10:30 - 12:00

SPLASH OOPSLA

Language Design 1
13:30 - 15:00

SPLASH OOPSLA

Compiler Optimization
15:30 - 17:00

Thu 8 Nov 2018

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

SPLASH OOPSLA

Types and Contracts
10:30 - 12:00

SPLASH OOPSLA

Static Analysis
13:30 - 15:00

SPLASH OOPSLA

Potpourri
15:30 - 17:00

Fri 9 Nov 2018

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

SPLASH OOPSLA

Program Synthesis
10:30 - 12:00

SPLASH OOPSLA

Safe Merging
13:30 - 14:15

Mon 5 Nov 2018

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Studio 2
08:30 - 08:45
08:45 - 10:00
10:30 - 11:00
11:00 - 11:30
11:30 - 12:00
13:30 - 14:00
14:00 - 14:30
14:30 - 15:00
15:30 - 16:00
16:00 - 16:30
16:30 - 17:00

Tue 6 Nov 2018

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Studio 2
08:30 - 08:45
08:45 - 10:00
10:30 - 11:00
11:00 - 11:30
11:30 - 12:00
13:30 - 14:00
14:00 - 14:30
14:30 - 15:00
15:30 - 16:00
16:00 - 16:30

Wed 7 Nov 2018

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Studio 2
10:30 - 10:52
10:52 - 11:15
11:15 - 11:37
11:37 - 12:00
13:30 - 13:52
13:52 - 14:15
14:15 - 14:37
14:37 - 15:00
15:30 - 15:52
15:52 - 16:15
16:15 - 16:37
16:37 - 17:00

Thu 8 Nov 2018

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Studio 2
10:30 - 10:52
10:52 - 11:15
11:15 - 11:37
11:37 - 12:00
13:30 - 13:52
13:52 - 14:15
14:15 - 14:37
14:37 - 15:00
15:30 - 15:52
15:52 - 16:15
16:15 - 16:37
16:37 - 17:00

Fri 9 Nov 2018

Room10:0015304511:0015304512:0015304513:0015304514:00153045
Studio 2
10:30 - 10:52
10:52 - 11:15
11:15 - 11:37
11:37 - 12:00
13:30 - 13:52
13:52 - 14:15