Onward! 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
VenueHyatt Regency Vancouver
Room nameRegency A
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sun 22 Oct

dsldi-2017
08:30 - 10:00: DSLDI 2017 - Session 1 at Regency A
Chair(s): Lindsey KuperIntel Labs, Eric WalkingshawOregon State University
dsldi-2017150865560000009:00 - 09:10
Day opening
Lindsey KuperIntel Labs, Eric WalkingshawOregon State University
dsldi-2017150865620000009:10 - 10:00
Talk
Ronald GarciaUniversity of British Columbia, Canada
File Attached
dsldi-2017
10:30 - 12:00: DSLDI 2017 - Session 2 at Regency A
Chair(s): Nada AminUniversity of Cambridge
dsldi-2017150866100000010:30 - 10:52
Talk
Wode NiColumbia University, Katherine Ye, Joshua SunshineCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Keenan CraneCarnegie Mellon University
File Attached
dsldi-2017150866235000010:52 - 11:15
Talk
Xiangqi LiUniversity of Utah, Matthew FlattUniversity of Utah
File Attached
dsldi-2017150866370000011:15 - 11:37
Talk
Christopher SimpkinsGeorgia Institute of Technology, Spencer RugaberGeorgia Institute of Technology, Charles Isbell, Jr.Georgia Institute of Technology
File Attached
dsldi-2017150866505000011:37 - 12:00
Talk
Bart van MerriënboerUniversity of Montreal, Alexander B. WiltschkoGoogle Brain
File Attached
dsldi-2017
13:30 - 15:00: DSLDI 2017 - Session 3 at Regency A
Chair(s): Eric WalkingshawOregon State University
dsldi-2017150867180000013:30 - 13:52
Talk
Manasij MukherjeeChennai Mathematical Institute
File Attached
dsldi-2017150867315000013:52 - 14:15
Talk
Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven, Tijs van der StormCentrum Wiskunde & Informatica / University of Groningen
File Attached
dsldi-2017150867450000014:15 - 14:37
Talk
Yossi GilTechnion—Israel Institute of Technology, David H. LorenzTechnion—Israel Institute of Technology, Matan I. PeledTechnion—Israel Institute of Technology
File Attached
dsldi-2017150867585000014:37 - 15:00
Talk
Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
Link to publication Pre-print Media Attached File Attached
dsldi-2017
15:30 - 17:00: DSLDI 2017 - Session 4 at Regency A
Chair(s): Lindsey KuperIntel Labs
dsldi-2017150867900000015:30 - 15:52
Talk
Shrutarshi BasuCornell University, James GrimmelmannCornell Law School, Nate FosterCornell University
File Attached
dsldi-2017150868035000015:52 - 16:15
Talk
Shayan NajdUniversity of Edinburgh
File Attached
dsldi-2017150868170000016:15 - 16:37
Talk
Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA
File Attached
dsldi-2017150868305000016:37 - 17:00
Day closing

Mon 23 Oct

