Write a Blog >>
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 18 Jun

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

09:00 - 10:30
09:00
10m
Talk
Introduction
ECOOP Doctoral Symposium

09:10
20m
Talk
Lightning talks
ECOOP Doctoral Symposium

09:30
30m
Talk
Scaling Up Automated Verification: A Case Study and A Formalization IDE for Building High Integrity Software
ECOOP Doctoral Symposium
Daniel Welch Clemson University
10:00
30m
Talk
Enabling Modular Verification of Concurrent Programs
ECOOP Doctoral Symposium
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
11:00
30m
Talk
Invited Talk: The Story of WALA at Watson and Beyond
ECOOP Doctoral Symposium
Julian Dolby IBM Thomas J. Watson Research Center
11:30
30m
Talk
Analysis and Verification of Rich Typestate Properties for Complex Programs
ECOOP Doctoral Symposium
12:00
30m
Talk
Efficient Run-Times for Sound Gradual Typing
ECOOP Doctoral Symposium
12:30 - 13:30
12:30
60m
Lunch
Lunch
Catering

13:30 - 15:00
13:30
30m
Talk
Invited Talk: What Lies Beyond a PhD
ECOOP Doctoral Symposium
Sarah Nadi University of Alberta
14:00
30m
Talk
Verifiable, reusable, yet useful conditioning
ECOOP Doctoral Symposium
Praveen Narayanan Indiana University, USA
14:30
30m
Talk
Improving Warmup in Meta-Traced Virtual Machines
ECOOP Doctoral Symposium
Jasper Schulz King's College London
15:00 - 15:30
15:00
30m
Coffee break
Break
Catering

15:30 - 17:50
15:30
30m
Talk
Compilation of Stream Programs for Heterogeneous Architectures
ECOOP Doctoral Symposium
16:00
30m
Talk
Introspective Intrusion Detection for Popular Software Platforms
ECOOP Doctoral Symposium
16:30
30m
Talk
Privacy-aware operator placement
ECOOP Doctoral Symposium
17:00
40m
Talk
How to get your Ph.D. DONE
ECOOP Doctoral Symposium
Eric Jul University of Oslo
17:40
10m
Talk
Round up by the academic panel
ECOOP Doctoral Symposium

16:30 - 18:00
16:30
90m
Talk
Introduction Session
ECOOP Summer School
Jan Vitek Northeastern University

Mon 19 Jun

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

09:00 - 10:30
Morning IICOOOLPS at Vertex WS216
Chair(s): Mario Wolczko Oracle Labs
09:00
10m
Talk
Workshop Welcome
ICOOOLPS
Mario Wolczko Oracle Labs
09:10
80m
Talk
We Software People are not Worthy - All Hail the Hardware Gods
ICOOOLPS
Sylvan Clebsch Imperial College London
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
Morning IIICOOOLPS at Vertex WS216
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel
11:00
30m
Talk
dart2java: Running Dart in Java-based Environments
ICOOOLPS
Matthias Springer Tokyo Institute of Technology, Andrew Krieger University of California, Los Angeles, Stanislav Manilov University of Edinburgh, Hidehiko Masuhara Tokyo Institute of Technology
Link to publication DOI File Attached
11:30
30m
Talk
VM Wrapping - Fake it till you make it
ICOOOLPS
Johannes Henning Hasso Plattner Institute, Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI
Link to publication DOI File Attached
12:00
30m
Talk
A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability
ICOOOLPS
Guido Chari University of Buenos Aires, Argentina, Diego Garbervetsky University of Buenos Aires, Argentina, Stefan Marr Johannes Kepler University Linz
Link to publication DOI File Attached
11:00 - 12:30
Morning SessionIWACO at Vertex WS217
11:00
30m
Talk
Spencer: Tracing as a Service
IWACO
Stephan Brandauer Uppsala University
11:30
30m
Talk
Are Your Incoming Aliases Really Necessary? Remembering the Cost of Object Ownership.
IWACO
Alex Potanin Victoria University of Wellington
12:00
30m
Talk
Reference Capabilities in Practice: Examining Real-World Pony Code
IWACO
Sylvan Clebsch Imperial College London
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:40
14:00
1h40m
Talk
Compiler Verification for a Multi-Language World
ECOOP Summer School
Amal Ahmed Northeastern University, USA
14:00 - 15:30
Afternoon IICOOOLPS at Vertex WS216
Chair(s): Edd Barrett King's College London
14:00
60m
Talk
Can Compiler Magic Ever Be Explained?
ICOOOLPS
Eric Sedlar Oracle Labs, Thomas Wuerthinger Oracle Labs
15:00
30m
Talk
Code Generation in Serializers and Comparators of Apache Flink
ICOOOLPS
Gábor Horváth Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert Pataki Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Márton Balassi Hungarian Academy of Sciences
Link to publication DOI File Attached
14:00 - 15:30
AfternoonJSTools at Vertex WS218
Chair(s): Christian Hammer University of Potsdam
14:00
30m
Talk
BCoz: Effective Performance Debugging for Web Applications
JSTools
John Vilk University of Massachusetts, Amherst
File Attached
14:30
30m
Talk
Repairing Event Race Errors by Controlling Nondeterminism
JSTools
Frank Tip Northeastern University
15:00
30m
Talk
Static Analysis of CommonJS Modules
JSTools
15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

