Scala 2016
Sun 30 - Mon 31 October 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
VenueMövenpick Hotel Amsterdam City Centre
Room nameMatterhorn 2
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sun 30 Oct

scala-2016
08:30 - 10:00: Scala - Keynote 1 at Matterhorn 2
scala-2016147781260000008:30 - 09:00
Day opening
Sandro StuckiEPFL, Manohar JonnalageddaEPFL, Switzerland
scala-2016147781440000009:00 - 10:00
Talk
Laurence TrattKing's College London
Media Attached
scala-2016
10:30 - 12:10: Scala - Types at Matterhorn 2
scala-2016147781980000010:30 - 10:55
Talk
Martin OderskyEPFL, Switzerland, Guillaume MartresEPFL, Switzerland, Dmitry PetrashkoEPFL, Switzerland
DOI Pre-print Media Attached
scala-2016147782130000010:55 - 11:20
Talk
Sébastien DoeraeneEPFL, Switzerland, Tobias SchlatterEPFL, Switzerland, Nicolas StuckiEPFL, Switzerland
DOI Pre-print
scala-2016147782280000011:20 - 11:45
Talk
Fengyun LiuEPFL, Switzerland
DOI Media Attached
scala-2016147782430000011:45 - 12:10
Talk
Lukas Wegmann1plusX, Switzerland, Farhad MehtaUniversity of Applied Sciences Rapperswil, Switzerland, Peter SommerladUniversity of Applied Sciences Rapperswil, Switzerland, Mirko StockerUniversity of Applied Sciences Rapperswil, Switzerland
DOI File Attached
scala-2016
13:30 - 15:10: Scala - Embedding at Matterhorn 2
scala-2016147783060000013:30 - 13:55
Talk
Georg OfenbeckETH Zurich, Switzerland, Tiark RompfPurdue University, USA, Markus PüschelETH Zurich
DOI File Attached
scala-2016147783210000013:55 - 14:20
Talk
Tiark RompfPurdue University, USA
DOI
scala-2016147783360000014:20 - 14:45
Talk
Markus Hauckcodecentric AG, Savvas SavvidesPurdue University, Patrick EugsterPurdue University, Mira MeziniTU Darmstadt, Guido SalvaneschiTU Darmstadt, Germany
DOI Pre-print Media Attached
scala-2016147783510000014:45 - 15:10
Talk
Zeljko Bajic, Milan JovicDepartment of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad
scala-2016
15:40 - 17:20: Scala - Types and Embedding at Matterhorn 2
scala-2016147783840000015:40 - 16:05
Talk
Paolo G. GiarrussoUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
scala-2016147783990000016:05 - 16:30
Talk
Tim van der LippeDelft University of Technology, Netherlands, Thomas SmithDelft University of Technology, Netherlands, Daniël PelsmaekerDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology, Netherlands
DOI File Attached
scala-2016147784140000016:30 - 17:20
Other

Mon 31 Oct

scala-2016
08:30 - 10:00: Scala - Keynote 2 at Matterhorn 2
scala-2016147789900000008:30 - 09:00
Day opening
Sandro StuckiEPFL, Manohar JonnalageddaEPFL, Switzerland
scala-2016147790080000009:00 - 10:00
Talk
Jan VitekNortheastern University
scala-2016
10:30 - 12:10: Scala - Reactive, Concurrent, Distributed Computation | Parsing at Matterhorn 2
Chair(s): Sébastien DoeraeneEPFL, Switzerland
scala-2016147790620000010:30 - 10:55
Talk
Roberto CasadeiUniversity of Bologna, Italy
Media Attached
scala-2016147790770000010:55 - 11:20
Talk
Mandar ChandorkarCentrum Wiskunde & Informatica
scala-2016147790920000011:20 - 11:45
Talk
Media Attached
scala-2016147791070000011:45 - 12:10
Talk
Philipp HallerKTH Royal Institute of Technology, Simon GeriesKTH Royal Institute of Technology, Sweden, Michael EichbergTU Darmstadt, Germany, Guido SalvaneschiTU Darmstadt, Germany
DOI Pre-print Media Attached
scala-2016
13:30 - 15:10: Scala - Analysis, Testing & Verification at Matterhorn 2
Chair(s): Philipp HallerKTH Royal Institute of Technology
scala-2016147791700000013:30 - 13:55
Talk
Georg Stefan SchmidEPFL, Switzerland, Viktor KuncakEPFL, Switzerland
DOI File Attached
scala-2016147791850000013:55 - 14:20
Talk
DOI File Attached
scala-2016147792000000014:20 - 14:45
Talk
Quentin StiévenartVrije Universiteit Brussel, Belgium, Jens NicolayVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Belgium, Coen De RooverVrije Universiteit Brussel, Belgium
DOI
scala-2016147792150000014:45 - 15:10
Talk
Kartik ChandraHenry M. Gunn High School, Rastislav BodikUniversity of Washington, USA
Media Attached
scala-2016
15:40 - 17:20: Scala - Parsing at Matterhorn 2
scala-2016147792480000015:40 - 16:05
Talk
Scott BuckleyMacquarie University, Australia
scala-2016147792630000016:05 - 16:30
Talk
Anthony SloaneMacquarie University, Australia, Franck CassezMacquarie University, Australia, Scott BuckleyMacquarie University, Australia
DOI Media Attached
scala-2016147792780000016:30 - 17:20
Other

