ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
VenueMarriott
Room nameKarlstejn
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

Mon 6 Jul
Times are displayed in 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 - 10:10
Day opening
Welcome
PLAS
11:10 - 12:40: Technical talks IPLAS at Karlstejn
11:10 - 11:40
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 - 12:10
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 - 12:40
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 - 14:50
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 - 15:10
Talk
Short Paper: On High-Assurance Information-Flow-Secure Programming Languages
PLAS
Toby MurrayNICTA and UNSW
15:10 - 15:30
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 - 16:30
Other
The future of PLAS
PLAS
16:30 - 17:00: Workshop closingPLAS at Karlstejn
16:30 - 17:00
Day closing
Informal social gathering
PLAS

Tue 7 Jul
Times are displayed in 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 - 10:20
Day opening
Introduction
DSLDI
10:20 - 11:20: Session 1DSLDI at Karlstejn
10:20 - 10:50
Talk
SCROLL - A Scala-based library for Roles at Runtime
DSLDI
Max LeuthäuserTechnische Universität Dresden
10:50 - 11:20
Talk
A case for Rebel, a DSL for product specifications
DSLDI
11:30 - 12:30: Session 2DSLDI at Karlstejn
11:30 - 12:00
Talk
Flick: A DSL for middleboxes
DSLDI
Nik SultanaUniversity of Cambridge
12:00 - 12:30
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 - 14:00
Talk
DSLs for Graph Algorithms and Graph Pattern Matching
DSLDI
Oskar van RestOracle Labs, Sungpack HongOracle Labs, Hassan ChafiOracle Labs
14:00 - 14:30
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 - 15:10
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 - 15:40
Talk
Dynamic Compilation of DSLs
DSLDI
Vojin JovanovicEPFL, Martin OderskyEcole Polytechnique Federale de Lausanne
16:40 - 17:40: DiscussionDSLDI at Karlstejn
16:40 - 17:40
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

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

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