gpce-2017
10:30 - 12:00: GPCE 2017 - Staging at Regency A
Chair(s): Nada AminUniversity of Cambridge
gpce-2017150874740000010:30 - 10:55
Talk
Rui GeUniversity of British Columbia, Canada, Ronald GarciaUniversity of British Columbia, Canada
DOI Authorizer link
gpce-2017150874890000010:55 - 11:20
Talk
Georg OfenbeckETH Zurich, Switzerland, Tiark RompfPurdue University, Markus PüschelETH Zürich
DOI Authorizer link
gpce-2017150875040000011:20 - 11:45
Talk
Junpei OishiUniversity of Tsukuba, Japan, Yukiyoshi KameyamaUniversity of Tsukuba, Japan
DOI Authorizer link
gpce-2017150875190000011:45 - 12:00
Talk
Ludovic CourtèsInria, France
DOI Authorizer link
gpce-2017
13:30 - 15:00: GPCE 2017 - Variability at Regency A
Chair(s): Ina SchaeferTechnische Universität Braunschweig
gpce-2017150875820000013:30 - 13:55
Talk
Lukas LinsbauerJohannes Kepler University Linz, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Paul GrünbacherJKU Linz, Austria
DOI Authorizer link
gpce-2017150875970000013:55 - 14:20
Talk
Raúl LapeñaSan Jorge University, Spain, Jaime FontSan Jorge University, Spain, Óscar PastorUniversitat Politècnica de València, Spain, Carlos CetinaSan Jorge University, Spain
DOI Authorizer link
gpce-2017150876120000014:20 - 14:45
Talk
Wolfram FenskeUniversity of Magdeburg, Germany, Sandro SchulzeUniversity of Magdeburg, Germany, Gunter SaakeUniversity of Magdeburg, Germany
DOI Authorizer link
gpce-2017
15:30 - 17:00: GPCE 2017 - Types at Regency A
Chair(s): Shigeru ChibaUniversity of Tokyo, Japan
gpce-2017150876540000015:30 - 15:55
Talk
Travis CarlsonUniversity of Minnesota, USA, Eric Van WykUniversity of Minnesota, USA
DOI Authorizer link
gpce-2017150876690000015:55 - 16:20
Talk
Andrea RosàUniversity of Lugano, Switzerland, Eduardo RosalesUniversity of Lugano, Switzerland, Walter BinderUniversity of Lugano, Switzerland
DOI Authorizer link
gpce-2017150876840000016:20 - 16:45
Talk
David PearceVictoria University of Wellington, New Zealand
DOI Authorizer link

Tue 24 Oct

gpce-2017
10:30 - 12:00: GPCE 2017 - Performance at Regency A
Chair(s): Matthew FlattUniversity of Utah
gpce-2017150883380000010:30 - 10:55
Talk
DOI Authorizer link Media Attached
gpce-2017150883530000010:55 - 11:20
Talk
Joseph CaldwellUniversity of Tokyo, Japan, Shigeru ChibaUniversity of Tokyo, Japan
DOI Authorizer link
gpce-2017150883680000011:20 - 11:45
Talk
Arsène Pérard-GayotSaarland University, Germany, Martin WeierBonn-Rhein-Sieg University of Applied Sciences, Germany, Richard MembarthDFKI, Germany, Philipp SlusallekDFKI, Germany, Roland LeißaSaarland University, Germany, Sebastian HackSaarland University, Germany
DOI Authorizer link
gpce-2017150883830000011:45 - 12:00
Talk
Adilla SusungiMINES ParisTech, France, Norman A. RinkTU Dresden, Germany, Jeronimo CastrillonTU Dresden, Germany, Immo HuismannTU Dresden, Germany, Albert CohenInria, France / ENS, France, Claude TadonkiMINES ParisTech, France, Jörg StillerTU Dresden, Germany, Jochen FröhlichTU Dresden, Germany
DOI Authorizer link
gpce-2017
13:30 - 15:00: GPCE 2017 - Analysis & Testing at Regency A
Chair(s): Jaakko JärviUniversity of Bergen
gpce-2017150884460000013:30 - 13:55
Talk
Jafar M. Al-KofahiIowa State University, USA, Suresh KothariIowa State University, USA, Christian KästnerCarnegie Mellon University, USA
DOI Authorizer link
gpce-2017150884610000013:55 - 14:20
Talk
Leonardo FernandesFederal University of Pernambuco, Brazil, Márcio RibeiroFederal University of Alagoas, Brazil, Luiz CarvalhoFederal University of Alagoas, Brazil, Rohit GheyiFederal University of Campina Grande, Brazil, Melina MongioviFederal University of Campina Grande, Brazil, Andre Santos, Ana CavalcantiUniversity of York, UK, Fabiano FerrariFederal University of São Carlos, Brazil, José Carlos MaldonadoUniversity of São Paulo, Brazil
DOI Authorizer link
gpce-2017150884760000014:20 - 14:45
Talk
Tomoki NakamaruUniversity of Tokyo, Japan, Kazuhiro IchikawaUniversity of Tokyo, Japan, Tetsuro YamazakiUniversity of Tokyo, Japan, Shigeru ChibaUniversity of Tokyo, Japan
DOI Authorizer link
gpce-2017150884910000014:45 - 15:00
Talk
Vadim ZaytsevRaincode Labs, Belgium
DOI Authorizer link
gpce-2017
15:30 - 17:00: GPCE 2017 - DSLs at Regency A
Chair(s): Anthony SloaneMacquarie University
gpce-2017150885180000015:30 - 15:55
Talk
Geoffrey MainlandDrexel University, USA, Jeremy JohnsonDrexel University, USA
DOI Authorizer link
gpce-2017150885330000015:55 - 16:20
Talk
Ricardo Giuliani MartiniUniversity of Minho, Portugal, Pedro Rangel HenriquesUniversity of Minho, Portugal
DOI Authorizer link
gpce-2017150885480000016:20 - 16:45
Talk
Mark GrebeUniversity of Kansas, USA, David YoungUniversity of Kansas, USA, Andy GillUniversity of Kansas, USA
DOI Authorizer link