Tue 1 Nov

plateau2016
08:30 - 10:00: PLATEAU - Session 1 at Matterhorn 2
Chair(s): Thomas LaTozaGeorge Mason University
plateau2016147798540000008:30 - 09:00
Day opening
plateau2016147798720000009:00 - 10:00
Talk
Alan BlackwellUniversity of Cambridge
plateau2016
10:30 - 12:10: PLATEAU - Session 2 at Matterhorn 2
Chair(s): Joshua SunshineCarnegie Mellon University
plateau2016147799260000010:30 - 11:03
Talk
Svetomir KurtevAalborg University, Denmark, Tommy Aagaard ChristensenAalborg University, Denmark, Bent ThomsenAalborg University, Denmark
DOI Pre-print
plateau2016147799460000011:03 - 11:36
Talk
Miguel CampusanoDCC, Universidad de Chile, Alexandre BergelUniversity of Chile, Johan FabryUniversity of Chile
File Attached
plateau2016147799660000011:36 - 12:10
Talk
Miguel RamosFederal University of Minas Gerais, Brazil, Marco Tulio ValenteFederal University of Minas Gerais, Brazil, Ricardo TerraFederal University of Lavras, Brazil, Gustavo SantosInria, France
DOI Pre-print
plateau2016
13:30 - 15:10: PLATEAU - Session 3 at Matterhorn 2
Chair(s): Craig AnslowMiddlesex University, UK
plateau2016147800340000013:30 - 14:00
Talk
Matúš SulírTechnical University of Košice, Jaroslav PorubänTechnical University of Košice, Slovakia
DOI Pre-print
plateau2016147800520000014:00 - 14:30
Talk
A. Laura VoineaUniversity of Glasgow, UK, Simon J. GayUniversity of Glasgow, UK
DOI Pre-print
plateau2016147800700000014:30 - 14:50
Talk
Guido SalvaneschiTU Darmstadt, Germany
DOI Pre-print
plateau2016147800820000014:50 - 15:10
Talk
Andrew J. KoUniversity of Washington, USA
DOI Pre-print
plateau2016
15:40 - 17:20: PLATEAU - Session 4 at Matterhorn 2
plateau2016147801120000015:40 - 17:00
Talk
plateau2016147801600000017:00 - 17:20
Talk

Wed 2 Nov

