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

Sun 22 Oct

scala-2017-papers
08:30 - 10:00: Scala 2017 - Keynote Sunday at Regency C
Chair(s): Philipp HallerKTH Royal Institute of Technology
scala-2017-papers150865470000008:45 - 09:00
Day opening
scala-2017-papers150865560000009:00 - 10:00
Talk
Reynold XinDatabricks
scala-2017-papers
10:30 - 12:00: Scala 2017 - Types at Regency C
Chair(s): Anthony SloaneMacquarie University
scala-2017-papers150866100000010:30 - 11:00
Talk
Abel NietoUniversity of Waterloo
DOI Pre-print File Attached
scala-2017-papers150866280000011:00 - 11:30
Talk
Adelbert ChangUnaffiliated
DOI Pre-print
scala-2017-papers150866460000011:30 - 12:00
Talk
Leo OsvaldPurdue University, USA, Tiark RompfPurdue University
DOI Media Attached
scala-2017-papers
13:30 - 15:00: Scala 2017 - Compilation at Regency C
Chair(s): Paolo G. GiarrussoUniversity of Tübingen, Germany
scala-2017-papers150867180000013:30 - 14:00
Talk
DOI
scala-2017-papers150867360000014:00 - 14:30
Talk
Aleksandar ProkopecOracle Labs, David LeopoldsederJohannes Kepler University Linz, Gilles DuboscqOracle Labs, Thomas WuerthingerOracle Labs
DOI
scala-2017-papers150867540000014:30 - 15:00
Talk
Franck CassezMacquarie University, Australia, Anthony SloaneMacquarie University
DOI
scala-2017-papers
15:30 - 17:00: Scala 2017 - Open-source & Student Talks at Regency C
Chair(s): Guido SalvaneschiTU Darmstadt
scala-2017-papers150867900000015:30 - 15:52
Talk
Media Attached
scala-2017-papers150868035000015:52 - 16:15
Talk
Media Attached
scala-2017-papers150868170000016:15 - 16:37
Talk
scala-2017-papers150868305000016:37 - 17:00
Talk

Mon 23 Oct

scala-2017-papers
08:30 - 10:00: Scala 2017 - Keynote Monday at Regency C
Chair(s): Ondřej LhotákUniversity of Waterloo, Canada
scala-2017-papers150874110000008:45 - 09:00
Day opening
scala-2017-papers150874200000009:00 - 10:00
Talk
scala-2017-papers
10:30 - 12:00: Scala 2017 - Domain-specific Languages at Regency C
scala-2017-papers150874740000010:30 - 11:00
Talk
DOI Pre-print Media Attached
scala-2017-papers150874920000011:00 - 11:30
Talk
Guillaume MartresEPFL, Switzerland
DOI Pre-print Media Attached
scala-2017-papers150875100000011:30 - 12:00
Talk
Lars KrollKTH Royal Institute of Technology, Sweden, Paris CarboneKTH, Sweden, Seif Haridi
DOI File Attached
scala-2017-papers
13:30 - 15:00: Scala 2017 - Language Design at Regency C
Chair(s): Nada AminUniversity of Cambridge
scala-2017-papers150875820000013:30 - 14:00
Talk
DOI Media Attached
scala-2017-papers150876000000014:00 - 14:30
Talk
Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Philipp SchusterUniversity of Tübingen
DOI Pre-print Media Attached File Attached
scala-2017-papers
15:30 - 17:00: Scala 2017 - Unconference at Regency C
Chair(s): Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
scala-2017-papers150876540000015:30 - 17:00
Talk

Tue 24 Oct