Wed 25 Oct

splash-2017-OOPSLA
10:30 - 12:00: OOPSLA - Types at Regency A
Chair(s): Kim BrucePomona College
splash-2017-OOPSLA150892020000010:30 - 10:52
Talk
Izzat El HajjUniversity of Illinois at Urbana-Champaign, USA, Thomas B. JablinUniversity of Illinois at Urbana-Champaign, USA / Multicoreware, USA, Dejan MilojicicHewlett Packard Labs, USA, Wen-mei HwuUniversity of Illinois at Urbana-Champaign, USA
DOI
splash-2017-OOPSLA150892155000010:52 - 11:15
Talk
Marianna RapoportUniversity of Waterloo, Canada, Ifaz KabirUniversity of Waterloo, Canada, Paul HeUniversity of Waterloo, Canada, Ondřej LhotákUniversity of Waterloo, Canada
DOI
splash-2017-OOPSLA150892290000011:15 - 11:37
Talk
Yanpeng YangUniversity of Hong Kong, China, Bruno C. d. S. OliveiraUniversity of Hong Kong, China
DOI
splash-2017-OOPSLA150892425000011:37 - 12:00
Talk
Avik ChaudhuriFacebook, USA, Panagiotis VekrisUniversity of California at San Diego, USA, Sam GoldmanFacebook, USA, Marshall RochFacebook, USA, Gabriel LeviFacebook, USA
DOI
splash-2017-OOPSLA
13:30 - 15:00: OOPSLA - Gradual Types and Memory at Regency A
Chair(s): Jennifer B. SartorVrije Universiteit Brussel
splash-2017-OOPSLA150893100000013:30 - 13:52
Talk
Spenser Andrew BaumanIndiana University, USA, Sam Tobin-HochstadtIndiana University, Jeremy G. SiekIndiana University, USA, Carl Friedrich Bolz-Tereick
DOI
splash-2017-OOPSLA150893235000013:52 - 14:15
Talk
Fabian MuehlboeckCornell University, Ross TateCornell University
DOI
splash-2017-OOPSLA150893370000014:15 - 14:37
Talk
Gregor RichardsUniversity of Waterloo, Ellen ArtecaUniversity of Waterloo, Canada, Alexi TurcotteUniversity of Waterloo
DOI
splash-2017-OOPSLA150893505000014:37 - 15:00
Talk
Tomoharu UgawaKochi University of Technology, Japan, Tatsuya AbeChiba Institute of Technology, Japan, Toshiyuki MaedaChiba Institute of Technology, Japan
DOI
splash-2017-OOPSLA
15:30 - 17:22: OOPSLA - Synthesis at Regency A
Chair(s): Jonathan Edwards
splash-2017-OOPSLA150893820000015:30 - 15:52
Talk
Venkatesh SrinivasanUniversity of Wisconsin - Madison, Ara VartanianUniversity of Wisconsin-Madison, USA, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
DOI
splash-2017-OOPSLA150893954400015:52 - 16:14
Talk
Xinyu WangUT Austin, Isil DilligUT Austin, Rishabh SinghMicrosoft Research
DOI
splash-2017-OOPSLA150894088800016:14 - 16:37
Talk
Navid YaghmazadehUniversity of Texas, Austin, Yuepeng WangUniversity of Texas at Austin, Isil DilligUT Austin, Thomas Dillig
DOI
splash-2017-OOPSLA150894223200016:37 - 16:59
Talk
Mark SantolucitoYale University, Ennan ZhaiYale University, USA, Rahul DhodapkarMongoDB, USA, Aaron ShimMicrosoft, USA, Ruzica PiskacYale University
DOI
splash-2017-OOPSLA150894357600016:59 - 17:22
Talk
Xiaokang QiuPurdue University, Armando Solar-LezamaMIT CSAIL
DOI