splash-2016-keynotes
08:30 - 10:00: Keynotes and Awards - Keynote Wednesday at Matterhorn 2
Chair(s): Eelco VisserDelft University of Technology, Netherlands
splash-2016-keynotes147807180000008:30 - 08:40
Day opening
Eelco VisserDelft University of Technology, Netherlands
splash-2016-keynotes147807240000008:40 - 08:45
Awards
Eelco VisserDelft University of Technology, Netherlands
splash-2016-keynotes147807270000008:45 - 10:00
Talk
Benjamin C. PierceUniversity of Pennsylvania
Media Attached
splash-2016-oopsla
10:30 - 12:10: OOPSLA - Semantics and Verification at Matterhorn 2
Chair(s): Jonathan AldrichCarnegie Mellon University
splash-2016-oopsla147807900000010:30 - 10:55
Talk
Andrei StefanescuUniversity of Illinois at Urbana-Champaign, Daejun ParkUniversity of Illinois at Urbana-Champaign, Shijiao YuwenUniversity of Illinois at Urbana-Champaign, Yilong LiRuntime Verification, Inc., Grigore RosuUniversity of Illinois at Urbana-Champaign
DOI Media Attached
splash-2016-oopsla147808050000010:55 - 11:20
Talk
Ilya SergeyUniversity College London, Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute, Germán Andrés DelbiancoIMDEA Software Institute
DOI Pre-print Media Attached File Attached
splash-2016-oopsla147808200000011:20 - 11:45
Talk
Kyndylan NienhuisUniversity of Cambridge, Kayvan MemarianUniversity of Cambridge, Peter SewellUniversity of Cambridge
DOI
splash-2016-oopsla147808350000011:45 - 12:10
Talk
Andrei Marian DanETH Zurich, Patrick LamUniversity of Waterloo, Canada, Torsten HoeflerETH Zurich, Martin VechevETH Zurich
DOI Pre-print Media Attached
splash-2016-oopsla
13:30 - 15:10: OOPSLA - Program Synthesis at Matterhorn 2
Chair(s): Martin OderskyEPFL, Switzerland
splash-2016-oopsla147808980000013:30 - 13:55
Talk
DOI Pre-print Media Attached
splash-2016-oopsla147809130000013:55 - 14:20
Talk
Venkatesh SrinivasanUniversity of Wisconsin - Madison, Tushar SharmaUniversity of Wisconsin - Madison, USA, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
DOI Pre-print Media Attached
splash-2016-oopsla147809280000014:20 - 14:45
Talk
Pavel PanchekhaUniversity of Washington, Emina TorlakUniversity of Washington
DOI Media Attached
splash-2016-oopsla147809430000014:45 - 15:10
Talk
Xinyu WangUT Austin, Sumit GulwaniMicrosoft Research, Rishabh SinghMicrosoft Research
DOI Media Attached
splash-2016-oopsla
15:40 - 17:20: OOPSLA - Programming Frameworks, Tools, and Methodologies at Matterhorn 2
Chair(s): Emerson Murphy-HillGoogle
splash-2016-oopsla147809760000015:40 - 16:05
Talk
DOI Pre-print Media Attached
splash-2016-oopsla147809910000016:05 - 16:30
Talk
Dohyeong KimPurdue University, Yonghwi KwonPurdue University, Peng LiuPurdue University, I Luk KimPurdue University, David Mitchel PerryPurdue University, Xiangyu ZhangPurdue University, Gustavo Rodriguez-RiveraPurdue University
DOI Media Attached
splash-2016-oopsla147810060000016:30 - 16:55
Talk
Oliver HanappiVienna University of Technology, Waldemar HummerVienna University of Technology, Schahram DustdarTU Wien
DOI
splash-2016-oopsla147810210000016:55 - 17:20
Talk
Sean TreichlerStanford University, Michael BauerNVIDIA Research, Rahul SharmaMicrosoft Research, Elliott Slaughter, Alex AikenStanford University
DOI Media Attached

Thu 3 Nov

splash-2016-keynotes
08:30 - 10:00: Keynotes and Awards - Keynote Thursday at Matterhorn 2
Chair(s): Yannis SmaragdakisUniversity of Athens
splash-2016-keynotes147815820000008:30 - 08:50
Awards
Yannis SmaragdakisUniversity of Athens, Michael BondOhio State University
splash-2016-keynotes147815940000008:50 - 10:00
Talk
Martin OderskyEPFL, Switzerland
Media Attached
splash-2016-oopsla
10:30 - 12:10: OOPSLA - Language Design and Programming Models II at Matterhorn 2
Chair(s): Olivier TardieuIBM Research
splash-2016-oopsla147816540000010:30 - 10:55
Talk
Anitha Gollamudi, Stephen ChongHarvard University
DOI
splash-2016-oopsla147816690000010:55 - 11:20
Talk
Alexei ColinCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
DOI Pre-print
splash-2016-oopsla147816840000011:20 - 11:45
Talk
Daniele BonettaOracle Labs, Luca SalucciUniversità della Svizzera italiana (USI), Stefan MarrJohannes Kepler University Linz, Walter BinderUniversity of Lugano
DOI
splash-2016-oopsla147816990000011:45 - 12:10
Talk
Arthur Michener PetersThe University of Texas at Austin, Texas, USA, David KitchinGoogle, Inc., John A. ThywissenThe University of Texas at Austin, William CookUT Austin
DOI Pre-print
splash-2016-oopsla
13:30 - 15:10: OOPSLA - Principles, Across the Compilation Stack at Matterhorn 2
Chair(s): Adam ChlipalaMIT CSAIL
splash-2016-oopsla147817620000013:30 - 13:55
Talk
Davide AnconaUniversity of Genova, Andrea Corradi
DOI
splash-2016-oopsla147817770000013:55 - 14:20
Talk
Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Tillmann RendelUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany
DOI
splash-2016-oopsla147817920000014:20 - 14:45
Talk
Stephen KellUniversity of Cambridge, Dominic P. MulliganUniversity of Cambridge, Peter SewellUniversity of Cambridge
DOI
splash-2016-oopsla147818070000014:45 - 15:10
Talk
Tiark RompfPurdue University, USA, Nada AminEPFL
DOI Pre-print
onward-2016-papers
15:40 - 16:30: Onward! Papers - Session 3 at Matterhorn 2
Chair(s): Hidehiko MasuharaTokyo Institute of Technology, Japan
onward-2016-papers147818400000015:40 - 16:05
Talk
DOI Pre-print Media Attached
onward-2016-papers147818550000016:05 - 16:30
Talk
Andrei ChişUniversity of Bern, Switzerland, Tudor Gîrbafeenk.com, Juraj KubelkaUniversity of Chile, Oscar NierstraszUniversity of Bern, Switzerland, Stefan Reichhart, Aliaksei SyrelUniversity of Bern
DOI
splash-2016-keynotes
17:30 - 18:30: Keynotes and Awards - Business Meeting at Matterhorn 2
splash-2016-keynotes147819060000017:30 - 17:35
Meeting
Tony HoskingAustralian National University, Data61, and Purdue University
splash-2016-keynotes147819090000017:35 - 17:42
Other
Eelco VisserDelft University of Technology, Netherlands
splash-2016-keynotes147819132000017:42 - 17:49
Other
Emerson Murphy-HillGoogle, Crista LopesUniversity of California, Irvine
splash-2016-keynotes147819174000017:49 - 18:05
Other
Yannis SmaragdakisUniversity of Athens
splash-2016-keynotes147819270000018:05 - 18:10
Awards
Yannis SmaragdakisUniversity of Athens
splash-2016-keynotes147819300000018:10 - 18:30
Meeting
Crista LopesUniversity of California, Irvine

