Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
VenueMövenpick Hotel Amsterdam City Centre
Room nameMatterhorn 3
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: Model Checking and TransformationMETA at Matterhorn 3
Chair(s): Ralf LämmelUniversity of Koblenz-Landau, Germany
08:30 - 09:00
Talk
META
Vadim ZaytsevRaincode, Belgium
Media Attached File Attached
09:00 - 09:30
Talk
META
Harumi WatanabeTokai University, Ikuta TanigawaKyusyu University, Nobuhiko OguraTokyo City University, Midori SugayaShibaura Institute of Technology, Kenji HisazumiKyushu University, Akira FukudaKyushu University
File Attached
09:30 - 10:00
Talk
META
Yutaro TsunekawaWaseda University, Taichi TomiokaWaseda University, Kazunori UedaWaseda University
Media Attached File Attached
10:30 - 12:10: Run-time ReflectionMETA at Matterhorn 3
Chair(s): Stefan MarrJohannes Kepler University Linz
10:30 - 11:00
Talk
META
Simon Van de WaterVUB, Thierry RenauxVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel, Belgium
Media Attached File Attached
11:00 - 11:30
Talk
META
Pablo TesoneInria Lille–Nord Europe, France Mines Douai, IA, Univ. Lille, France, Guillermo PolitoInria, Luc FabresseMines Douai, Noury BouraqadiMines Douai, Stéphane Ducasse INRIA Lille
Media Attached File Attached
11:30 - 12:00
Talk
META
Chris SeatonOracle Labs
Pre-print Media Attached File Attached
13:30 - 15:10: Security & Capability-based DesignsMETA at Matterhorn 3
Chair(s): Shigeru ChibaUniversity of Tokyo
13:30 - 14:00
Talk
META
Angel Luis Scull PupoSofware Languages Lab, Vrije Universiteit Brussel, Jens NicolayVrije Universiteit Brussel, Belgium, Elisa Gonzalez BoixVrije Universiteit Brussel
Media Attached File Attached
14:00 - 14:30
Talk
META
Prakasam KannanSan Jose State University, Thomas H. Austin, Mark StampSan Jose State University, Tim Disney, Cormac FlanaganUniversity of California, Santa Cruz
Media Attached File Attached
14:30 - 15:00
Talk
META
Esther WangCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University
Media Attached File Attached
15:40 - 17:20: Mirror-based ReflectionMETA at Matterhorn 3
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel
15:40 - 16:40
Talk
META
K: Gilad BrachaGoogle
16:40 - 17:20
Talk
META
Pablo InostrozaCWI, Tijs van der StormCWI & University of Groningen
Pre-print Media Attached File Attached

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

10:30 - 12:10: Session 1 (SPLASH-E)SPLASH-I at Matterhorn 3
Chair(s): Matthias HauswirthUniversity of Lugano
10:30 - 11:20
Talk
SPLASH-I
Simon Peyton JonesMicrosoft Research, Cambridge
Media Attached File Attached
11:20 - 12:10
Talk
SPLASH-I
Brian HarveyUniversity of California, Berkeley
Media Attached
13:30 - 15:10: Session 2 (AGERE)SPLASH-I at Matterhorn 3
Chair(s): Alessandro RicciUniversity of Bologna, Italy
13:30 - 15:10
Talk
SPLASH-I
Amal El Fallah-SegrouchniLIP6, John-Jules MeyerUniversiteit Utrecht, Mehdi Dastani, Rafael BordiniPUCRS, Koen HindriksDelft University of Technology, Netherlands, Rem CollierUniversity College Dublin, Alessandro RicciUniversity of Bologna, Italy
Media Attached
15:40 - 17:20: Session 3 (Philosophy of Computing)SPLASH-I at Matterhorn 3
Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research
15:40 - 17:20
Talk
SPLASH-I
I: Mark MillerGoogle Inc., I: Bill TulloheRights.org
Media Attached

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

