Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
VenueHyatt Regency Vancouver
Room nameRegency A
Floor0
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

Sun 22 Oct
Times are displayed in time zone: Tijuana, Baja California change

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

Mon 23 Oct
Times are displayed in time zone: Tijuana, Baja California change

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

Tue 24 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: PerformanceGPCE at Regency A
Chair(s): Matthew FlattUniversity of Utah
10:30 - 10:55
Talk
GPCE
DOI Authorizer link Media Attached
10:55 - 11:20
Talk
GPCE
Joseph CaldwellUniversity of Tokyo, Japan, Shigeru ChibaUniversity of Tokyo, Japan
DOI Authorizer link
11:20 - 11:45
Talk
GPCE
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
11:45 - 12:00
Talk
GPCE
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
13:30 - 15:00: Analysis & TestingGPCE at Regency A
Chair(s): Jaakko JärviUniversity of Bergen
13:30 - 13:55
Talk
GPCE
Jafar M. Al-KofahiIowa State University, USA, Suresh KothariIowa State University, USA, Christian KästnerCarnegie Mellon University, USA
DOI Authorizer link
13:55 - 14:20
Talk
GPCE
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
14:20 - 14:45
Talk
GPCE
Tomoki NakamaruUniversity of Tokyo, Japan, Kazuhiro IchikawaUniversity of Tokyo, Japan, Tetsuro YamazakiUniversity of Tokyo, Japan, Shigeru ChibaUniversity of Tokyo, Japan
DOI Authorizer link
14:45 - 15:00
Talk
GPCE
Vadim ZaytsevRaincode Labs, Belgium
DOI Authorizer link
15:30 - 17:00: DSLsGPCE at Regency A
Chair(s): Anthony SloaneMacquarie University
15:30 - 15:55
Talk
GPCE
Geoffrey MainlandDrexel University, USA, Jeremy JohnsonDrexel University, USA
DOI Authorizer link
15:55 - 16:20
Talk
GPCE
Ricardo Giuliani MartiniUniversity of Minho, Portugal, Pedro Rangel HenriquesUniversity of Minho, Portugal
DOI Authorizer link
16:20 - 16:45
Talk
GPCE
Mark GrebeUniversity of Kansas, USA, David YoungUniversity of Kansas, USA, Andy GillUniversity of Kansas, USA
DOI Authorizer link

Wed 25 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: TypesOOPSLA at Regency A
Chair(s): Kim BrucePomona College
10:30 - 10:52
Talk
OOPSLA
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
10:52 - 11:15
Talk
OOPSLA
Marianna RapoportUniversity of Waterloo, Canada, Ifaz KabirUniversity of Waterloo, Canada, Paul HeUniversity of Waterloo, Canada, Ondřej LhotákUniversity of Waterloo, Canada
DOI
11:15 - 11:37
Talk
OOPSLA
Yanpeng YangUniversity of Hong Kong, China, Bruno C. d. S. OliveiraUniversity of Hong Kong, China
DOI
11:37 - 12:00
Talk
OOPSLA
Avik ChaudhuriFacebook, USA, Panagiotis VekrisUniversity of California at San Diego, USA, Sam GoldmanFacebook, USA, Marshall RochFacebook, USA, Gabriel LeviFacebook, USA
DOI
13:30 - 15:00: Gradual Types and MemoryOOPSLA at Regency A
Chair(s): Jennifer B. SartorVrije Universiteit Brussel
13:30 - 13:52
Talk
OOPSLA
Spenser Andrew BaumanIndiana University, USA, Sam Tobin-HochstadtIndiana University, Jeremy G. SiekIndiana University, USA, Carl Friedrich Bolz-Tereick
DOI
13:52 - 14:15
Talk
OOPSLA
Fabian MuehlboeckCornell University, Ross TateCornell University
DOI
14:15 - 14:37
Talk
OOPSLA
Gregor RichardsUniversity of Waterloo, Ellen ArtecaUniversity of Waterloo, Canada, Alexi TurcotteUniversity of Waterloo
DOI
14:37 - 15:00
Talk
OOPSLA
Tomoharu UgawaKochi University of Technology, Japan, Tatsuya AbeChiba Institute of Technology, Japan, Toshiyuki MaedaChiba Institute of Technology, Japan
DOI
15:30 - 17:22: SynthesisOOPSLA at Regency A
Chair(s): Jonathan Edwards
15:30 - 15:52
Talk
OOPSLA
Venkatesh SrinivasanUniversity of Wisconsin - Madison, Ara VartanianUniversity of Wisconsin-Madison, USA, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
DOI
15:52 - 16:14
Talk
OOPSLA
Xinyu WangUT Austin, Isil DilligUT Austin, Rishabh SinghMicrosoft Research
DOI
16:14 - 16:37
Talk
OOPSLA
Navid YaghmazadehUniversity of Texas, Austin, Yuepeng WangUniversity of Texas at Austin, Isil DilligUT Austin, Thomas Dillig
DOI
16:37 - 16:59
Talk
OOPSLA
Mark SantolucitoYale University, Ennan ZhaiYale University, USA, Rahul DhodapkarMongoDB, USA, Aaron ShimMicrosoft, USA, Ruzica PiskacYale University
DOI
16:59 - 17:22
Talk
OOPSLA
Xiaokang QiuPurdue University, Armando Solar-LezamaMIT CSAIL
DOI

