Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
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

Conference Day
Sun 17 Jul

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

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

08:55
20m
Talk
Lightning Talks
Doctoral Symposium

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

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

Conference Day
Mon 18 Jul

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

08:45 - 09:45
Session 1PX at Belli
Chair(s): Hidehiko MasuharaTokyo Institute of Technology, Robert HirschfeldHPI, Richard P. GabrielDream Songs, Inc. & IBM Research
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 ReinHasso Plattner Institute, Stefan LehmannHasso-Plattner-Institute, Potsdam, Toni MattisHasso Plattner Institute, Robert HirschfeldHPI
13:50 - 15:20
Session 3PX at Belli
Chair(s): Robert HirschfeldHPI, Richard P. GabrielDream Songs, Inc. & IBM Research, Hidehiko MasuharaTokyo Institute of Technology
13:50
45m
Talk
Towards Making a Computer Tutor for Children of All Ages - A Memo.
PX
Yoshiki OhshimaViewpoints Research Institute, Alessandro WarthHARC / Y Combinator Research, Bert Freudenberg, Aran Lunzer, Alan KayUniversity 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): Robert HirschfeldHPI, Hidehiko MasuharaTokyo Institute of Technology, Richard P. GabrielDream Songs, Inc. & IBM Research
16:00
45m
Talk
Exemplifying Moldable Development.
PX
Andrei ChişUniversity of Bern, Switzerland, Tudor GîrbaCompuGroup Medical Schweiz AG, Juraj KubelkaUniversity of Chile, Oscar NierstraszUniversity of Bern, Switzerland, Stefan Reichhart, Aliaksei SyrelUniversity 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 TaeumelHasso Plattner Institute, Robert HirschfeldHPI

Conference Day
Tue 19 Jul

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

10:05 - 11:00
Invited talkFTfJP at Belli
Chair(s): Vladimir KlebanovKarlsruhe Institute of Technology
10:05
5m
Day opening
Opening
FTfJP
Vladimir KlebanovKarlsruhe Institute of Technology
10:10
50m
Talk
Java Generics are Turing Complete
FTfJP
Radu GrigoreUniversity of Oxford
11:00 - 12:25
Session 2FTfJP at Belli
Chair(s): Delphine DemangeIRISA / University of Rennes 1
11:00
30m
Talk
A Mechanical Soundness Proof for Subtyping Over Recursive Types
FTfJP
Timothy JonesVictoria University of Wellington, David J. PearceVictoria University of Wellington
DOI Pre-print File Attached
11:30
30m
Talk
A formal account of SSA in Java-like languages
FTfJP
Davide AnconaUniversity of Genova, Andrea Corradi
12:00
25m
Talk
A Note on the Soundness of Difference Propagation
FTfJP
Jens DietrichMassey University, New Zealand, Nicholas HollingumThe University of Sydney, Bernhard ScholzUniversity of Sydney, Australia
13:50 - 15:20
Session 3FTfJP at Belli
Chair(s): Davide AnconaUniversity of Genova
13:50
30m
Talk
Generating Concurrency Checks Automatically
FTfJP
Jonathan HoylandRoyal Holloway University of London, Matthew HagueRoyal 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 AnconaUniversity of Genova, Francesco Dagnino, Elena ZuccaUniversity of Genova
16:00 - 18:30
Session 4FTfJP at Belli
Chair(s): Vladimir KlebanovKarlsruhe Institute of Technology
16:00
30m
Demonstration
Tool Demonstration: The VeriFast Verification System for Java and C
FTfJP
Bart JacobsiMinds - Distrinet, KU Leuven
16:30
30m
Talk
Partial Solutions to VerifyThis 2016 Challenges 2 and 3 Using VeriFast
FTfJP
Bart JacobsiMinds - Distrinet, KU Leuven
17:00
30m
Talk
Coupling Catch Clauses with Local Declarations
FTfJP
Paola Giannini, Marco ServettoVictoria University of Wellington, Elena ZuccaUniversity of Genova
17:30
30m
Talk
Towards Modular Reasoning for Context-Oriented Programs
FTfJP
Tomoyuki AotaniTokyo Institute of Technology, Japan, Gary LeavensCentral Florida University
18:00
30m
Talk
Permission and Authority Revisited: Towards a Formalization
FTfJP
Sophia DrossopoulouImperial College London, James NobleVictoria University of Wellington, Mark MillerGoogle Inc., Toby MurrayUniversity of Melbourne

Conference Day
Sun 17 Jul

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

Conference Day
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

Conference Day
Tue 19 Jul

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

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