DLS 2016
Tue 1 Nov 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
VenueMövenpick Hotel Amsterdam City Centre
Room nameMatterhorn 1
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 30 Oct
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

parsing2016
08:30 - 10:00: Parsing@SLE - First Session at Matterhorn 1
parsing201608:30 - 08:45
Day opening
parsing201608:45 - 09:10
Talk
Timothée HaudebourgENS Rennes, Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology, Netherlands
File Attached
parsing201609:10 - 09:35
Talk
Elizabeth ScottRoyal Holloway University of London, Adrian JohnstoneRoyal Holloway University of London
File Attached
parsing201609:35 - 10:00
Demonstration
Jonathan AldrichCarnegie Mellon University
parsing2016
10:30 - 12:10: Parsing@SLE - Second Session at Matterhorn 1
parsing201610:30 - 10:55
Talk
Tobias RungeTU Braunschweig, Ina SchaeferTU Braunschweig, Germany, Loek CleophasEindhoven University of Technology, Bruce WatsonStellenbosch University; and Centre for AI Research, CSIR
parsing201610:55 - 11:20
Talk
Nate NystromUniversity of Lugano
File Attached
parsing201611:20 - 11:45
Talk
File Attached
parsing201611:45 - 12:10
Demonstration
Radu MereutaFaculty of Computer Science, UAIC, Iasi, Romania
File Attached
parsing2016
13:30 - 15:10: Parsing@SLE - Third Session at Matterhorn 1
parsing201613:30 - 13:55
Talk
Nicolas LaurentUniversité Catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium
parsing201613:55 - 14:20
Talk
Friedrich SteimannFernuniversität
parsing201614:20 - 14:45
Talk
Brian MalloyClemson University, James PowerMaynooth University
parsing201614:45 - 15:10
Demonstration
Ted KaminskiUniversity of Minnesota, Lucas KramerUniversity of Minnesota, Eric Van WykUniversity of Minnesota
parsing2016
15:40 - 17:20: Parsing@SLE - Fourth Session at Matterhorn 1
parsing201615:40 - 16:05
Talk
L. Thomas van BinsbergenRoyal Holloway University of London
File Attached
parsing201616:05 - 16:30
Talk
Adrian JohnstoneRoyal Holloway University of London, Elizabeth ScottRoyal Holloway University of London
File Attached
parsing201616:30 - 17:20
Other

Mon 31 Oct
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

dsldi2016
10:30 - 12:10: DSLDI - Opening and Keynote at Matterhorn 1
dsldi201610:30 - 12:10
Talk
Felienne HermansDelft University of Technology
Media Attached
dsldi2016
13:30 - 15:10: DSLDI - Session 1 at Matterhorn 1
dsldi201613:30 - 13:55
Talk
Vadim ZaytsevRaincode, Belgium
File Attached
dsldi201613:55 - 14:20
Talk
Jonathan AldrichCarnegie Mellon University, Alex PotaninVictoria University of Wellington
dsldi201614:20 - 14:45
Talk
Julian JabsUniversity of Tübingen
dsldi201614:45 - 15:10
Talk
Robert AishBartlett School of Architecture, UCL, Emmanuel MendozaARM, Ltd

Tue 1 Nov
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

dls-2016-papers
08:30 - 10:00: DLS - Session 1 at Matterhorn 1
dls-2016-papers08:30 - 10:00
Talk
dls-2016-papers
10:30 - 12:10: DLS - Session 2 at Matterhorn 1
Chair(s): Gilad BrachaGoogle
dls-2016-papers10:30 - 10:55
Talk
Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Denmark, Fabio StroccoAarhus University, Denmark
DOI
dls-2016-papers10:55 - 11:20
Talk
Thomas S. HeinzeAarhus University, Denmark, Anders MøllerAarhus University, Denmark, Fabio StroccoAarhus University, Denmark
DOI
dls-2016-papers11:20 - 11:45
Talk
Changhee ParkKAIST, South Korea, Hyeonseung ImKangwon National University, South Korea, Sukyoung RyuKAIST, South Korea
DOI
dls-2016-papers11:45 - 12:10
Talk
Mattias De WaelVrije Universiteit Brussel, Belgium, Janwillem SwalensVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Belgium
DOI Pre-print File Attached
dls-2016-papers
13:30 - 15:10: DLS - Session 3 at Matterhorn 1
Chair(s): Laurence TrattKing's College London
dls-2016-papers13:30 - 13:55
Talk
Remigius MeierETH Zurich, Switzerland, Armin RigoPyPy.org, Switzerland, Thomas GrossETH Zurich
DOI
dls-2016-papers13:55 - 14:20
Talk
Guido ChariUniversity of Buenos Aires, Argentina, Diego GarbervetskyUniversity of Buenos Aires, Argentina, Stefan MarrJohannes Kepler University Linz
DOI Pre-print
dls-2016-papers14:20 - 14:45
Talk
Vincent Foley-BourgonMcGill University, Canada, Laurie HendrenMcGill University, Canada
DOI
dls-2016-papers14:45 - 15:10
Talk
Lukas StadlerOracle Labs, Austria, Adam WelcOracle Labs, USA, Christian HumerOracle Labs, Switzerland, Mick JordanOracle Labs, USA
DOI
dls-2016-papers
15:40 - 17:20: DLS - Session 4 at Matterhorn 1
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel
dls-2016-papers15:40 - 16:05
Talk
Jason HemannIndiana University, USA, Daniel P. FriedmanIndiana University, USA, William E. ByrdUniversity of Utah, USA, Matthew MightUniversity of Utah, USA
DOI
dls-2016-papers16:05 - 16:30
Talk
Alessandro WarthY Combinator Research, USA, Patrick DubroyY Combinator Research, USA, Tony Garnock-JonesNortheastern University, USA
DOI Pre-print
dls-2016-papers16:30 - 16:55
Talk
Stefan MarrJohannes Kepler University Linz, Benoit DalozeJKU Linz, Austria, Hanspeter MössenböckJKU Linz, Austria
DOI Pre-print

