Onward! 2016
Sun 30 October - Fri 4 November 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: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Mon 31 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Tue 1 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

10:30 - 12:10: Optimization and PerformanceSPLASH OOPSLA at Matterhorn 1
Chair(s): Jan VitekNortheastern University
10:30 - 10:55
Talk
SPLASH OOPSLA
Sreepathi PaiUniversity of Texas at Austin, USA, Keshav PingaliUniversity of Texas at Austin, USA
DOI Pre-print
10:55 - 11:20
Talk
SPLASH OOPSLA
Rishi SurendranRice University, USA, Vivek SarkarRice University, USA
DOI
11:20 - 11:45
Talk
SPLASH OOPSLA
Tyler SorensenImperial College London, Alastair DonaldsonImperial College London, Mark BattyUniversity of Kent, Ganesh GopalakrishnanUniversity of Utah, Zvonimir RakamaricUniversity of Utah
DOI Pre-print
11:45 - 12:10
Talk
SPLASH OOPSLA
Sébastien DoeraeneEPFL, Switzerland, Tobias SchlatterEPFL, Switzerland
DOI Pre-print
13:30 - 15:10: Language Design and Programming Models ISPLASH OOPSLA at Matterhorn 1
Chair(s): Roberto IerusalimschyPUC-Rio
13:30 - 13:55
Talk
SPLASH OOPSLA
Scott MooreHarvard University, Christos DimoulasHarvard University, Robby FindlerNorthwestern University, Matthew FlattUniversity of Utah, Stephen ChongHarvard University
DOI
13:55 - 14:20
Talk
SPLASH OOPSLA
Leo Osvald, Gregory Essertel, Xilun WuPurdue University, Lilliam I Gonzalez AlayonPurdue University, Tiark RompfPurdue University, USA
DOI
14:20 - 14:45
Talk
SPLASH OOPSLA
Jonathan DiLorenzoCornell University, Richard ZhangUniversity of Pennsylvania, Erin Menzies, Kathleen FisherTufts University, Nate FosterCornell University
DOI
14:45 - 15:10
Talk
SPLASH OOPSLA
Philipp HallerKTH Royal Institute of Technology, Alex LoikoGoogle Stockholm, Sweden
DOI Pre-print
15:40 - 17:20: Static AnalysisSPLASH OOPSLA at Matterhorn 1
Chair(s): Sam GuyerTufts University
15:40 - 16:05
Talk
SPLASH OOPSLA
Sulekha KulkarniGeorgia Tech, Ravi MangalGeorgia Institute of Technology, Xin ZhangGeorgia Tech, Mayur NaikGeorgia Tech
DOI
16:05 - 16:30
Talk
SPLASH OOPSLA
Venkatesh SrinivasanUniversity of Wisconsin - Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
DOI Pre-print
16:30 - 16:55
Talk
SPLASH OOPSLA
Dmytro PetrashkoEPFL, Vlad UrecheEPFL, Switzerland, Ondřej LhotákUniversity of Waterloo, Martin OderskyEPFL, Switzerland
DOI
16:55 - 17:20
Talk
SPLASH OOPSLA
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: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10: Concurrency Analysis and Model CheckingSPLASH OOPSLA at Matterhorn 1
Chair(s): Thomas GrossETH Zurich
10:30 - 10:55
Talk
SPLASH OOPSLA
Malavika SamakIndian Institute of Science, Bangalore, Omer TrippIBM Research, USA, Murali Krishna RamanathanIndian Institute of Science, Bangalore
DOI Media Attached
10:55 - 11:20
Talk
SPLASH OOPSLA
Shiyou HuangTexas A&M University, Jeff HuangTexas A&M University
DOI
11:20 - 11:45
Talk
SPLASH OOPSLA
Ben BlumCarnegie Mellon University, Garth GibsonCarnegie Mellon University
DOI Pre-print Media Attached
11:45 - 12:10
Talk
SPLASH OOPSLA
Jeff HuangTexas A&M University, Arun Krishnakumar RajagopalanTexas A&M University
DOI Media Attached
13:30 - 15:10: Runtime SupportSPLASH OOPSLA at Matterhorn 1
Chair(s): Laurence TrattKing's College London
13:30 - 13:55
Talk
SPLASH OOPSLA
Benoit DalozeJKU Linz, Austria, Stefan MarrJohannes Kepler University Linz, Daniele BonettaOracle Labs, Hanspeter MössenböckJKU Linz, Austria
DOI Pre-print Media Attached
13:55 - 14:20
Talk
SPLASH OOPSLA
Keith ChapmanPurdue University, Tony HoskingAustralian National University, Data61, and Purdue University, Eliot MossUniversity of Massachusetts Amherst
Link to publication DOI Pre-print Media Attached
14:20 - 14:45
Talk
SPLASH OOPSLA
Kumud BhandariRice University, USA, Dhruva Chakrabarti, Hans-J. BoehmGoogle
DOI Pre-print Media Attached
14:45 - 15:10
Talk
SPLASH OOPSLA
Diogenes NunezTufts University, Sam GuyerTufts University, Emery D. BergerUniversity of Massachusetts, Amherst
DOI Pre-print Media Attached
15:40 - 17:20: Program Modeling and LearningSPLASH OOPSLA at Matterhorn 1
Chair(s): Ondřej LhotákUniversity of Waterloo
15:40 - 16:05
Talk
SPLASH OOPSLA
Friedrich SteimannFernuniversität, Jörg HagemannFernuniversität in Hagen, Bastian UlkeFernuniversität in Hagen
DOI Media Attached
16:05 - 16:30
Talk
SPLASH OOPSLA
Veselin RaychevETH Zurich, Switzerland, Pavol Bielik, Martin VechevETH Zurich
DOI
16:30 - 16:55
Talk
SPLASH OOPSLA
Shaon BarmanUC Berkeley, Sarah E. ChasinsUniversity of California, Berkeley, Rastislav BodikUniversity of Washington, USA, Sumit GulwaniMicrosoft Research
DOI Media Attached
16:55 - 17:20
Talk
SPLASH OOPSLA
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: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10: Typing, in PracticeSPLASH OOPSLA at Matterhorn 1
Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands
10:30 - 10:55
Talk
SPLASH OOPSLA
Calvin LoncaricUniversity of Washington, Satish ChandraSamsung Research America, Manu SridharanSamsung Research America, Cole SchlesingerSamsung Research America
DOI Pre-print Media Attached
10:55 - 11:20
Talk
SPLASH OOPSLA
Stephen KellUniversity of Cambridge
DOI Media Attached
11:20 - 11:45
Talk
SPLASH OOPSLA
Yuheng LongIowa State University, Yu David Liu, Hridesh RajanIowa State University, USA
DOI
11:45 - 12:10
Talk
SPLASH OOPSLA
Nada AminEPFL, Ross TateCornell University
Link to publication DOI Pre-print
13:30 - 15:10: Bug Detection Analysis and Model CheckingSPLASH OOPSLA at Matterhorn 1
Chair(s): Ben LivshitsMicrosoft Research
13:30 - 13:55
Talk
SPLASH OOPSLA
Chengnian SunUniversity of California, Davis, Vu LeMicrosoft, Zhendong SuUniversity of California, Davis
DOI Media Attached
13:55 - 14:20
Talk
SPLASH OOPSLA
Zhiyong ShanUniversity of Central Missouri, USA, Tanzirul AzimUniversity of California at Riverside, USA, Iulian NeamtiuNew Jersey Institute of Technology, USA
DOI Pre-print
14:20 - 14:45
Talk
SPLASH OOPSLA
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
14:45 - 15:10
Talk
SPLASH OOPSLA
Rohan BavishiIIT Kanpur, India, Awanish PandeyIIT Kanpur, India, Subhajit RoyIIT Kanpur, India
DOI

Sun 30 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 Oct
Times are displayed in time zone: 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: 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: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change