PLE 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

Conference Day
Mon 6 Jul

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

10:05 - 10:10
WelcomePLAS at Karlstejn
Chair(s): Michael ClarksonCornell University, Limin JiaCarnegie 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 DrossopoulouImperial College London, James NobleVictoria University of Wellington, Mark MillerGoogle Inc.
11:40
30m
Talk
Memory-safe Execution of C on a Java VM
PLAS
Matthias GrimmerJohannes Kepler University Linz, Roland SchatzJohannes Kepler University Linz, Chris SeatonOracle Labs / University of Manchester, Thomas WuerthingerOracle Labs, Hanspeter MössenböckJohannes Kepler University Linz
12:10
30m
Talk
Dynamic Enforcement of Dynamic Policies
PLAS
Pablo BuirasChalmers University of Technology, Bart Van DelftChalmers 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 KrishnamurthiBrown 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 MurrayNICTA and UNSW
15:10
20m
Talk
Short Paper: The Meaning of Attack-Resistant Systems
PLAS
Vijay GaneshUniversity of Waterloo, Sebastian BanescuTechnical University of Munich, Martín OchoaTechnical 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

Conference Day
Tue 7 Jul

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

10:05 - 10:20
WelcomeDSLDI at Karlstejn
Chair(s): Tijs van der StormCWI, Sebastian ErdwegTU Darmstadt
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äuserTechnische 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 SultanaUniversity of Cambridge
12:00
30m
Talk
Towards a Next-Generation Parallel Particle-Mesh Language
DSLDI
Sven KarolTechnische Universität Dresden, Pietro IncardonaMax Planck Institute of Molecular Cell Biology and Genetics Dresden, Yaser Afshar, Ivo SbalzariniMax Planck Institute of Molecular Cell Biology and Genetics Dresden, Jeronimo CastrillonTechnische 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 RestOracle Labs, Sungpack HongOracle Labs, Hassan ChafiOracle Labs
14:00
30m
Talk
DSLs of Mathematics, Theorems and Translations
DSLDI
Cezar IonescuChalmers University of Technology, Patrik JanssonChalmers 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. FlorenceNorthwestern University, Ryan CulpepperNortheastern University, Matthew FlattUniversity of Utah, Robby FindlerNorthwestern University
15:10
30m
Talk
Dynamic Compilation of DSLs
DSLDI
Vojin JovanovicEPFL, Martin OderskyEcole Polytechnique Federale de Lausanne
16:40 - 17:40
DiscussionDSLDI at Karlstejn
16:40
60m
Other
Panel Discussion: Language Composition
DSLDI
Jonathan AldrichCarnegie Mellon University, Matthew FlattUniversity of Utah, Laurence TrattKing's College London, Andrzej WąsowskiIT University of Copenhagen, Denmark, Sebastian ErdwegTU Darmstadt

Conference Day
Mon 6 Jul

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

Conference Day
Tue 7 Jul

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