Thu 26 Oct

splash-2017-OOPSLA
10:30 - 12:00: OOPSLA - Types and Language Design at Regency A
Chair(s): Mario WolczkoOracle Labs
splash-2017-OOPSLA150900660000010:30 - 10:52
Talk
Yizhou ZhangCornell University, Andrew Myers
DOI
splash-2017-OOPSLA150900795000010:52 - 11:15
Talk
Adrian SampsonCornell University, Kathryn S McKinleyGoogle, Todd MytkowiczMicrosoft Research
DOI Pre-print
splash-2017-OOPSLA150900930000011:15 - 11:37
Talk
Sylvan ClebschImperial College London, Juliana FrancoImperial College London, Sophia Drossopoulou, Albert Mingkun Yang, Tobias WrigstadUppsala University, Jan VitekNortheastern University, USA
DOI
splash-2017-OOPSLA150901065000011:37 - 12:00
Talk
Ryan ScottIndiana University, Omar Navarro-LeijaUniversity of Pennsylvania, USA, Ryan R. NewtonIndiana University, Joseph DeviettiUniversity of Pennsylvania
DOI
splash-2017-OOPSLA
13:30 - 15:00: OOPSLA - Mining Software Repositories and Parsing at Regency A
Chair(s): Wolfgang De MeuterVrije Universiteit Brussel
splash-2017-OOPSLA150901740000013:30 - 13:52
Talk
Samantha Syeda KhairunnesaIowa State University, Hoan Anh NguyenIowa State University, USA, Tien NguyenUniversity of Texas at Dallas, Hridesh RajanIowa State University
DOI
splash-2017-OOPSLA150901875000013:52 - 14:15
Talk
Crista LopesUniversity of California, Irvine, Petr MajReactorLabs, Pedro MartinsUniversity of California at Irvine, USA, Vaibhav SainiUniversity of California at Irvine, USA, Di YangUniversity of California at Irvine, USA, Jakub ZitnyCzech Technical University, Czechia, Hitesh SajnaniMicrosoft , Jan VitekNortheastern University, USA
DOI
splash-2017-OOPSLA150902010000014:15 - 14:37
Talk
Davood MazinanianConcordia University, Canada, Ameya KetkarOregon State University, USA, Nikolaos TsantalisConcordia University, Canada, Danny DigSchool of EECS at Oregon State University
DOI
splash-2017-OOPSLA150902145000014:37 - 15:00
Talk
Michael D. AdamsUniversity of Utah, USA, Matthew MightUniversity of Utah, USA
DOI
splash-2017-OOPSLA
15:30 - 17:22: OOPSLA - Testing at Regency A
Chair(s): Christian HammerUniversity of Potsdam
splash-2017-OOPSLA150902460000015:30 - 15:52
Talk
Talia RingerUniversity of Washington, Dan GrossmanUniversity of Washington, Daniel Schwartz-NarbonneAmazon, n.n., Serdar TasiranAmazon, n.n.
DOI
splash-2017-OOPSLA150902594400015:52 - 16:14
Talk
Alastair DonaldsonImperial College London, Hugues EvrardImperial College London, UK, Andrei LascuImperial College London, Paul ThomsonImperial College London
DOI
splash-2017-OOPSLA150902728800016:14 - 16:37
Talk
Ahmet CelikUniversity of Texas at Austin, USA, Sreepathi PaiUniversity of Rochester, Sarfraz KhurshidUniversity of Texas at Austin, Milos GligoricUniversity of Texas at Austin
DOI
splash-2017-OOPSLA150902863200016:37 - 16:59
Talk
Xia LiUniversity of Texas at Dallas, USA, Lingming Zhang
DOI
splash-2017-OOPSLA150902997600016:59 - 17:22
Talk
Erik Krogh KristensenAarhus University, Denmark, Anders MøllerAarhus University
DOI

