FTfJP 2015
Tue 7 Jul 2015
Prague, Czech Republic
co-located with
ECOOP 2015
Toggle navigation
Attending
Venue: Marriott
Restaurant: Velka Klasterni (Curry On)
Restaurant: Hergertova Cihelna (ECOOP)
Venue: FIT
Program
Complete Program
Your Program
Tue 7 Jul
Track/Call
Organization
FTfJP 2015 Committees
Track Committees
Program committee
Steering Committee
Contributors
People Index
Search
Series
Series
FTfJP 2024
FTfJP 2023
FTfJP 2022
FTfJP 2021
FTfJP 2020
FTfJP 2019
FTfJP 2018
FTfJP 2017
FTfJP 2016
FTfJP 2015
Sign in
Sign up
ECOOP 2015
(
series
) /
FTfJP 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
Fri 26 Apr 11:02