vmil-2017
08:30 - 09:30: VMIL 2017 - DLS 2017 Invited Talk at Regency C
Chair(s): Davide AnconaUniversity of Genova
vmil-2017150882660000008:30 - 09:30
Talk
dls-2017
08:30 - 10:00: DLS 2017 - Session 1 at Regency C
Chair(s): Davide AnconaUniversity of Genova
dls-2017150882660000008:30 - 09:30
Talk
dls-2017150883020000009:30 - 10:00
Talk
Stefan MarrUniversity of Kent, Carmen Torres Lopez, Dominik Aumayr, Elisa Gonzalez BoixVrije Universiteit Brussel, Hanspeter MössenböckJKU Linz, Austria
DOI Pre-print
dls-2017
10:30 - 12:00: DLS 2017 - Session 2 at Regency C
Chair(s): Manuel SerranoInria, France
dls-2017150883380000010:30 - 11:00
Talk
David UngarApple, Inc,, David GroveIBM Research, Hubertus Franke
dls-2017150883560000011:00 - 11:30
Talk
dls-2017150883740000011:30 - 12:00
Talk
Javier PimásPalantir Solutions, Javier Burroni, Jean Baptiste Arnaud, Stefan MarrUniversity of Kent
DOI
dls-2017
13:30 - 15:00: DLS 2017 - Session 3 at Regency C
Chair(s): Davide AnconaUniversity of Genova
dls-2017150884460000013:30 - 14:30
Talk
Jeremy G. SiekIndiana University, USA
File Attached
dls-2017150884820000014:30 - 15:00
Talk
Matthew C. Loring, Mark MarronMicrosoft Research, Daan LeijenMicrosoft Research
dls-2017
15:30 - 17:00: DLS 2017 - Session 4 at Regency C
Chair(s): Marc FeeleyUniversité de Montréal
dls-2017150885180000015:30 - 16:00
Talk
dls-2017150885360000016:00 - 16:30
Talk
Vlad VerguTU Delft, Michiel HaismaTU Delft, Eelco VisserDelft University of Technology
DOI

Wed 25 Oct

splash-2017-keynotes
08:30 - 10:00: Keynotes - Keynote Wednesday at Regency C
splash-2017-keynotes150891300000008:30 - 08:40
Day opening
Gail MurphyUniversity of British Columbia
splash-2017-keynotes150891360000008:40 - 08:50
Awards
Yannis SmaragdakisUniversity of Athens, Jonathan AldrichCarnegie Mellon University
splash-2017-keynotes150891420000008:50 - 10:00
Talk
splash-2017-OOPSLA
10:30 - 12:00: OOPSLA - Performance at Regency C
Chair(s): Kathryn S McKinleyGoogle
splash-2017-OOPSLA150892020000010:30 - 10:52
Talk
Lun LiuUniversity of California at Los Angeles, USA, Todd MillsteinUniversity of California, Los Angeles, Madan MusuvathiMicrosoft Research
DOI
splash-2017-OOPSLA150892155000010:52 - 11:15
Talk
Gabriel PoesiaFederal University of Minas Gerais, Brazil, Breno CamposFederal University of Minas Gerais, Brazil, Fabrício FerracioliLG Electronics, Brazil, Fernando Magno Quintão PereiraUFMG
DOI
splash-2017-OOPSLA150892290000011:15 - 11:37
Talk
Sarah ChasinsUniversity of California, Berkeley, Rastislav BodikUniversity of Washington
DOI
splash-2017-OOPSLA150892425000011:37 - 12:00
Talk
Edd BarrettKing's College London, Carl Friedrich Bolz-Tereick, Rebecca KillickDepartment of Mathematics and Statistics, University of Lancaster, Sarah MountKing's College London, Laurence TrattKing's College London
DOI
splash-2017-OOPSLA
13:30 - 15:00: OOPSLA - Tools at Regency C
Chair(s): Joshua SunshineCarnegie Mellon University
splash-2017-OOPSLA150893100000013:30 - 13:52
Talk
Xin ZhangMassachusetts Institute of Technology, USA, Radu GrigoreUniversity of Kent, Xujie SiUniversity of Pennsylvania, Mayur NaikUniversity of Pennsylvania
DOI
splash-2017-OOPSLA150893235000013:52 - 14:15
Talk
Eric L. SeidelUniversity of California at San Diego, USA, Huma SibghatUniversity of California at San Diego, USA, Kamalika ChaudhuriUniversity of California at San Diego, USA, Westley WeimerUniversity of Virginia, USA, Ranjit JhalaUniversity of California at San Diego, USA
DOI
splash-2017-OOPSLA150893370000014:15 - 14:37
Talk
Binhang YuanRice University, USA, Vijayaraghavan MuraliRice University, USA, Chris JermaineRice University
DOI
splash-2017-OOPSLA150893505000014:37 - 15:00
Talk
Guilherme CavalcantiFederal University of Pernambuco, Brazil, Paulo BorbaFederal University of Pernambuco, Brazil, Paola AcciolyFederal University of Pernambuco, Brazil
DOI
splash-2017-OOPSLA
15:30 - 17:00: OOPSLA - Dynamic Analysis at Regency C
Chair(s): Jonathan AldrichCarnegie Mellon University
splash-2017-OOPSLA150893820000015:30 - 15:52
Talk
Christoffer Quist AdamsenAarhus University, Anders MøllerAarhus University, Frank TipNortheastern University
DOI
splash-2017-OOPSLA150893955000015:52 - 16:15
Talk
Benjamin P. WoodWellesley College, Man CaoOhio State University, Michael BondOhio State University, Dan GrossmanUniversity of Washington
DOI
splash-2017-OOPSLA150894090000016:15 - 16:37
Talk
DOI
splash-2017-OOPSLA150894225000016:37 - 17:00
Talk
Neville Grech, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens
DOI

