Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
VenueMövenpick Hotel Amsterdam City Centre
Room nameMatterhorn 1
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sun 30 Oct

parsing2016
08:30 - 10:00: Parsing@SLE - First Session at Matterhorn 1
parsing2016147781260000008:30 - 08:45
Day opening
parsing2016147781350000008:45 - 09:10
Talk
Timothée HaudebourgENS Rennes, Luís Eduardo de Souza AmorimDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology, Netherlands
File Attached
parsing2016147781500000009:10 - 09:35
Talk
Elizabeth ScottRoyal Holloway University of London, Adrian JohnstoneRoyal Holloway University of London
File Attached
parsing2016147781650000009:35 - 10:00
Demonstration
Jonathan AldrichCarnegie Mellon University
parsing2016
10:30 - 12:10: Parsing@SLE - Second Session at Matterhorn 1
parsing2016147781980000010: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
parsing2016147782130000010:55 - 11:20
Talk
Nate NystromUniversity of Lugano
File Attached
parsing2016147782280000011:20 - 11:45
Talk
File Attached
parsing2016147782430000011: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
parsing2016147783060000013:30 - 13:55
Talk
Nicolas LaurentUniversité Catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium
parsing2016147783210000013:55 - 14:20
Talk
Friedrich SteimannFernuniversität
parsing2016147783360000014:20 - 14:45
Talk
Brian MalloyClemson University, James PowerMaynooth University
parsing2016147783510000014: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
parsing2016147783840000015:40 - 16:05
Talk
L. Thomas van BinsbergenRoyal Holloway University of London
File Attached
parsing2016147783990000016:05 - 16:30
Talk
Adrian JohnstoneRoyal Holloway University of London, Elizabeth ScottRoyal Holloway University of London
File Attached
parsing2016147784140000016:30 - 17:20
Other

Mon 31 Oct

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

Tue 1 Nov

dls-2016-papers
08:30 - 10:00: DLS - Session 1 at Matterhorn 1
dls-2016-papers147798540000008:30 - 10:00
Talk
dls-2016-papers
10:30 - 12:10: DLS - Session 2 at Matterhorn 1
Chair(s): Gilad BrachaGoogle
dls-2016-papers147799260000010:30 - 10:55
Talk
Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Denmark, Fabio StroccoAarhus University, Denmark
DOI
dls-2016-papers147799410000010:55 - 11:20
Talk
Thomas S. HeinzeAarhus University, Denmark, Anders MøllerAarhus University, Denmark, Fabio StroccoAarhus University, Denmark
DOI
dls-2016-papers147799560000011:20 - 11:45
Talk
Changhee ParkKAIST, South Korea, Hyeonseung ImKangwon National University, South Korea, Sukyoung RyuKAIST, South Korea
DOI
dls-2016-papers147799710000011: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-papers147800340000013:30 - 13:55
Talk
Remigius MeierETH Zurich, Switzerland, Armin RigoPyPy.org, Switzerland, Thomas GrossETH Zurich
DOI
dls-2016-papers147800490000013: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-papers147800640000014:20 - 14:45
Talk
Vincent Foley-BourgonMcGill University, Canada, Laurie HendrenMcGill University, Canada
DOI
dls-2016-papers147800790000014: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-papers147801120000015: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-papers147801270000016:05 - 16:30
Talk
Alessandro WarthY Combinator Research, USA, Patrick DubroyY Combinator Research, USA, Tony Garnock-JonesNortheastern University, USA
DOI Pre-print
dls-2016-papers147801420000016: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