Wed 2 Nov
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

splash-2016-oopsla
10:30 - 12:10: OOPSLA - Optimization and Performance at Matterhorn 1
Chair(s): Jan VitekNortheastern University
splash-2016-oopsla10:30 - 10:55
Talk
Sreepathi PaiUniversity of Texas at Austin, USA, Keshav PingaliUniversity of Texas at Austin, USA
DOI Pre-print
splash-2016-oopsla10:55 - 11:20
Talk
Rishi SurendranRice University, USA, Vivek SarkarRice University, USA
DOI
splash-2016-oopsla11:20 - 11:45
Talk
Tyler SorensenImperial College London, Alastair DonaldsonImperial College London, Mark BattyUniversity of Kent, Ganesh GopalakrishnanUniversity of Utah, Zvonimir RakamaricUniversity of Utah
DOI Pre-print
splash-2016-oopsla11:45 - 12:10
Talk
Sébastien DoeraeneEPFL, Switzerland, Tobias SchlatterEPFL, Switzerland
DOI Pre-print
splash-2016-oopsla
13:30 - 15:10: OOPSLA - Language Design and Programming Models I at Matterhorn 1
Chair(s): Roberto IerusalimschyPUC-Rio
splash-2016-oopsla13:30 - 13:55
Talk
Scott MooreHarvard University, Christos DimoulasHarvard University, Robby FindlerNorthwestern University, Matthew FlattUniversity of Utah, Stephen ChongHarvard University
DOI
splash-2016-oopsla13:55 - 14:20
Talk
Leo Osvald, Gregory Essertel, Xilun WuPurdue University, Lilliam I Gonzalez AlayonPurdue University, Tiark RompfPurdue University, USA
DOI
splash-2016-oopsla14:20 - 14:45
Talk
Jonathan DiLorenzoCornell University, Richard ZhangUniversity of Pennsylvania, Erin Menzies, Kathleen FisherTufts University, Nate FosterCornell University
DOI
splash-2016-oopsla14:45 - 15:10
Talk
Philipp HallerKTH Royal Institute of Technology, Alex LoikoGoogle Stockholm, Sweden
DOI Pre-print
splash-2016-oopsla
15:40 - 17:20: OOPSLA - Static Analysis at Matterhorn 1
Chair(s): Sam GuyerTufts University
splash-2016-oopsla15:40 - 16:05
Talk
Sulekha KulkarniGeorgia Tech, Ravi MangalGeorgia Institute of Technology, Xin ZhangGeorgia Tech, Mayur NaikGeorgia Tech
DOI
splash-2016-oopsla16:05 - 16:30
Talk
Venkatesh SrinivasanUniversity of Wisconsin - Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
DOI Pre-print
splash-2016-oopsla16:30 - 16:55
Talk
Dmytro PetrashkoEPFL, Vlad UrecheEPFL, Switzerland, Ondřej LhotákUniversity of Waterloo, Martin OderskyEPFL, Switzerland
DOI
splash-2016-oopsla16:55 - 17:20
Talk
Satish ChandraSamsung Research America, Colin GordonDrexel University, Jean-Baptiste JeanninCarnegie Mellon University , Cole SchlesingerSamsung Research America, Manu SridharanSamsung Research America, Frank TipSamsung Research America, Young-il ChoiSamsung Electronics
DOI Pre-print

Thu 3 Nov
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