10:30 - 12:10: Session 4 (SPLASH-E)SPLASH-I at Matterhorn 3
Chair(s): Matthias HauswirthUniversity of Lugano
10:30 - 12:10
Talk
SPLASH-I
Emmanuel SchanzerBrown University
Media Attached
13:30 - 15:10: Session 5SPLASH-I at Matterhorn 3
Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands
13:30 - 14:20
Talk
SPLASH-I
Media Attached
14:20 - 15:10
Talk
SPLASH-I
Emma ToschUniversity of Massachusetts, Amherst
Media Attached
15:40 - 17:20: Session 6SPLASH-I at Matterhorn 3
Chair(s): Tiark RompfPurdue University, USA
15:40 - 16:30
Talk
SPLASH-I
Edwin BradyUniversity of St Andrews
16:30 - 17:20
Talk
SPLASH-I
Andy ZaidmanTU Delft
Media Attached

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

10:30 - 12:10: Session 7 (Modeling)SPLASH-I at Matterhorn 3
Chair(s): Laurence TrattKing's College London
10:30 - 11:20
Talk
SPLASH-I
Markus Völteritemis, Germany
Media Attached
11:20 - 12:10
Talk
SPLASH-I
Jos WarmerIndependent
13:30 - 15:10: Session 8SPLASH-I at Matterhorn 3
Chair(s): Ulrik Pagh SchultzUniversity of Southern Denmark
13:30 - 14:20
Talk
SPLASH-I
Boaz RosenanUniversity of Haifa, David H. LorenzOpen University and Technion IIT
14:20 - 15:10
Talk
SPLASH-I
Ralf LämmelUniversity of Koblenz-Landau, Germany
Media Attached
15:40 - 17:20: Session 9SPLASH-I at Matterhorn 3
Chair(s): Ross TateCornell University
15:40 - 16:30
Talk
SPLASH-I
Jürgen CitoUniversity of Zurich
Media Attached
16:30 - 17:20
Talk
SPLASH-I
Robert GrimmGoldman Sachs

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

10:30 - 12:10: Session 10SPLASH-I at Matterhorn 3
Chair(s): Tijs van der StormCWI & University of Groningen
10:30 - 11:20
Talk
SPLASH-I
Media Attached
11:20 - 12:10
Talk
SPLASH-I
Crista LopesUniversity of California, Irvine
Media Attached
13:30 - 15:10: Session 11SPLASH-I at Matterhorn 3
Chair(s): Philipp HallerKTH Royal Institute of Technology
13:30 - 14:20
Talk
SPLASH-I
Derek JacobyQvirt, Yvonne CoadyUniversity of Victoria
Media Attached
14:20 - 15:10
Talk
SPLASH-I
Chris SeatonOracle Labs, Adam WelcOracle Labs, USA
Media Attached
15:40 - 17:20: Session 12SPLASH-I at Matterhorn 3
Chair(s): Coen De RooverVrije Universiteit Brussel, Belgium
15:40 - 16:30
Talk
SPLASH-I
Heather MillerEcole Polytechnique Federale de Lausanne
16:30 - 17:20
Talk
SPLASH-I
Sylvan ClebschImperial College London
Media Attached

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

10:30 - 12:10: Session 13 (Languages)SPLASH-I at Matterhorn 3
Chair(s): Craig AnslowMiddlesex University, UK
10:30 - 11:20
Talk
SPLASH-I
William CookUT Austin
Media Attached
11:20 - 12:10
Talk
SPLASH-I
Adam ChlipalaMIT CSAIL
Media Attached
13:30 - 15:10: Session 14SPLASH-I at Matterhorn 3
Chair(s): Stefan MarrJohannes Kepler University Linz
13:30 - 14:20
Talk
SPLASH-I
Media Attached File Attached
14:20 - 15:10
Talk
SPLASH-I
Tudor Gîrbafeenk.com
Media Attached

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

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

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

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

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

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

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

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

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

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

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

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