Elena Zucca - Research

My current research is on the topic design and foundations of modular and object-oriented languages and systems.

Most recent papers

Intersection types for unbind and rebind (extended abstract) with M. Dezani, P. Giannini.
Electronic Proceedings in Theoretical Computer Science 45. ITRS'10 - Intersection Types and Related Systems.
MetaFJig - A meta-circular composition language for Java-like classes with M. Servetto.
OOPSLA'10 - Object-Oriented Programming, Systems, Languages, and Applications.
DeepFJig - Modular composition of nested classes with A. Corradi, M. Servetto.
FOOL'10 - Intl. Workshop on Foundations of Object-Oriented Languages.
Extending lambda-calculus with unbind and rebind with M. Dezani, P. Giannini.
RAIRO - Theoretical Informatics and Applications. To appear.
A lightweight approach to customizable composition operators for Java-like classes with G. Lagorio, M. Servetto.
Electronic Notes in Theoretical Computer Science 263, 2010. FACS'09 - Formal Aspects of Component Software.

All papers

the list is fully searchable, thanks to phpbibliography

Projects

MIUR project DISCO - Distribution, Interaction, Specification, Composition for Object Systems Project Coordinator (start 22/03/2010, duration: 24 months, funding: 53639 Euro)
COST action IC0701 - Formal Verification of Object-Oriented Software
(OLD) MIUR project EOS DUE - Extensible Object Systems for Dynamic and Unpredictable Environments Project Coordinator (start 09/02/2007, duration: 24 months, funding: 94639 Euro)
(OLD) MIUR project EOS - Extensible Object Systems Project Coordinator (start 11/30/2004, duration: 24 months, funding: 113400 Euro)
(OLD) Thematic network IST-2001-38957 APPSEM II (start 01/01/2003, duration: 36 months)
(OLD) EC project IST-2001-33477 DART - Dynamic Assembly, Reconfiguration and Type-checking WP Leader (start 01/01/2002, duration: 42 months, EC funding: 913000 Euro)

PhD students

Marco Servetto. Past: Davide Ancona, Giovanni Lagorio, Sonia Fagorzi

Journals, conferences and workshops

Member of the editorial board of the Journal of Object Technology

Conference co-chair of ECOOP 2009

Program committee work for

ECOOP'12, ESOP'12
FOOL'11 (chair)
FoVeOOS'11, FMOODS/FORTE'11, OOPSLA'11, ICSOFT'11, ECOOP'11
FOOL'10, FoVeOOS'10, ICSOFT'10, FOAL'10, FMOODS/FORTE'10 (co-chair), ECOOP'10
ICSOFT'09, ECOOP'09
FMOODS'08
FMOODS'07, ECOOP'07, FOOL/WOOD'07
FTfJP'06 (chair), FMOODS'06
PPDP'05, OOPS'05
ICFP'04, FOOL'04, OOPS'04

Back to previous page

Please send suggestions and comments to:

Elena Zucca zucca@disi.unige.it

Last Updated: June,2, 2011