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

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

08:45 - 09:45: OpeningDoctoral Symposium at Belli
08:45 - 08:55
Day opening
Welcome
Doctoral Symposium
08:55 - 09:15
Talk
Lightning Talks
Doctoral Symposium
09:15 - 09:45
Talk
Live Programming Environments for Reactive MVU Applications
Doctoral Symposium
A: Christopher SchusterUniversity of California, Santa Cruz
10:05 - 12:25: Session 1Doctoral Symposium at Belli
10:05 - 10:35
Talk
User-Centric Static Analysis
Doctoral Symposium
A: Lisa Nguyen Quang DoFraunhofer IEM
10:35 - 11:05
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 - 11:25
Coffee break
Coffee break
Doctoral Symposium
11:25 - 11:55
Talk
Language Design for Validatable Information System Specifications
Doctoral Symposium
A: Daco HarkesDelft University of Technology
11:55 - 12:25
Talk
Compositional and Mechanically Verified Program Analyzers
Doctoral Symposium
A: David DaraisUniversity of Maryland, College Park
13:50 - 15:20: Session 2Doctoral Symposium at Belli
13:50 - 14:20
Talk
Invited Talk: How to get your Ph.D. DONE
Doctoral Symposium
Eric JulAlcatel-Lucent Bell Labs
14:20 - 14:50
Talk
Concept Parameters as a New Mechanism of Generic Programming for C# Language
Doctoral Symposium
A: Julia BelyakovaSouthern Federal University
14:50 - 15:20
Talk
Exploring optional security typing
Doctoral Symposium
16:00 - 17:30: Session 3Doctoral Symposium at Belli
16:00 - 16:30
Talk
Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages
Doctoral Symposium
A: Manuel RiggerJohannes Kepler University, Linz, Austria
16:30 - 17:00
Talk
Invited Talk: Papers vs. Artefacts
Doctoral Symposium
Philipp HallerKTH Royal Institute of Technology
17:00 - 17:30
Talk
Invited Talk: PhD Reflections
Doctoral Symposium

Mon 18 Jul
Times are displayed in 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 - 09:00
Day opening
Introduction
PX
09:00 - 09:45
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 - 14:35
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 - 15:20
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 - 16:45
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 - 17:30
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

Tue 19 Jul
Times are displayed in 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 - 10:10
Day opening
Opening
FTfJP
Vladimir KlebanovKarlsruhe Institute of Technology
10:10 - 11:00
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 - 11:30
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 - 12:00
Talk
A formal account of SSA in Java-like languages
FTfJP
Davide AnconaUniversity of Genova, Andrea Corradi
12:00 - 12:25
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 - 14:20
Talk
Generating Concurrency Checks Automatically
FTfJP
Jonathan HoylandRoyal Holloway University of London, Matthew HagueRoyal Holloway University of London
14:20 - 14:50
Talk
An Extended Buffered Memory Model With Full Reorderings
FTfJP
14:50 - 15:20
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 - 16:30
Demonstration
Tool Demonstration: The VeriFast Verification System for Java and C
FTfJP
Bart JacobsiMinds - Distrinet, KU Leuven
16:30 - 17:00
Talk
Partial Solutions to VerifyThis 2016 Challenges 2 and 3 Using VeriFast
FTfJP
Bart JacobsiMinds - Distrinet, KU Leuven
17:00 - 17:30
Talk
Coupling Catch Clauses with Local Declarations
FTfJP
Paola Giannini, Marco ServettoVictoria University of Wellington, Elena ZuccaUniversity of Genova
17:30 - 18:00
Talk
Towards Modular Reasoning for Context-Oriented Programs
FTfJP
Tomoyuki AotaniTokyo Institute of Technology, Japan, Gary LeavensCentral Florida University
18:00 - 18:30
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

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

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

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

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

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