PLAS 2015
Mon 6 - Fri 10 July 2015 Prague, Czech Republic
co-located with ECOOP 2015
VenueMarriott
Room nameKarlstejn
Floor0
Room InformationNo extra information available
Program

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
WelcomePLAS at Karlstejn
Chair(s): Michael Clarkson Cornell University, Limin Jia Carnegie Mellon University
10:05
5m
Day opening
Welcome
PLAS

11:10 - 12:40
Technical talks IPLAS 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 IIPLAS 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 IIPLAS 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
DiscussionPLAS at Karlstejn
16:10
20m
Other
The future of PLAS
PLAS

16:30 - 17:00
Workshop closingPLAS 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
WelcomeDSLDI at Karlstejn
Chair(s): Sebastian Erdweg TU Darmstadt, Tijs van der Storm CWI
10:05
15m
Day opening
Introduction
DSLDI
10:20 - 11:20
Session 1DSLDI 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
11:30 - 12:30
Session 2DSLDI 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 3DSLDI 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 4DSLDI 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:40 - 17:40
DiscussionDSLDI 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

Tue 7 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change