DLS 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
VenueHyatt Regency Vancouver
Room nameRegency C
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: Keynote SundayScala at Regency C
Chair(s): Philipp HallerKTH Royal Institute of Technology
08:45 - 09:00
Day opening
Scala
09:00 - 10:00
Talk
Scala
K: Reynold XinDatabricks
13:30 - 15:00: CompilationScala at Regency C
Chair(s): Paolo G. GiarrussoUniversity of Tübingen, Germany
13:30 - 14:00
Talk
Scala
DOI
14:00 - 14:30
Talk
Scala
Aleksandar ProkopecOracle Labs, David LeopoldsederJohannes Kepler University Linz, Gilles DuboscqOracle Labs, Thomas WuerthingerOracle Labs
DOI
14:30 - 15:00
Talk
Scala
Franck CassezMacquarie University, Australia, Anthony SloaneMacquarie University
DOI

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

08:30 - 10:00: Keynote MondayScala at Regency C
Chair(s): Ondřej LhotákUniversity of Waterloo, Canada
08:45 - 09:00
Day opening
Scala
09:00 - 10:00
Talk
Scala
K: Dwayne ReevesFacebook
15:30 - 17:00: UnconferenceScala at Regency C
Chair(s): Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
15:30 - 17:00
Talk
Scala

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

08:30 - 09:30: DLS 2017 Invited TalkVMIL at Regency C
Chair(s): Davide AnconaUniversity of Genova
08:30 - 09:30
Talk
VMIL
13:30 - 15:00: Session 3DLS 2017 at Regency C
Chair(s): Davide AnconaUniversity of Genova
13:30 - 14:30
Talk
DLS 2017
Jeremy G. SiekIndiana University, USA
File Attached
14:30 - 15:00
Talk
DLS 2017
Matthew C. Loring, Mark MarronMicrosoft Research, Daan LeijenMicrosoft Research
15:30 - 17:00: Session 4DLS 2017 at Regency C
Chair(s): Marc FeeleyUniversité de Montréal
15:30 - 16:00
Talk
DLS 2017
16:00 - 16:30
Talk
DLS 2017
Vlad VerguTU Delft, Michiel HaismaTU Delft, Eelco VisserDelft University of Technology
DOI

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

08:30 - 10:00: Keynote WednesdaySPLASH Keynotes at Regency C
08:30 - 08:40
Day opening
SPLASH Keynotes
P: Gail MurphyUniversity of British Columbia
08:40 - 08:50
Awards
SPLASH Keynotes
Yannis SmaragdakisUniversity of Athens, O: Jonathan AldrichCarnegie Mellon University
08:50 - 10:00
Talk
SPLASH Keynotes
10:30 - 12:00: PerformanceSPLASH OOPSLA at Regency C
Chair(s): Kathryn S McKinleyGoogle
10:30 - 10:52
Talk
SPLASH OOPSLA
Lun LiuUniversity of California at Los Angeles, USA, Todd MillsteinUniversity of California, Los Angeles, Madan MusuvathiMicrosoft Research
DOI
10:52 - 11:15
Talk
SPLASH OOPSLA
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
11:15 - 11:37
Talk
SPLASH OOPSLA
Sarah E. ChasinsUniversity of California, Berkeley, Rastislav BodikUniversity of Washington
DOI
11:37 - 12:00
Talk
SPLASH OOPSLA
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
13:30 - 15:00: ToolsSPLASH OOPSLA at Regency C
Chair(s): Joshua SunshineCarnegie Mellon University
13:30 - 13:52
Talk
SPLASH OOPSLA
Xin ZhangMassachusetts Institute of Technology, USA, Radu GrigoreUniversity of Kent, Xujie SiUniversity of Pennsylvania, Mayur NaikUniversity of Pennsylvania
DOI
13:52 - 14:15
Talk
SPLASH OOPSLA
Eric 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
14:15 - 14:37
Talk
SPLASH OOPSLA
Binhang YuanRice University, USA, Vijayaraghavan MuraliRice University, USA, Chris JermaineRice University
DOI
14:37 - 15:00
Talk
SPLASH OOPSLA
Guilherme CavalcantiFederal University of Pernambuco, Brazil, Paulo BorbaFederal University of Pernambuco, Brazil, Paola AcciolyFederal University of Pernambuco, Brazil
DOI
15:30 - 17:00: Dynamic AnalysisSPLASH OOPSLA at Regency C
Chair(s): Jonathan AldrichCarnegie Mellon University
15:30 - 15:52
Talk
SPLASH OOPSLA
Christoffer Quist AdamsenAarhus University, Anders MøllerAarhus University, Frank TipNortheastern University
DOI
15:52 - 16:15
Talk
SPLASH OOPSLA
Benjamin P. WoodWellesley College, Man CaoOhio State University, Michael D. BondOhio State University, Dan GrossmanUniversity of Washington
DOI
16:15 - 16:37
Talk
SPLASH OOPSLA
DOI
16:37 - 17:00
Talk
SPLASH OOPSLA
Neville Grech, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens
DOI

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

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

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

08:30 - 10:00: Keynote FridaySPLASH Keynotes at Regency C
08:30 - 08:40
Day opening
SPLASH Keynotes
P: Jan VitekNortheastern University, USA
08:40 - 08:45
Other
SPLASH Keynotes
08:45 - 08:55
Awards
SPLASH Keynotes
Jennifer B. SartorVrije Universiteit Brussel
08:55 - 10:00
Talk
SPLASH Keynotes
Lera BoroditskyUC San Diego
10:30 - 12:00: Static AnalysisSPLASH OOPSLA at Regency C
Chair(s): Christian HammerUniversity of Potsdam
10:30 - 10:52
Talk
SPLASH OOPSLA
Johannes SpäthFraunhofer IEM, Karim AliUniversity of Alberta, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
DOI
10:52 - 11:15
Talk
SPLASH OOPSLA
Neville Grech, Yannis SmaragdakisUniversity of Athens
DOI
11:15 - 11:37
Talk
SPLASH OOPSLA
Sehun JeongKorea University, South Korea, Minseok JeonKorea University, South Korea, Sungdeok (Steve) ChaKorea University, South Korea, Hakjoo OhKorea University
DOI
11:37 - 12:00
Talk
SPLASH OOPSLA
Kwonsoo ChaeKorea University, Hakjoo OhKorea University, Kihong HeoUniversity of Pennsylvania, USA, Hongseok YangUniversity of Oxford
DOI
13:30 - 15:00: Distributed SystemsSPLASH OOPSLA at Regency C
Chair(s): Wolfgang De MeuterVrije Universiteit Brussel
13:30 - 13:52
Talk
SPLASH OOPSLA
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
13:52 - 14:15
Talk
SPLASH OOPSLA
Oded PadonTel Aviv University, Giuliano LosaUniversity of California at Los Angeles, USA, Mooly SagivTel Aviv University, Sharon ShohamTel Aviv university
DOI
14:15 - 14:37
Talk
SPLASH OOPSLA
Victor B. F. GomesUniversity of Cambridge, UK, Martin KleppmannUniversity of Cambridge, Dominic P. MulliganUniversity of Cambridge, Alastair R. BeresfordUniversity of Cambridge, UK
DOI
14:37 - 15:00
Talk
SPLASH OOPSLA
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
Times are displayed in time zone: Tijuana, Baja California change

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

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

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

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

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

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

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

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

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

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