Fri 4 Nov

splash-2016-keynotes
08:30 - 10:00: Keynotes and Awards - Keynote Friday at Matterhorn 2
Chair(s): Emerson Murphy-HillGoogle, Crista LopesUniversity of California, Irvine
splash-2016-keynotes147824460000008:30 - 08:40
Day opening
Gail MurphyUniversity of British Columbia
splash-2016-keynotes147824520000008:40 - 08:45
Awards
splash-2016-keynotes147824550000008:45 - 08:55
Awards
Sam GuyerTufts University, Matthew FlattUniversity of Utah
splash-2016-keynotes147824610000008:55 - 10:00
Talk
Andrew J. KoUniversity of Washington, USA
Media Attached
onward-2016-papers
10:30 - 12:10: Onward! Papers - Session 4 at Matterhorn 2
Chair(s): Veselin RaychevETH Zurich, Switzerland
onward-2016-papers147825180000010:30 - 10:55
Talk
Ivan KurajMIT CSAIL, USA, Daniel JacksonMIT
DOI
onward-2016-papers147825330000010:55 - 11:20
Talk
Patrick ReinHasso Plattner Institute, Marcel TaeumelHasso Plattner Institute, Robert HirschfeldHPI
DOI
onward-2016-papers147825480000011:20 - 11:45
Talk
Soumya IndelaUniversity of Maryland at College Park, Mukul KulkarniUniversity of Maryland at College Park, Kartik NayakUniversity of Maryland at College Park, Tudor DumitrasUniversity of Maryland at College Park
DOI
onward-2016-papers147825630000011:45 - 12:10
Talk
DOI
onward2016-essays
13:30 - 15:10: Onward! Essays - Onward! Essays II at Matterhorn 2
onward2016-essays147826260000013:30 - 14:20
Talk
Daniel IngallsSAP Palo Alto Research Center, Tim FelgentreffHasso-Plattner-Institute, Potsdam, Robert HirschfeldHPI, Robert KrahnCDG Labs, Jens LinckeHasso Plattner Institute, Marko RöderHARC / Y Combinator Research, Antero TaivalsaariNokia Technologies, Tommi MikkonenTampere University of Technology
DOI
onward2016-essays147826560000014:20 - 15:10
Talk
Richard P. GabrielDream Songs, Inc. & IBM Research
DOI
splash-2016-splash-i
15:40 - 17:00: SPLASH-I - Session 15 (Keynote) at Matterhorn 2
Chair(s): Eelco VisserDelft University of Technology, Netherlands
splash-2016-splash-i147827040000015:40 - 17:00
Talk

Sun 30 Oct 2016

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

Mon 31 Oct 2016

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

Tue 1 Nov 2016

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

Wed 2 Nov 2016

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

Thu 3 Nov 2016

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

Fri 4 Nov 2016

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

Thu 3 Nov 2016

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Matterhorn 2