Thu 26 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: Types and Language DesignOOPSLA at Regency A
Chair(s): Mario WolczkoOracle Labs
10:30 - 10:52
Talk
OOPSLA
Yizhou ZhangCornell University, Andrew C. Myers
DOI
10:52 - 11:15
Talk
OOPSLA
Adrian SampsonCornell University, Kathryn S McKinleyGoogle, Todd MytkowiczMicrosoft Research
DOI Pre-print
11:15 - 11:37
Talk
OOPSLA
Sylvan ClebschImperial College London, Juliana FrancoImperial College London, Sophia Drossopoulou, Albert Mingkun Yang, Tobias WrigstadUppsala University, Jan VitekNortheastern University, USA
DOI
11:37 - 12:00
Talk
OOPSLA
Ryan ScottIndiana University, Omar Navarro-LeijaUniversity of Pennsylvania, USA, Ryan R. NewtonIndiana University, Joseph DeviettiUniversity of Pennsylvania
DOI
13:30 - 15:00: Mining Software Repositories and ParsingOOPSLA at Regency A
Chair(s): Wolfgang De MeuterVrije Universiteit Brussel
13:30 - 13:52
Talk
OOPSLA
Samantha Syeda KhairunnesaIowa State University, Hoan Anh NguyenIowa State University, USA, Tien N. NguyenUniversity of Texas at Dallas, Hridesh RajanIowa State University
DOI
13:52 - 14:15
Talk
OOPSLA
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
14:15 - 14:37
Talk
OOPSLA
Davood MazinanianConcordia University, Canada, Ameya KetkarOregon State University, USA, Nikolaos TsantalisConcordia University, Canada, Danny DigSchool of EECS at Oregon State University
DOI
14:37 - 15:00
Talk
OOPSLA
Michael D. AdamsUniversity of Utah, USA, Matthew MightUniversity of Utah, USA
DOI
15:30 - 17:22: TestingOOPSLA at Regency A
Chair(s): Christian HammerUniversity of Potsdam
15:30 - 15:52
Talk
OOPSLA
Talia RingerUniversity of Washington, Dan GrossmanUniversity of Washington, Daniel Schwartz-NarbonneAmazon, n.n., Serdar TasiranAmazon, n.n.
DOI
15:52 - 16:14
Talk
OOPSLA
Alastair DonaldsonImperial College London, Hugues EvrardImperial College London, UK, Andrei LascuImperial College London, Paul ThomsonImperial College London
DOI
16:14 - 16:37
Talk
OOPSLA
Ahmet CelikUniversity of Texas at Austin, USA, Sreepathi PaiUniversity of Rochester, Sarfraz KhurshidUniversity of Texas at Austin, Milos GligoricUniversity of Texas at Austin
DOI
16:37 - 16:59
Talk
OOPSLA
Xia LiUniversity of Texas at Dallas, USA, Lingming Zhang
DOI
16:59 - 17:22
Talk
OOPSLA
Erik Krogh KristensenAarhus University, Denmark, Anders MøllerAarhus University
DOI

Fri 27 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: Language DesignOOPSLA at Regency A
Chair(s): Gregor RichardsUniversity of Waterloo
10:30 - 10:52
Talk
OOPSLA
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
10:52 - 11:15
Talk
OOPSLA
Kiwan MaengCarnegie Mellon University, USA, Alexei ColinCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
DOI
11:15 - 11:37
Talk
OOPSLA
Ennan ZhaiYale University, USA, Ruzica PiskacYale University, Ronghui GuColumbia University, USA, Xun LaoYale University, USA, Xi WangYale University, USA
DOI
11:37 - 12:00
Talk
OOPSLA
Ted KaminskiUniversity of Minnesota, Lucas KramerUniversity of Minnesota, Travis CarlsonUniversity of Minnesota, USA, Eric Van WykUniversity of Minnesota, USA
DOI Pre-print
13:30 - 15:00: Usability and DeadlockOOPSLA at Regency A
Chair(s): Jonathan AldrichCarnegie Mellon University
13:30 - 13:52
Talk
OOPSLA
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
13:52 - 14:15
Talk
OOPSLA
Andrew RiceUniversity of Cambridge, UK, Edward AftandilianGoogle, Ciera JaspanGoogle, Emily JohnstonGoogle, Michael PradelTU Darmstadt, Yulissa Arroyo-ParedesColumbia University, USA
DOI
14:15 - 14:37
Talk
OOPSLA
Baijun WuUniversity of Louisiana at Lafayette, USA, Sheng ChenULL Lafayette
DOI
14:37 - 15:00
Talk
OOPSLA
Baijun WuUniversity of Louisiana at Lafayette, USA, John Peter CamporaULL Lafayette, Sheng ChenULL Lafayette
DOI

Sun 22 Oct
Times are displayed in time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Regency A

Mon 23 Oct
Times are displayed in time zone: Tijuana, Baja California change

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

Tue 24 Oct
Times are displayed in time zone: Tijuana, Baja California change

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

Wed 25 Oct
Times are displayed in time zone: Tijuana, Baja California change

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

Thu 26 Oct
Times are displayed in time zone: Tijuana, Baja California change

Fri 27 Oct
Times are displayed in time zone: Tijuana, Baja California change

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