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
Floor1
Additional informationThere is no additional information of this room available.

Display in different time zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.
Apply
Close
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: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

splash-2018-Keynotes
08:45 - 10:00: Keynotes - Hermans at Studio 2
splash-2018-Keynotes08:45 - 10:00
Talk
Felienne Hermans
gpce-2018
10:30 - 12:00: GPCE 2018 - I at Studio 2
Chair(s): Shoaib KamilAdobe
gpce-201810:30 - 11:00
Talk
Karl SmeltzerOregon State University, Martin ErwigOregon State University
gpce-201811:00 - 11:30
Talk
Nicolas StuckiEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland
gpce-201811:30 - 12:00
Talk
William G HatchUniversity of Utah, Matthew FlattUniversity of Utah
gpce-2018
13:30 - 15:00: GPCE 2018 - II at Studio 2
Chair(s): Aggelos BiboudisEPFL, Switzerland
gpce-201813: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-201814:00 - 14:30
Talk
Ebrahim KhalajWayne State University, Marwan Abi-AntounWayne State University
gpce-201814:30 - 15:00
Talk
Nic VolanschiInria Bordeaux, Bernard SerpetteInria, Charles ConselUniversity of Bordeaux
gpce-2018
15:30 - 17:00: GPCE 2018 - III at Studio 2
Chair(s): Sarah NadiUniversity of Alberta
gpce-201815:30 - 16:00
Talk
Adilla SusungiMINES ParisTech, France, Norman A. RinkTU Dresden, Germany, Albert CohenGoogle, Jeronimo CastrillonTU Dresden, Germany, Claude TadonkiMINES ParisTech, France
gpce-201816:00 - 16:30
Talk
Sven PeldszusUniversity of Koblenz-Landau, Daniel StrüberUniversity of Koblenz-Landau, Germany, Jan JürjensUniversity of Koblenz-Landau
DOI Pre-print
gpce-201816:30 - 17:00
Talk
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: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

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

Wed 7 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

splash-2018-OOPSLA
10:30 - 12:00: OOPSLA - Parallelism and Performance at Studio 2
Chair(s): Arjun GuhaUniversity of Massachusetts Amherst
splash-2018-OOPSLA10:30 - 10:52
Talk
Nachshon CohenEPFL, Switzerland
splash-2018-OOPSLA10:52 - 11:15
Talk
Benoit DalozeJKU Linz, Austria, Arie TalTechnion, Stefan MarrUniversity of Kent, Hanspeter MössenböckJKU Linz, Austria, Erez PetrankTechnion
Pre-print
splash-2018-OOPSLA11:15 - 11:37
Talk
Remigius MeierETH Zurich, Switzerland, Armin RigoPyPy.org, Switzerland, Thomas GrossETH Zurich
splash-2018-OOPSLA11:37 - 12:00
Talk
Charith MendisMIT CSAIL, Saman AmarasingheMIT
splash-2018-OOPSLA
13:30 - 15:00: OOPSLA - Language Design 1 at Studio 2
Chair(s): Eelco VisserDelft University of Technology
splash-2018-OOPSLA13: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-OOPSLA13: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-OOPSLA14:15 - 14:37
Talk
Yunming Zhang, Mengjiao YangMIT CSAIL, Riyadh BaghdadiMIT, Shoaib KamilAdobe, Julian ShunMIT, Saman AmarasingheMIT
splash-2018-OOPSLA14: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
Chair(s): Patrick LamUniversity of Waterloo
splash-2018-OOPSLA15:30 - 15:52
Talk
Stephen ChouMIT CSAIL, Fredrik KjolstadMIT CSAIL, Saman AmarasingheMIT
splash-2018-OOPSLA15:52 - 16:15
Talk
Xiaoran XuRice University, Keith CooperRice University, Jacob BrockUniversity of Rochester, Yan Zhang, Handong YeFuturewei Technologies
splash-2018-OOPSLA16: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-OOPSLA16: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
Media Attached

Thu 8 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

splash-2018-OOPSLA
10:30 - 12:00: OOPSLA - Types and Contracts at Studio 2
Chair(s): Hakjoo OhKorea University
splash-2018-OOPSLA10: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-OOPSLA10:52 - 11:15
Talk
Niki VazouIMDEA Software Institute, Éric TanterUniversity of Chile & Inria Paris, David Van HornUniversity of Maryland, USA
splash-2018-OOPSLA11: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-OOPSLA11: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
Chair(s): Karim AliUniversity of Alberta
splash-2018-OOPSLA13:30 - 13:52
Talk
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
splash-2018-OOPSLA13:52 - 14:15
Talk
Minseok JeonKorea University, South Korea, Sehun JeongKorea University, Hakjoo OhKorea University
splash-2018-OOPSLA14:15 - 14:37
Talk
Yue LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens
splash-2018-OOPSLA14: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
Chair(s): Anders MøllerAarhus University
splash-2018-OOPSLA15:30 - 15:52
Talk
Michael PradelTU Darmstadt, Koushik SenUniversity of California, Berkeley
splash-2018-OOPSLA15:52 - 16:15
Talk
Dan Barowy, Emery BergerUniversity of Massachusetts, Amherst, Benjamin ZornMicrosoft Research
splash-2018-OOPSLA16:15 - 16:37
Talk
James BornholtUniversity of Washington, Emina TorlakUniversity of Washington
splash-2018-OOPSLA16: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
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

splash-2018-OOPSLA
10:30 - 12:00: OOPSLA - Program Synthesis at Studio 2
Chair(s): Jens PalsbergUniversity of California, Los Angeles
splash-2018-OOPSLA10:30 - 10:52
Talk
Yuepeng WangUniversity of Texas at Austin, Xinyu WangUT Austin, Isil DilligUT Austin
splash-2018-OOPSLA10:52 - 11:15
Talk
Pavol BielikETH Zürich, Marc FischerETH Zurich, Martin VechevETH Zürich
splash-2018-OOPSLA11:15 - 11:37
Talk
Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington
splash-2018-OOPSLA11: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
Chair(s): David PearceVictoria University of Wellington
splash-2018-OOPSLA13:30 - 13:52
Talk
Marcelo SousaUniversity of Oxford, Isil DilligUT Austin, Shuvendu K. LahiriMicrosoft Research
splash-2018-OOPSLA13:52 - 14:15
Talk
Fengmin Zhu, Fei HeTsinghua University

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

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

SPLASH Keynotes

Hermans

GPCE

I

GPCE

II

GPCE

III

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

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

GPCE

IV

GPCE

V

GPCE

VI

Wed 7 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

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

SPLASH OOPSLA

Parallelism and Performance

SPLASH OOPSLA

Language Design 1

SPLASH OOPSLA

Compiler Optimization

Thu 8 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

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

SPLASH OOPSLA

Types and Contracts

SPLASH OOPSLA

Static Analysis

SPLASH OOPSLA

Potpourri

Fri 9 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

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

SPLASH OOPSLA

Program Synthesis

SPLASH OOPSLA

Safe Merging

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Studio 2
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
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

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

Wed 7 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

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
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

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
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

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