16:00 - 18:00
Afternoon IIICOOOLPS at Vertex WS216
Chair(s): Olivier Zendra
16:00
60m
Other
Panel: Do new Computing Environments lead to new Language Constructs?
ICOOOLPS
Eric Jul University of Oslo, Edd Barrett King's College London, Steve Blackburn Australian National University , Ben L. Titzer Google
17:00
30m
Talk
Diff Graphs for a fast Incremental Pointer Analysis
ICOOOLPS
Jakob Krainz Friedrich-Alexander University Erlangen-Nürnberg, Michael Philippsen
Link to publication DOI File Attached
17:30
30m
Demonstration
A Formalization IDE Integrated with a Verifying Compiler
ICOOOLPS
Daniel Welch Clemson University, Blair Durkee Clemson University, Mike Kabbani Clemson University, Murali Sitaraman Clemson University
Link to publication DOI File Attached
16:00 - 18:00
Keynote SessionIWACO at Vertex WS217
16:00
45m
Talk
Adding Safe Manual Memory Management to .NET
IWACO
Dimitrios Vytiniotis Microsoft Research, Cambridge
16:00 - 18:00
Afternoon 2JSTools at Vertex WS218
16:00
30m
Talk
WebPol: Fine-grained Information Flow Policies for Web Browsers
JSTools
Christian Hammer University of Potsdam
16:10 - 17:50
16:10
1h40m
Talk
Compiler Verification for a Multi-Language World
ECOOP Summer School
Amal Ahmed Northeastern University, USA

Tue 20 Jun

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

09:00 - 10:30
Session 1COP at Vertex WS216
09:00
15m
Day opening
Welcome
COP

09:15
60m
Talk
Keynote on Context-Oriented Language Engineering
COP
S: Tijs van der Storm CWI & University of Groningen
10:15
15m
Other
Discussion
COP

09:00 - 10:30
AFTfJP at Vertex WS217
Chair(s): Radu Grigore University of Kent
09:30
20m
Talk
Software Model Checking: A Promising Approach to Verify Mobile App Security
FTfJP
Irina Asavoae INRIA, Paris, France, Hoang Nga Nguyen Coventry University, Coventry, UK, Markus Roggenbach Swansea University, Swansea, UK, Siraj Ahmed Shaikh Coventry University, Coventry, UK
Pre-print
09:50
35m
Talk
Formal Analysis of Object-Oriented Mograms
FTfJP
Moussa Amrani University of Namur, Pierre Yves Schobbens University of Namur
10:25
5m
Talk
Towards a Java Subtyping Operad
FTfJP
Moez A. AbdelGawad Informatics Research Institute, SRTA-City, Alexandria, Egypt
Pre-print
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