Thu 26 Oct

splash-2017-keynotes
08:30 - 10:00: Keynotes - Keynote Thursday at Regency C
splash-2017-keynotes150899940000008:30 - 08:45
Awards
Jonathan AldrichCarnegie Mellon University
splash-2017-keynotes150900030000008:45 - 10:00
Talk
Crista LopesUniversity of California, Irvine
splash-2017-OOPSLA
10:30 - 12:00: OOPSLA - Optimizing Compilation and Verification at Regency C
Chair(s): Gregor RichardsUniversity of Waterloo
splash-2017-OOPSLA150900660000010:30 - 10:52
Talk
DOI
splash-2017-OOPSLA150900795000010:52 - 11:15
Talk
Laith SakkaPurdue University, Kirshanthan SundararajahPurdue University, Milind KulkarniPurdue University
DOI
splash-2017-OOPSLA150900930000011:15 - 11:37
Talk
Dominic OrchardUniversity of Kent, UK, Mistral Contrastin, Matthew DanishUniversity of Cambridge, UK, Andrew RiceUniversity of Cambridge, UK
DOI
splash-2017-OOPSLA150901065000011:37 - 12:00
Talk
Yufei DingNorth Carolina State University, Xipeng ShenNorth Carolina State University
DOI
splash-2017-OOPSLA
13:30 - 15:00: OOPSLA - Verification at Regency C
Chair(s): Jonathan Edwards
splash-2017-OOPSLA150901740000013:30 - 13:52
Talk
Manolis PapadakisStanford University, USA, Gilbert Louis BernsteinStanford University, USA, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Pat HanrahanStanford University, USA
DOI
splash-2017-OOPSLA150901875000013:52 - 14:15
Talk
Peng WangMassachusetts Institute of Technology, USA, Di WangPeking University, China, Adam ChlipalaMassachusetts Institute of Technology, USA
DOI
splash-2017-OOPSLA150902010000014:15 - 14:37
Talk
Aws AlbarghouthiUniversity of Wisconsin-Madison, Loris D'AntoniUniversity of Wisconsin–Madison, Samuel DrewsUniversity of Wisconsin-Madison, Aditya Nori
DOI
splash-2017-OOPSLA150902145000014:37 - 15:00
Talk
Davide AnconaUniversity of Genova, Francesco Dagnino, Elena ZuccaUniversity of Genova
DOI
splash-2017-OOPSLA
15:30 - 17:00: OOPSLA - Verification in Practice at Regency C
Chair(s): Davide AnconaUniversity of Genova
splash-2017-OOPSLA150902460000015:30 - 15:52
Talk
Magnus MadsenUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Canada, Frank TipNortheastern University
DOI
splash-2017-OOPSLA150902595000015:52 - 16:15
Talk
David SwaseyMPI-SWS, Germany, Deepak GargMax Planck Institute for Software Systems, Derek DreyerMPI-SWS
DOI
splash-2017-OOPSLA150902730000016:15 - 16:37
Talk
William ManskyPrinceton University, Andrew AppelPrinceton, Aleksey NoginHRL Laboratories, LLC
DOI
splash-2017-OOPSLA150902865000016:37 - 17:00
Talk
DOI
splash-2017-keynotes
17:30 - 18:30: Keynotes - Business Meeting and Awards at Regency C
splash-2017-keynotes150903180000017:30 - 17:45
Talk
Tony HoskingAustralian National University / Data61
splash-2017-keynotes150903270000017:45 - 17:55
Talk
Gail MurphyUniversity of British Columbia
splash-2017-keynotes150903330000017:55 - 18:05
Talk
Jonathan AldrichCarnegie Mellon University
splash-2017-keynotes150903390000018:05 - 18:15
Talk
Emina TorlakUniversity of Washington, Robert BiddleCarleton University
splash-2017-keynotes150903450000018:15 - 18:30
Talk
Yannis SmaragdakisUniversity of Athens

