PX 2016
Mon 18 - Fri 22 July 2016 Rome, Italy
co-located with ECOOP 2016
VenueCongress Center
Room nameBelli
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

Sun 17 Jul

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

08:45 - 09:45
08:45
10m
Day opening
Welcome
ECOOP Doctoral Symposium

08:55
20m
Talk
Lightning Talks
ECOOP Doctoral Symposium

09:15
30m
Talk
Live Programming Environments for Reactive MVU Applications
ECOOP Doctoral Symposium
A: Christopher Schuster University of California, Santa Cruz
10:05 - 12:25
10:05
30m
Talk
User-Centric Static Analysis
ECOOP Doctoral Symposium
A: Lisa Nguyen Quang Do Fraunhofer IEM
10:35
30m
Talk
Domain-based Simulation Modelling to Enable Continuous Testing for Software Development in the Chemical Industry
ECOOP Doctoral Symposium
A: Adam Ziolkowski University of East Anglia
11:05
20m
Coffee break
Coffee break
ECOOP Doctoral Symposium

11:25
30m
Talk
Language Design for Validatable Information System Specifications
ECOOP Doctoral Symposium
A: Daco Harkes Delft University of Technology
11:55
30m
Talk
Compositional and Mechanically Verified Program Analyzers
ECOOP Doctoral Symposium
A: David Darais University of Maryland, College Park
13:50 - 15:20
13:50
30m
Talk
Invited Talk: How to get your Ph.D. DONE
ECOOP Doctoral Symposium
Eric Jul Alcatel-Lucent Bell Labs
14:20
30m
Talk
Concept Parameters as a New Mechanism of Generic Programming for C# Language
ECOOP Doctoral Symposium
A: Julia Belyakova Southern Federal University
14:50
30m
Talk
Exploring optional security typing
ECOOP Doctoral Symposium
16:00 - 17:30
16:00
30m
Talk
Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages
ECOOP Doctoral Symposium
A: Manuel Rigger Johannes Kepler University, Linz, Austria
16:30
30m
Talk
Invited Talk: Papers vs. Artefacts
ECOOP Doctoral Symposium
Philipp Haller KTH Royal Institute of Technology
17:00
30m
Talk
Invited Talk: PhD Reflections
ECOOP Doctoral Symposium

Mon 18 Jul

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

08:45 - 09:45
Session 1PX at Belli
Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research, Robert Hirschfeld HPI, Hidehiko Masuhara Tokyo Institute of Technology
08:45
15m
Day opening
Introduction
PX

09:00
45m
Talk
How Live are Live Programming Systems? – Benchmarking the Response Times of Live Programming Environments.
PX
Patrick Rein Hasso Plattner Institute, Stefan Lehmann Hasso-Plattner-Institute, Potsdam, Toni Mattis Hasso Plattner Institute, Robert Hirschfeld HPI
13:50 - 15:20
Session 3PX at Belli
Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research, Robert Hirschfeld HPI, Hidehiko Masuhara Tokyo Institute of Technology
13:50
45m
Talk
Towards Making a Computer Tutor for Children of All Ages - A Memo.
PX
Yoshiki Ohshima Viewpoints Research Institute, Alessandro Warth HARC / Y Combinator Research, Bert Freudenberg , Aran Lunzer , Alan Kay University of California at Los Angeles, USA
14:35
45m
Demonstration
I sit down at my editor, and feel relaxed.
PX
16:00 - 17:30
Session 4PX at Belli
Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research, Robert Hirschfeld HPI, Hidehiko Masuhara Tokyo Institute of Technology
16:00
45m
Talk
Exemplifying Moldable Development.
PX
Andrei Chiş University of Bern, Switzerland, Tudor Gîrba CompuGroup Medical Schweiz AG, Juraj Kubelka University of Chile, Oscar Nierstrasz University of Bern, Switzerland, Stefan Reichhart , Aliaksei Syrel University of Bern
16:45
45m
Talk
Evolving User Interfaces From Within Self-sustaining Programming Environments: Exploring the Project Concept of Squeak/Smalltalk to Bootstrap UIs.
PX
Marcel Taeumel Hasso Plattner Institute, Robert Hirschfeld HPI

Tue 19 Jul

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

10:05 - 11:00
Invited talkFTfJP at Belli
Chair(s): Vladimir Klebanov Karlsruhe Institute of Technology
10:05
5m
Day opening
Opening
FTfJP
Vladimir Klebanov Karlsruhe Institute of Technology
10:10
50m
Talk
Java Generics are Turing Complete
FTfJP
Radu Grigore University of Oxford
11:00 - 12:25
Session 2FTfJP at Belli
Chair(s): Delphine Demange IRISA / University of Rennes 1
11:00
30m
Talk
A Mechanical Soundness Proof for Subtyping Over Recursive Types
FTfJP
Timothy Jones Victoria University of Wellington, David J. Pearce Victoria University of Wellington
DOI Pre-print File Attached
11:30
30m
Talk
A formal account of SSA in Java-like languages
FTfJP
Davide Ancona University of Genova, Andrea Corradi
12:00
25m
Talk
A Note on the Soundness of Difference Propagation
FTfJP
Jens Dietrich Massey University, New Zealand, Nicholas Hollingum The University of Sydney, Bernhard Scholz University of Sydney, Australia
13:50 - 15:20
Session 3FTfJP at Belli
Chair(s): Davide Ancona University of Genova
13:50
30m
Talk
Generating Concurrency Checks Automatically
FTfJP
Jonathan Hoyland Royal Holloway University of London, Matthew Hague Royal Holloway University of London
14:20
30m
Talk
An Extended Buffered Memory Model With Full Reorderings
FTfJP
14:50
30m
Talk
Towards a Model of Corecursion with Default
FTfJP
Davide Ancona University of Genova, Francesco Dagnino , Elena Zucca University of Genova
16:00 - 18:30
Session 4FTfJP at Belli
Chair(s): Vladimir Klebanov Karlsruhe Institute of Technology
16:00
30m
Demonstration
Tool Demonstration: The VeriFast Verification System for Java and C
FTfJP
Bart Jacobs iMinds - Distrinet, KU Leuven
16:30
30m
Talk
Partial Solutions to VerifyThis 2016 Challenges 2 and 3 Using VeriFast
FTfJP
Bart Jacobs iMinds - Distrinet, KU Leuven
17:00
30m
Talk
Coupling Catch Clauses with Local Declarations
FTfJP
Paola Giannini , Marco Servetto Victoria University of Wellington, Elena Zucca University of Genova
17:30
30m
Talk
Towards Modular Reasoning for Context-Oriented Programs
FTfJP
Tomoyuki Aotani Tokyo Institute of Technology, Japan, Gary T. Leavens Central Florida University
18:00
30m
Talk
Permission and Authority Revisited: Towards a Formalization
FTfJP
Sophia Drossopoulou Imperial College London, James Noble Victoria University of Wellington, Mark Miller Google Inc., Toby Murray University of Melbourne

Sun 17 Jul

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

Mon 18 Jul

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Belli

Tue 19 Jul

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

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Belli