10:50 - 12:30
10:50
1h40m
Talk
Rust: Ownership in practice
ECOOP Summer School
Nicholas Matsakis Mozilla Corporation
11:00 - 12:30
Morning SessionPMLDC at Vertex WS208
11:00
60m
Talk
Edge Compute: The First 5000 Years
PMLDC
12:00
30m
Talk
On the Design of Distributed Programming Models
PMLDC
Christopher Meiklejohn Université catholique de Louvain
File Attached
11:00 - 12:30
Session 2COP at Vertex WS216
11:00
30m
Talk
The Declarative Nature of Implicit Layer Activation
COP
Stefan Ramson Hasso Plattner Institute, Potsdam, Jens Lincke Hasso Plattner Institute, Robert Hirschfeld HPI
11:30
30m
Talk
Push-based Reactive Layer Activation in Context-Oriented Programming
COP
Tetsuo Kamina Ritsumeikan University, Tomoyuki Aotani Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
12:00
30m
Talk
Petri-Net Based Testing Environment for Context-Oriented Programming
COP
Harumi Watanabe Tokai University, Nobuhiko Ogura Tokyo City University
11:00 - 12:30
BFTfJP at Vertex WS217
Chair(s): Santosh Nagarakatte Rutgers University, USA
11:00
20m
Talk
A Coq-based synthesis of Scala programs which are correct-by-construction
FTfJP
Youssef El Bakouny CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon, Tristan Crolard CEDRIC - CNAM - Paris, France, Dani Mezher CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon
Pre-print
11:20
70m
Talk
Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE)
FTfJP
Derek Dreyer MPI-SWS
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:40
14:00
1h40m
Talk
Rust: Ownership in practice
ECOOP Summer School
Nicholas Matsakis Mozilla Corporation
14:00 - 15:30
Afternoon SessionPMLDC at Vertex WS208
14:00
30m
Talk
Monotonicity Types for Distributed Dataflow
PMLDC
Kevin Clancy , Heather Miller Ecole Polytechnique Federale de Lausanne
File Attached
14:30
30m
Talk
Multi-view data types for scalable concurrency in the multi-core era
PMLDC
Deepthi Devaki Akkoorath , José Brandão , Annette Bieniusa Technischen Universität Kaiserslautern, Carlos Baquero HASLab/INESC TEC & University of Minho
File Attached
15:00
30m
Talk
The Single-Writer Principle in CRDT Composition
PMLDC
Vitor Enes , Paulo Sérgio Almeida , Carlos Baquero HASLab/INESC TEC & University of Minho
File Attached
14:00 - 15:30
Session 3COP at Vertex WS216
14:00
30m
Talk
ContextROS: Context-Oriented Programming for the Robot Operating System
COP
Yuta Saeki Kyushu University, Ikuta Tanigawa Kyushu University, Kenji Hisazumi Kyushu University, Akira Fukuda Kyushu University
14:30
30m
Talk
IoT Robot Simulator and Framework for Context-Oriented Programming
COP
Ikuta Tanigawa Kyushu University, Kenji Hisazumi Kyushu University, Nobuhiko Ogura Tokyo City University, Harumi Watanabe Tokai University, Akira Fukuda Kyushu University
15:00
30m
Talk
Peace COrP: Learning to solve conflicts between contexts
COP
Nicolás Cardozo Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland, Jorge H. Castro Universidad de los Andes
Media Attached File Attached
14:00 - 15:30
14:00
20m
Talk
Generic Approach to Certified Static Checking of Module-like Constructs
FTfJP
Julia Belyakova Southern Federal University
Pre-print
14:20
35m
Talk
Tracing sharing in an imperative pure calculus
FTfJP
Paola Giannini Universita' del Piemonte Orientale, Marco Servetto Victoria University of Wellington, Elena Zucca University of Genova
14:55
35m
Talk
Mutable WadlerFest DOT
FTfJP
Marianna Rapoport University of Waterloo, Ondřej Lhoták University of Waterloo, Canada
15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

16:00 - 18:00
Session 4COP at Vertex WS216
16:00
2h
Other
Discussion
COP

16:00 - 18:00
DFTfJP at Vertex WS217
Chair(s): Radu Grigore University of Kent
16:00
20m
Talk
Consistency Types for Safe and Efficient Distributed Programming
FTfJP
Alessandro Margara Politecnico di Milano, Guido Salvaneschi TU Darmstadt
16:20
35m
Talk
Correctness of Partial Escape Analysis for Multithreading Optimization
FTfJP
Dustin Rhodes , Cormac Flanagan University of California, Santa Cruz, Stephen N. Freund Williams College
16:55
35m
Talk
Parametric trace expressions for runtime verification of Java-like programs
FTfJP
Davide Ancona University of Genova, Angelo Ferrando , Luca Franceschini DIBRIS, University of Genova, Italy, Viviana Mascardi DIBRIS, University of Genova, Italy

Wed 21 Jun

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

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

15:00 - 15:30
15:00
30m
Coffee break
Break
Catering

