ECOOP 2015
Sun 5 - Fri 10 July 2015
Prague, Czech Republic
Toggle navigation
Attending
Venue: Marriott
Restaurant: Velka Klasterni (Curry On)
Restaurant: Hergertova Cihelna (ECOOP)
Venue: FIT
Welcome
History
Students
Registration
Hotels
Food
Travel
Sponsoring
Conduct
Program
ECOOP Program
Your Program
Sun 5 Jul
Mon 6 Jul
Tue 7 Jul
Wed 8 Jul
Thu 9 Jul
Fri 10 Jul
Tracks
ECOOP 2015
Artifacts
Curry On
Doctoral Symposium
Summer School
Posters
Research Track
Student Volunteers
Workshops
Workshops
COP
COP
COP
DSLDI
DSLDI
DSLDI
FTfJP
FTfJP
FTfJP
ICOOOLPS
JSTools
JSTools
JSTools
MASPEGHI
MASPEGHI
MASPEGHI
ML4PL
ML4PL
ML4PL
NetPL
PLAS
PLAS
PLAS
PLE
PLE
PLE
Pharo
Pharo
Pharo
RIOT
RIOT
RIOT
STOP
Truffle
Organization
ECOOP 2015 Committees
Organizing Committee
Track Committees
Artifacts
Doctoral Symposium
Academic Panel
Program Committee
Summer School
Posters
Research Track
Student Volunteers
Workshops
Contributors
People Index
Workshops
COP
Program Committee
DSLDI
Program Committee
FTfJP
Program committee
Steering Committee
ICOOOLPS
Program Committee
JSTools
Program Committee
MASPEGHI
Committee
ML4PL
Organization
Program committee
NetPL
Invited Speakers
Program Committee
PLAS
Program Committee
PLE
Organizers
Programme Committee
Pharo
Organizers
RIOT
Program Committee
STOP
Program Committee
Speakers
Truffle
Program Committee
Search
Series
Series
ECOOP 2025
ECOOP 2024
ECOOP 2023
ECOOP 2022
ECOOP 2021
ECOOP 2020
ECOOP 2019
ECOOP 2018
ECOOP 2017
ECOOP 2016
ECOOP 2015
2014: Uppsala
2013: Montpellier
2012: Beijing
2011: Lancaster
2010: Maribor
2009: Genova
2008: Cyprus
2007: Berlin
2006: Nice
2005: Glasgow
Sign in
Sign up
ECOOP 2015
(
series
) /
Marriott
/
Room information: Karlstejn
Venue
Marriott
Room name
Karlstejn
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:30) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+01:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+06:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+10:00) Magadan
(GMT+11:30) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 6 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:05 - 10:10
Welcome
PLAS
at
Karlstejn
Chair(s):
Michael Clarkson
Cornell University
,
Limin Jia
Carnegie Mellon University
10:05
5m
Day opening
Welcome
PLAS
10:10 - 11:10
Invited talk I
PLAS
at
Karlstejn
10:10
60m
Talk
Micro-Policies: Formally Verified, Tag-Based Security Monitors
PLAS
Cătălin Hriţcu
INRIA Paris
Link to publication
11:10 - 12:40
Technical talks I
PLAS
at
Karlstejn
11:10
30m
Talk
Swapsies on the Internet - Towards Reasoning about Risk and Trust in the Open World
PLAS
Sophia Drossopoulou
Imperial College London
,
James Noble
Victoria University of Wellington
,
Mark Miller
Google Inc.
11:40
30m
Talk
Memory-safe Execution of C on a Java VM
PLAS
Matthias Grimmer
Johannes Kepler University Linz
,
Roland Schatz
Johannes Kepler University Linz
,
Chris Seaton
Oracle Labs / University of Manchester
,
Thomas Wuerthinger
Oracle Labs
,
Hanspeter Mössenböck
Johannes Kepler University Linz
12:10
30m
Talk
Dynamic Enforcement of Dynamic Policies
PLAS
Pablo Buiras
Chalmers University of Technology
,
Bart Van Delft
Chalmers University of Technology
13:50 - 14:50
Invited talk II
PLAS
at
Karlstejn
13:50
60m
Talk
Programming and Verifying Today's and Tomorrow's Networks
PLAS
Shriram Krishnamurthi
Brown University
14:50 - 15:30
Technical talks II
PLAS
at
Karlstejn
14:50
20m
Talk
Short Paper: On High-Assurance Information-Flow-Secure Programming Languages
PLAS
Toby Murray
NICTA and UNSW
15:10
20m
Talk
Short Paper: The Meaning of Attack-Resistant Systems
PLAS
Vijay Ganesh
University of Waterloo
,
Sebastian Banescu
Technical University of Munich
,
Martín Ochoa
Technical University of Munich
16:10 - 16:30
Discussion
PLAS
at
Karlstejn
16:10
20m
Other
The future of PLAS
PLAS
16:30 - 17:00
Workshop closing
PLAS
at
Karlstejn
16:30
30m
Day closing
Informal social gathering
PLAS
Tue 7 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:05 - 10:20
Welcome
DSLDI
at
Karlstejn
Chair(s):
Sebastian Erdweg
TU Darmstadt
,
Tijs van der Storm
CWI
10:05
15m
Day opening
Introduction
DSLDI
Sebastian Erdweg
TU Darmstadt
,
Tijs van der Storm
CWI
10:20 - 11:20
Session 1
DSLDI
at
Karlstejn
10:20
30m
Talk
SCROLL - A Scala-based library for Roles at Runtime
DSLDI
Max Leuthäuser
Technische Universität Dresden
10:50
30m
Talk
A case for Rebel, a DSL for product specifications
DSLDI
Jouke Stoel
CWI
11:30 - 12:30
Session 2
DSLDI
at
Karlstejn
11:30
30m
Talk
Flick: A DSL for middleboxes
DSLDI
Nik Sultana
University of Cambridge
12:00
30m
Talk
Towards a Next-Generation Parallel Particle-Mesh Language
DSLDI
Sven Karol
Technische Universität Dresden
,
Pietro Incardona
Max Planck Institute of Molecular Cell Biology and Genetics Dresden
,
Yaser Afshar
,
Ivo Sbalzarini
Max Planck Institute of Molecular Cell Biology and Genetics Dresden
,
Jeronimo Castrillon
Technische Universität Dresden
13:30 - 14:30
Session 3
DSLDI
at
Karlstejn
13:30
30m
Talk
DSLs for Graph Algorithms and Graph Pattern Matching
DSLDI
Oskar van Rest
Oracle Labs
,
Sungpack Hong
Oracle Labs
,
Hassan Chafi
Oracle Labs
14:00
30m
Talk
DSLs of Mathematics, Theorems and Translations
DSLDI
Cezar Ionescu
Chalmers University of Technology
,
Patrik Jansson
Chalmers University of Technology
14:40 - 15:40
Session 4
DSLDI
at
Karlstejn
14:40
30m
Talk
Check Syntax: An Out-of-the-Box Tool for Macro-Based DSLs
DSLDI
Spencer P. Florence
Northwestern University
,
Ryan Culpepper
Northeastern University
,
Matthew Flatt
University of Utah
,
Robert Bruce Findler
Northwestern University
15:10
30m
Talk
Dynamic Compilation of DSLs
DSLDI
Vojin Jovanovic
EPFL
,
Martin Odersky
Ecole Polytechnique Federale de Lausanne
16:10 - 16:40
Session 5
DSLDI
at
Karlstejn
16:10
30m
Talk
A practical theory of language-integrated query —and— Everything old is new again
DSLDI
Philip Wadler
University of Edinburgh
16:40 - 17:40
Discussion
DSLDI
at
Karlstejn
16:40
60m
Other
Panel Discussion: Language Composition
DSLDI
Jonathan Aldrich
Carnegie Mellon University
,
Matthew Flatt
University of Utah
,
Laurence Tratt
King's College London
,
Andrzej Wąsowski
IT University of Copenhagen, Denmark
,
Sebastian Erdweg
TU Darmstadt
Mon 6 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Karlstejn
PLAS
Welcome
PLAS
Invited talk I
PLAS
Technical talks I
PLAS
Invited talk II
PLAS
Technical talks II
PLAS
Discussion
PLAS
Workshop closing
Tue 7 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Karlstejn
DSLDI
Welcome
DSLDI
Session 1
DSLDI
Session 2
DSLDI
Session 3
DSLDI
Session 4
DSLDI
Session 5
DSLDI
Discussion
Mon 6 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Karlstejn
PLAS
Welcome
10:05 - 10:10
PLAS
Micro-Policies: Formally Verified, Tag-Based Security Monitors
10:10 - 11:10
PLAS
Swapsies on the Internet - Towards Reasoning about Risk and Trust in th ...
11:10 - 11:40
PLAS
Memory-safe Execution of C on a Java VM
11:40 - 12:10
PLAS
Dynamic Enforcement of Dynamic Policies
12:10 - 12:40
PLAS
Programming and Verifying Today's and Tomorrow's Networks
13:50 - 14:50
PLAS
Short Paper: On High-Assurance Information-Flow-Secure Programming Lang ...
14:50 - 15:10
PLAS
Short Paper: The Meaning of Attack-Resistant Systems
15:10 - 15:30
PLAS
The future of PLAS
16:10 - 16:30
PLAS
Informal social gathering
16:30 - 17:00
Tue 7 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Karlstejn
DSLDI
Introduction
10:05 - 10:20
DSLDI
SCROLL - A Scala-based library for Roles at Runtime
10:20 - 10:50
DSLDI
A case for Rebel, a DSL for product specifications
10:50 - 11:20
DSLDI
Flick: A DSL for middleboxes
11:30 - 12:00
DSLDI
Towards a Next-Generation Parallel Particle-Mesh Language
12:00 - 12:30
DSLDI
DSLs for Graph Algorithms and Graph Pattern Matching
13:30 - 14:00
DSLDI
DSLs of Mathematics, Theorems and Translations
14:00 - 14:30
DSLDI
Check Syntax: An Out-of-the-Box Tool for Macro-Based DSLs
14:40 - 15:10
DSLDI
Dynamic Compilation of DSLs
15:10 - 15:40
DSLDI
A practical theory of language-integrated query —and— Everything old is ...
16:10 - 16:40
DSLDI
Panel Discussion: Language Composition
16:40 - 17:40
x
Thu 21 Nov 12:26