Fri 27 Oct

splash-2017-OOPSLA
10:30 - 12:00: OOPSLA - Language Design at Regency A
Chair(s): Gregor RichardsUniversity of Waterloo
splash-2017-OOPSLA150909300000010:30 - 10:52
Talk
Matthew ParkinsonMicrosoft Research, UK, Dimitrios VytiniotisMicrosoft Research, Cambridge, Kapil VaswaniMicrosoft Research, Manuel CostaMicrosoft Research, Pantazis DeligiannisMicrosoft Research, Dylan McDermottUniversity of Cambridge, Jonathan BalkindPrinceton, USA, Aaron BlanksteinPrinceton, USA
DOI
splash-2017-OOPSLA150909435000010:52 - 11:15
Talk
Kiwan MaengCarnegie Mellon University, USA, Alexei ColinCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
DOI
splash-2017-OOPSLA150909570000011:15 - 11:37
Talk
Ennan ZhaiYale University, USA, Ruzica PiskacYale University, Ronghui GuColumbia University, USA, Xun LaoYale University, USA, Xi WangYale University, USA
DOI
splash-2017-OOPSLA150909705000011:37 - 12:00
Talk
Ted KaminskiUniversity of Minnesota, Lucas KramerUniversity of Minnesota, Travis CarlsonUniversity of Minnesota, USA, Eric Van WykUniversity of Minnesota, USA
DOI Pre-print
splash-2017-OOPSLA
13:30 - 15:00: OOPSLA - Usability and Deadlock at Regency A
Chair(s): Jonathan AldrichCarnegie Mellon University
splash-2017-OOPSLA150910380000013:30 - 13:52
Talk
Tiago CogumbreiroRice University, Rishi SurendranRice University, USA, Francisco MartinsLaSIGE, University of Lisbon, Vivek SarkarRice University, USA, Vasco T. VasconcelosUniversity of Lisbon, Portugal, Max GrossmanRice University, USA
DOI
splash-2017-OOPSLA150910515000013:52 - 14:15
Talk
Andrew RiceUniversity of Cambridge, UK, Edward AftandilianGoogle, Ciera JaspanGoogle, Emily JohnstonGoogle, Michael PradelTU Darmstadt, Yulissa Arroyo-ParedesColumbia University, USA
DOI
splash-2017-OOPSLA150910650000014:15 - 14:37
Talk
Baijun WuUniversity of Louisiana at Lafayette, USA, Sheng ChenULL Lafayette
DOI
splash-2017-OOPSLA150910785000014:37 - 15:00
Talk
Baijun WuUniversity of Louisiana at Lafayette, USA, John Peter CamporaULL Lafayette, Sheng ChenULL Lafayette
DOI

Sun 22 Oct 2017

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

Mon 23 Oct 2017

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Regency A
10:30 - 12:00
15:30 - 17:00

Tue 24 Oct 2017

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Regency A
15:30 - 17:00

Wed 25 Oct 2017

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Regency A
10:30 - 12:00
15:30 - 17:22

Thu 26 Oct 2017

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Regency A
15:30 - 17:22

Fri 27 Oct 2017

Room10:003011:003012:003013:003014:003015:0030
Regency A