Fri 27 Oct

splash-2017-keynotes
08:30 - 10:00: Keynotes - Keynote Friday at Regency C
splash-2017-keynotes150908580000008:30 - 08:40
Day opening
Jan VitekNortheastern University, USA
splash-2017-keynotes150908640000008:40 - 08:45
Other
splash-2017-keynotes150908670000008:45 - 08:55
Awards
Jennifer B. SartorVrije Universiteit Brussel
splash-2017-keynotes150908730000008:55 - 10:00
Talk
Lera BoroditskyUC San Diego
splash-2017-OOPSLA
10:30 - 12:00: OOPSLA - Static Analysis at Regency C
Chair(s): Christian HammerUniversity of Potsdam
splash-2017-OOPSLA150909300000010:30 - 10:52
Talk
Johannes SpäthFraunhofer IEM, Karim AliUniversity of Alberta, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
DOI
splash-2017-OOPSLA150909435000010:52 - 11:15
Talk
Neville Grech, Yannis SmaragdakisUniversity of Athens
DOI
splash-2017-OOPSLA150909570000011:15 - 11:37
Talk
Sehun JeongKorea University, South Korea, Minseok JeonKorea University, South Korea, Sungdeok ChaKorea University, South Korea, Hakjoo OhKorea University
DOI
splash-2017-OOPSLA150909705000011:37 - 12:00
Talk
Kwonsoo ChaeKorea University, Hakjoo OhKorea University, Kihong HeoUniversity of Pennsylvania, USA, Hongseok YangUniversity of Oxford
DOI
splash-2017-OOPSLA
13:30 - 15:00: OOPSLA - Distributed Systems at Regency C
Chair(s): Wolfgang De MeuterVrije Universiteit Brussel
splash-2017-OOPSLA150910380000013:30 - 13:52
Talk
Philip A. BernsteinMicrosoft Research, Sebastian BurckhardtMicrosoft Research, Sergey BykovMicrosoft, n.n., Natacha CrooksUniversity of Texas at Austin, USA, Jose FaleiroYale University, USA, Gabriel KliotGoogle, n.n., Alok KumbhareMicrosoft Research, n.n., Muntasir Raihan RahmanMicrosoft, Vivek ShahUniversity of Copenhagen, Denmark, Adriana SzekeresUniversity of Washington, USA, Jorgen ThelinMicrosoft Research, Redmond
DOI
splash-2017-OOPSLA150910515000013:52 - 14:15
Talk
Oded PadonTel Aviv University, Giuliano LosaUniversity of California at Los Angeles, USA, Mooly SagivTel Aviv University, Sharon ShohamTel Aviv university
DOI
splash-2017-OOPSLA150910650000014:15 - 14:37
Talk
Victor B. F. GomesUniversity of Cambridge, UK, Martin KleppmannUniversity of Cambridge, Dominic P. MulliganUniversity of Cambridge, Alastair R. BeresfordUniversity of Cambridge, UK
DOI
splash-2017-OOPSLA150910785000014:37 - 15:00
Talk
Alexander Bakst, Klaus v. GleissenthallUniversity of California at San Diego, USA, Ranjit JhalaUniversity of California at San Diego, USA, Rami Gökhan KıcıUniversity of California at San Diego, USA
DOI

Sun 22 Oct 2017

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Regency C
10:30 - 12:00

Mon 23 Oct 2017

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

Tue 24 Oct 2017

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

Wed 25 Oct 2017

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

Thu 26 Oct 2017

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Regency C
13:30 - 15:00

Fri 27 Oct 2017

Room8:00309:003010:003011:003012:003013:003014:003015:0030
Regency C

Thu 26 Oct 2017

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Regency C