splash-2016-oopsla
10:30 - 12:10: OOPSLA - Optimization and Performance at Matterhorn 1
Chair(s): Jan VitekNortheastern University
splash-2016-oopsla147807900000010:30 - 10:55
Talk
Sreepathi PaiUniversity of Texas at Austin, USA, Keshav PingaliUniversity of Texas at Austin, USA
DOI Pre-print
splash-2016-oopsla147808050000010:55 - 11:20
Talk
Rishi SurendranRice University, USA, Vivek SarkarRice University, USA
DOI
splash-2016-oopsla147808200000011: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-oopsla147808350000011: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-oopsla147808980000013:30 - 13:55
Talk
Scott MooreHarvard University, Christos DimoulasHarvard University, Robby FindlerNorthwestern University, Matthew FlattUniversity of Utah, Stephen ChongHarvard University
DOI
splash-2016-oopsla147809130000013:55 - 14:20
Talk
Leo Osvald, Gregory Essertel, Xilun WuPurdue University, Lilliam I Gonzalez AlayonPurdue University, Tiark RompfPurdue University, USA
DOI
splash-2016-oopsla147809280000014:20 - 14:45
Talk
Jonathan DiLorenzoCornell University, Richard ZhangUniversity of Pennsylvania, Erin Menzies, Kathleen FisherTufts University, Nate FosterCornell University
DOI
splash-2016-oopsla147809430000014: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-oopsla147809760000015:40 - 16:05
Talk
Sulekha KulkarniGeorgia Tech, Ravi MangalGeorgia Institute of Technology, Xin ZhangGeorgia Tech, Mayur NaikGeorgia Tech
DOI
splash-2016-oopsla147809910000016:05 - 16:30
Talk
Venkatesh SrinivasanUniversity of Wisconsin - Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
DOI Pre-print
splash-2016-oopsla147810060000016:30 - 16:55
Talk
Dmytro PetrashkoEPFL, Vlad UrecheEPFL, Switzerland, Ondřej LhotákUniversity of Waterloo, Martin OderskyEPFL, Switzerland
DOI
splash-2016-oopsla147810210000016: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

splash-2016-oopsla
10:30 - 12:10: OOPSLA - Concurrency Analysis and Model Checking at Matterhorn 1
Chair(s): Thomas GrossETH Zurich
splash-2016-oopsla147816540000010: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-oopsla147816690000010:55 - 11:20
Talk
Shiyou HuangTexas A&M University, Jeff HuangTexas A&M University
DOI
splash-2016-oopsla147816840000011:20 - 11:45
Talk
Ben BlumCarnegie Mellon University, Garth GibsonCarnegie Mellon University
DOI Pre-print Media Attached
splash-2016-oopsla147816990000011: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-oopsla147817620000013: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-oopsla147817770000013: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-oopsla147817920000014:20 - 14:45
Talk
Kumud BhandariRice University, USA, Dhruva Chakrabarti, Hans-J. BoehmGoogle
DOI Pre-print Media Attached
splash-2016-oopsla147818070000014: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-oopsla147818400000015:40 - 16:05
Talk
Friedrich SteimannFernuniversität, Jörg HagemannFernuniversität in Hagen, Bastian UlkeFernuniversität in Hagen
DOI Media Attached
splash-2016-oopsla147818550000016:05 - 16:30
Talk
Veselin RaychevETH Zurich, Switzerland, Pavol Bielik, Martin VechevETH Zurich
DOI
splash-2016-oopsla147818700000016:30 - 16:55
Talk
Shaon BarmanUC Berkeley, Sarah ChasinsUniversity of California, Berkeley, Rastislav BodikUniversity of Washington, USA, Sumit GulwaniMicrosoft Research
DOI Media Attached
splash-2016-oopsla147818850000016: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
DOI Media Attached

Fri 4 Nov

splash-2016-oopsla
10:30 - 12:10: OOPSLA - Typing, in Practice at Matterhorn 1
Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands
splash-2016-oopsla147825180000010: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-oopsla147825330000010:55 - 11:20
Talk
Stephen KellUniversity of Cambridge
DOI Media Attached
splash-2016-oopsla147825480000011:20 - 11:45
Talk
Yuheng LongIowa State University, Yu David Liu, Hridesh RajanIowa State University, USA
DOI
splash-2016-oopsla147825630000011: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-oopsla147826260000013:30 - 13:55
Talk
Chengnian SunUniversity of California, Davis, Vu LeMicrosoft, Zhendong SuUniversity of California, Davis
DOI Media Attached
splash-2016-oopsla147826410000013: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-oopsla147826560000014: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-oopsla147826710000014:45 - 15:10
Talk
Rohan BavishiIIT Kanpur, India, Awanish PandeyIIT Kanpur, India, Subhajit RoyIIT Kanpur, India
DOI

Sun 30 Oct 2016

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

Mon 31 Oct 2016

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Matterhorn 1
13:30 - 15:10
15:40 - 17:20

Tue 1 Nov 2016

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Matterhorn 1
08:30 - 10:00
10:30 - 12:10
13:30 - 15:10
15:40 - 17:20

Wed 2 Nov 2016

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

Thu 3 Nov 2016

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

Fri 4 Nov 2016

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