splash-2016-oopsla
10:30 - 12:10: OOPSLA - Concurrency Analysis and Model Checking at Matterhorn 1
Chair(s): Thomas GrossETH Zurich
splash-2016-oopsla10:30 - 10:55
Talk
Malavika SamakIndian Institute of Science, Bangalore, Omer TrippIBM Research, USA, Murali Krishna RamanathanIndian Institute of Science, Bangalore
DOI Media Attached
splash-2016-oopsla10:55 - 11:20
Talk
Shiyou HuangTexas A&M University, Jeff HuangTexas A&M University
DOI
splash-2016-oopsla11:20 - 11:45
Talk
Ben BlumCarnegie Mellon University, Garth GibsonCarnegie Mellon University
DOI Pre-print Media Attached
splash-2016-oopsla11:45 - 12:10
Talk
Jeff HuangTexas A&M University, Arun Krishnakumar RajagopalanTexas A&M University
DOI Media Attached
splash-2016-oopsla
13:30 - 15:10: OOPSLA - Runtime Support at Matterhorn 1
Chair(s): Laurence TrattKing's College London
splash-2016-oopsla13:30 - 13:55
Talk
Benoit DalozeJKU Linz, Austria, Stefan MarrJohannes Kepler University Linz, Daniele BonettaOracle Labs, Hanspeter MössenböckJKU Linz, Austria
DOI Pre-print Media Attached
splash-2016-oopsla13:55 - 14:20
Talk
Keith ChapmanPurdue University, Tony HoskingAustralian National University, Data61, and Purdue University, Eliot MossUniversity of Massachusetts Amherst
Link to publication DOI Pre-print Media Attached
splash-2016-oopsla14:20 - 14:45
Talk
Kumud BhandariRice University, USA, Dhruva Chakrabarti, Hans-J. BoehmGoogle
DOI Pre-print Media Attached
splash-2016-oopsla14:45 - 15:10
Talk
Diogenes NunezTufts University, Sam GuyerTufts University, Emery BergerUniversity of Massachusetts, Amherst
DOI Pre-print Media Attached
splash-2016-oopsla
15:40 - 17:20: OOPSLA - Program Modeling and Learning at Matterhorn 1
Chair(s): Ondřej LhotákUniversity of Waterloo
splash-2016-oopsla15:40 - 16:05
Talk
Friedrich SteimannFernuniversität, Jörg HagemannFernuniversität in Hagen, Bastian UlkeFernuniversität in Hagen
DOI Media Attached
splash-2016-oopsla16:05 - 16:30
Talk
Veselin RaychevETH Zurich, Switzerland, Pavol Bielik, Martin VechevETH Zurich
DOI
splash-2016-oopsla16:30 - 16:55
Talk
Shaon BarmanUC Berkeley, Sarah E. ChasinsUniversity of California, Berkeley, Rastislav BodikUniversity of Washington, USA, Sumit GulwaniMicrosoft Research
DOI Media Attached
splash-2016-oopsla16:55 - 17:20
Talk
Konstantin WeitzUniversity of Washington, Doug WoosUniversity of Washington, Emina TorlakUniversity of Washington, Michael D. ErnstUniversity of Washington, Arvind KrishnamurthyUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle
DOI Media Attached

Fri 4 Nov
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

splash-2016-oopsla
10:30 - 12:10: OOPSLA - Typing, in Practice at Matterhorn 1
Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands
splash-2016-oopsla10:30 - 10:55
Talk
Calvin LoncaricUniversity of Washington, Satish ChandraSamsung Research America, Manu SridharanSamsung Research America, Cole SchlesingerSamsung Research America
DOI Pre-print Media Attached
splash-2016-oopsla10:55 - 11:20
Talk
Stephen KellUniversity of Cambridge
DOI Media Attached
splash-2016-oopsla11:20 - 11:45
Talk
Yuheng LongIowa State University, Yu David Liu, Hridesh RajanIowa State University, USA
DOI
splash-2016-oopsla11:45 - 12:10
Talk
Nada AminEPFL, Ross TateCornell University
Link to publication DOI Pre-print
splash-2016-oopsla
13:30 - 15:10: OOPSLA - Bug Detection Analysis and Model Checking at Matterhorn 1
Chair(s): Ben LivshitsMicrosoft Research
splash-2016-oopsla13:30 - 13:55
Talk
Chengnian SunUniversity of California, Davis, Vu LeMicrosoft, Zhendong SuUniversity of California, Davis
DOI Media Attached
splash-2016-oopsla13:55 - 14:20
Talk
Zhiyong ShanUniversity of Central Missouri, USA, Tanzirul AzimUniversity of California at Riverside, USA, Iulian NeamtiuNew Jersey Institute of Technology, USA
DOI Pre-print
splash-2016-oopsla14:20 - 14:45
Talk
Zhiqiang ZuoUniversity of California, Irvine, Lu FangUniversity of California, Irvine, Siau-Cheng Khoo, Harry XuUniversity of California, Irvine, Shan LuUniversity of Chicago
DOI Media Attached
splash-2016-oopsla14:45 - 15:10
Talk
Rohan BavishiIIT Kanpur, India, Awanish PandeyIIT Kanpur, India, Subhajit RoyIIT Kanpur, India
DOI

Sun 30 Oct
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 Oct
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Matterhorn 1

Tue 1 Nov
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Matterhorn 1

Wed 2 Nov
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 Nov
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 Nov
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change