15:30 - 17:10
Analysis and SynthesisECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Anders Møller Aarhus University
15:30
25m
Talk
Proactive Synthesis of Recursive Tree-to-String Functions from Examples
ECOOP Research Papers
Mikaël Mayer EPFL, Switzerland, Jad Hamza LIAFA, Université Paris Diderot, Viktor Kunčak EPFL, Switzerland
Link to publication Media Attached
15:55
25m
Talk
Speeding Up Maximal Causality Reduction with Static Dependency Analysis
ECOOP Research Papers
Shiyou Huang Texas A&M University, Jeff Huang Texas A&M University
Link to publication Media Attached
16:20
25m
Talk
Mailbox Abstractions for Static Analysis of Actor Programs
ECOOP Research Papers
Quentin Stiévenart Vrije Universiteit Brussel, Belgium, Jens Nicolay Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
Link to publication Pre-print Media Attached
16:45
25m
Talk
What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective
ECOOP Research Papers
Jeff Huang Texas A&M University, Arun Krishnakumar Rajagopalan Texas A&M University
Link to publication Media Attached

Thu 22 Jun

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

09:00 - 10:00
Dahl-Nygaard Senior PrizeECOOP Invited Speakers at Auditorium, Vertex Building
Chair(s): Eric Jul University of Oslo
09:00
60m
Talk
Composing Software in an Age of Dissonance
ECOOP Invited Speakers
Media Attached
10:00 - 10:30
10:00
30m
Coffee break
Break
Catering

10:30 - 12:10
Specification and VerificationECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Doug Lea State University of New York, Oswego
10:30
25m
Talk
Concurrent Data Structures Linked in Time
ECOOP Research Papers
Germán Andrés Delbianco IMDEA Software Institute, Ilya Sergey University College London, Aleksandar Nanevski IMDEA Software Institute, Anindya Banerjee IMDEA Software Institute
Link to publication Media Attached
10:55
25m
Talk
Contracts in the Wild: A Study of Java Programs
ECOOP Research Papers
Jens Dietrich Massey University, David J. Pearce Victoria University of Wellington, Kamil Jezek University of West Bohemia, Pilsen, CZ, Premek Brada University of West Bohemia
Link to publication Pre-print Media Attached
11:20
25m
Talk
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
ECOOP Research Papers
Jan-Oliver Kaiser MPI-SWS, Hoang-Hai Dang MPI-SWS, Derek Dreyer MPI-SWS, Ori Lahav MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany
Link to publication Media Attached
11:45
25m
Talk
Promising Compilation to ARMv8 POP
ECOOP Research Papers
Anton Podkopaev St. Petersburg University, JetBrains, Ori Lahav MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany
Link to publication Media Attached
10:30 - 12:10
10:30
1h40m
Talk
What You Need to Know about Performance Evaluation
ECOOP Summer School
Jan Vitek Northeastern University
Pre-print
12:10 - 13:40
12:10
90m
Lunch
Lunch
Catering

13:40 - 15:20
ImplementationECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Tobias Wrigstad Uppsala University
13:40
25m
Talk
Parallelizing Julia with a Non-invasive DSL
ECOOP Research Papers
Todd A. Anderson , Hai Liu Intel Labs, Lindsey Kuper Intel Labs, Ehsan Totoni Intel Labs, Jan Vitek Northeastern University, Tatiana Shpeisman Intel Labs
Link to publication Media Attached
14:05
25m
Talk
Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis
ECOOP Research Papers
Baptiste Saleil , Marc Feeley Université de Montréal
Link to publication Media Attached
14:30
25m
Talk
Compiling tree transforms to operate on packed representations
ECOOP Research Papers
Michael Vollmer Indiana University, USA, Sarah Spall Indiana University, Buddhika Chamith Indiana University, Laith Sakka , Milind Kulkarni Purdue University, Sam Tobin-Hochstadt Indiana University, Ryan R. Newton Indiana University
Link to publication Media Attached
14:55
25m
Talk
An Empirical Study on Deoptimization in the Graal Compiler
ECOOP Research Papers
Yudi Zheng University of Lugano, Lubomír Bulej Charles University, Walter Binder University of Lugano
Link to publication Media Attached
13:40 - 15:20
13:40
1h40m
Talk
Declarative Language Definition
ECOOP Summer School
Eelco Visser Delft University of Technology
Media Attached File Attached
15:20 - 15:50
15:20
30m
Coffee break
Break
Catering

15:50 - 17:30
Calculi and SemanticsECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Colin Gordon Drexel University
15:50
25m
Talk
Modelling homogeneous generative meta-programming
ECOOP Research Papers
Martin Berger , Laurence Tratt King's College London, Christian Urban King's College London
Link to publication Media Attached
16:15
25m
Talk
Mixing Metaphors: Actors as Channels and Channels as Actors
ECOOP Research Papers
Simon Fowler The University of Edinburgh, Sam Lindley University of Edinburgh, UK, Philip Wadler University of Edinburgh, UK
Link to publication Pre-print Media Attached
16:40
25m
Talk
μPuppet: A Declarative Subset of the Puppet Configuration Language
ECOOP Research Papers
Weili Fu University of Edinburgh, Roly Perera University of Edinburgh, UK / University of Glasgow, UK, Paul Anderson University of Edinburgh, James Cheney University of Edinburgh, UK
Link to publication Media Attached
17:05
25m
Talk
Strong Normalization for Dependent Object Types (DOT)
ECOOP Research Papers
Fei Wang , Tiark Rompf Purdue University
Link to publication Media Attached
15:50 - 17:30
15:50
1h40m
Talk
Declarative Language Definition
ECOOP Summer School
Eelco Visser Delft University of Technology
Media Attached File Attached

Fri 23 Jun

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

09:00 - 10:00
Dahl-Nygaard Junior PrizeECOOP Invited Speakers at Auditorium, Vertex Building
Chair(s): Eric Jul University of Oslo
09:00
60m
Talk
Retargeting Gradual Typing
ECOOP Invited Speakers
Ross Tate Cornell University
Media Attached
10:00 - 10:30
10:00
30m
Coffee break
Break
Catering

10:30 - 12:10
Types and EffectsECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Philipp Haller KTH Royal Institute of Technology
10:30
25m
Talk
Relaxed Linear References for Lock-free Programming
ECOOP Research Papers
Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University
Link to publication Media Attached
10:55
25m
Talk
A Generic Approach to Flow-Sensitive Polymorphic Effects
ECOOP Research Papers
Colin Gordon Drexel University
Link to publication Pre-print Media Attached
11:20
25m
Talk
A Co-contextual Type Checker for Featherweight Java
ECOOP Research Papers
Edlira Kuci TU Darmstadt, Germany, Sebastian Erdweg TU Delft, Oliver Bračevac TU Darmstadt, Andi Bejleri TU Darmstadt, Germany, Mira Mezini TU Darmstadt
Link to publication Media Attached
11:45
25m
Talk
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
ECOOP Research Papers
Alceste Scalas Imperial College London, Ornela Dardha University of Glasgow, Raymond Hu Imperial College London, Nobuko Yoshida Imperial College London
Link to publication Media Attached
12:10 - 13:40
12:10
90m
Lunch
Lunch
Catering

13:40 - 15:20
Language and Library DesignECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Sophia Drossopoulou Imperial College London
13:40
25m
Talk
IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition
ECOOP Research Papers
Daco Harkes Delft University of Technology, Eelco Visser Delft University of Technology
Link to publication DOI Media Attached
14:05
25m
Talk
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
ECOOP Research Papers
Jack Williams University of Edinburgh, J. Garrett Morris University of Edinburgh, UK, Philip Wadler University of Edinburgh, UK, Jakub Zalewski
Link to publication Media Attached
14:30
25m
Talk
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse
ECOOP Research Papers
Weixin Zhang University of Hong Kong, Bruno C. d. S. Oliveira The University of Hong Kong
Link to publication Media Attached
14:55
25m
Talk
Data exploration through dot-driven development
ECOOP Research Papers
Tomas Petricek Alan Turing Institute
Link to publication Media Attached
15:20 - 15:50
15:20
30m
Coffee break
Break
Catering

15:50 - 17:05
15:50
25m
Talk
Type Abstraction for Relaxed Noninterference
ECOOP Research Papers
Raimil Cruz University of Chile, Tamara Rezk Inria, Bernard Serpette Inria, Éric Tanter University of Chile
Link to publication Media Attached
16:15
25m
Talk
EvilPickles: DoS attacks based on Object-Graph Engineering
ECOOP Research Papers
Jens Dietrich Massey University, Kamil Jezek University of West Bohemia, Pilsen, CZ, Shawn Rasheed Massey University, Amjed Tahir Massey University, Alex Potanin Victoria University of Wellington
Link to publication Pre-print Media Attached
16:40
25m
Talk
A Capability-Based Module System for Authority Control
ECOOP Research Papers
Darya Melicher Carnegie Mellon University, Yangqingwei Shi Peking University, Alex Potanin Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University
Link to publication
15:50 - 17:05
15:50
75m
Talk
What You Need to Know about Performance Evaluation
ECOOP Summer School
Jan Vitek Northeastern University
Pre-print