!!! Phd Activity of Antonio Cuni
Last updated 12 December 2008 by [Antonio Cuni|mailto:cuni@disi.unige.it].
!!! Leave of Absence
# 01/01/2007 - 31/03/2007. Soggiorno presso ``Institut für
 Informatik'' (Heinrich-Heine-Universität, Düsseldorf) per svolgere
 attivita' di ricerca attinente alla tesi di dottorato sotto la
 supervisione del Prof. Leuschel

# 01/10/2008 - 31/01/2009 Soggiorno presso ``Institut für
 Informatik'' (Heinrich-Heine-Universität, Düsseldorf) per svolgere
 attivita' di ricerca attinente alla tesi di dottorato sotto la
 supervisione del Prof. Leuschel

!!! PhD Courses and Credits
# 16/07/2007 - 20/07/2007 . [Aspect Oriented Middelware|http://gateway.comp.lancs.ac.uk/computing/aosd-europe//summerschool/joosen.html]%%% 2nd European Summer School on Aspect-oriented Software Development %%% responsabile: [Wouter Joosen|mailto:Wouter.joosen@cs.kuleuven.be]. %%% Result: Satisfactory results.%%%%%%
# 16/07/2007 - 20/07/2007 . [Identifying crosscutting concerns in requirements|http://gateway.comp.lancs.ac.uk/computing/aosd-europe//summerschool/rashid-sampaio.html]%%% 2nd European Summer School on Aspect-oriented Software Development %%% responsabile: [Awais Rashid|mailto:marash@comp.lancs.ac.uk]. %%% Result: Satisfactory results.%%%%%%

# 03/03/2008 - 14/03/2008 [ BISS 2008 |http://www.bici.eu/biss2008/] - Bertinoro International Spring School, Bertinoro (FC)

** Context-Aware Databases: Design, Integration and Applications %%% Lecturer: prof. [Letizia Tanca|http://home.dei.polimi.it/tanca/] (Politecnico di Milano). %%% Result: passed

** Fault Tolerance in Distributed Systems %%% Lecturer: prof. [Paulo Jorge Esteves Veríssimo |http://www.di.fc.ul.pt/~pjv/] (Universidade de Lisboa, Faculdade de Ciências). %%% Result: passed

** Introduction to the Theory of Computational Complexity %%% Lecturer: prof. [ Pierluigi Crescenzi|http://piluc.dsi.unifi.it] (Università di Firenze). %%% Result: passed


----
!!! Teaching Assistant Activity
* aa 2007/2008:%%% Assistenza al Corso di Linguaggi di Programmazione dell'Università degli studi di Genova. %%%Docente di riferimento Prof.[Elena Zucca|http://www.disi.unige.it/person/ZuccaE].%%%
----
!!! Research Activity
* Supervisor: Prof. [ Davide Ancona|http://www.disi.unige.it/person/AnconaD]
* Thesis Advisor:
* Research interests: Dynamic languages, .NET, JVM, Virtual machines

! Pubblications
* [ Davide Ancona|http://www.disi.unige.it/person/AnconaD], [ Massimo Ancona|http://www.disi.unige.it/person/AnconaM], [ Antonio Cuni|http://www.disi.unige.it/person/CuniA], [ Nicholas D. Matsakis|mailto:nicholas.matsakis@inf.ethz.ch]: %%%[RPython: a Step Towards Reconciling Dynamically and Statically Typed OO Languages.|ftp://ftp.disi.unige.it/person/CuniA/papers/dls2007.pdf]_%%% In OOPSLA 2007 Companion, Dynamic Language Symposium 2007, 2007

* Under submission to ECOOP 2009: [ Davide Ancona|http://www.disi.unige.it/person/AnconaD], Carl Friedrich Bolz, [ Antonio Cuni|http://www.disi.unige.it/person/CuniA], Armin Rigo: Automatic generation of JIT compilers for dynamic languages in .NET

! Conferences, Seminars, Short Visits
* 8-14 January 2007. PyPy Sprint, Leysin, Switzerland.
* 25 February - 5 March 2007. PyPy Sprint, Hildesheim, Germany.
* 19-20 April 2007. Kick off meeting progetto EOS DUE, Cesena, Italy.
* 9-10 June 2007. PyCon Uno; speaker of: PyPy 1.0 and beyond; Firenze, Italy.
* 9-11 July 2007. EuroPython; speaker of: RPython: need for speed; Vilnius, Lithuania.
* 12-14 July 2007. PyPy Sprint, Vilnius, Lithuania.
* 21-25 October 2007. OOPSLA; speaker of: RPython: a Step Towards Reconciling Dynamically and Statically Typed OO Languages; Montreal, Canada.
* 19-22 November 2007. PyPy Sprint, Goteborg, Sweden.

* 12-19 January 2008. PyPy Sprint, Leysin, Switzerland.
* 9-11 May 2008. PyCon Due; invited speaker of: PyPy e l'arte di generare VM; Firenze, Italy.
* 17-22 May 2008. PyPy Sprint, Berlin, Germany.
* 7-9 July 2008. EuroPython, Vilnius, Lithuania.
* 10-12 July 2008. PyPy Sprint, Vilnius, Lithuania.
* 12-14 September 2008: PyCon UK; speaker of: In search of speed and flexibility; Birmingham, UK.
* 5-13 October 2008: PyPy Sprint, Düsseldorf, Germany.

! Annual Reports


2007: I spent most of the year working on the CLI and JVM backends for PyPy,
in order to get versions of PyPy working on CLI and JVM. Then, I began to
investigate the reasons why they run so slowly: the result of this study is my
research proposal.
 
2008: The vast majority of the research was done in the context of the PyPy
project, with the goal of having a faster Python for CLI/.NET.  I spent the
first half of the year working on the exisiting "JIT compiler generator" of
PyPy, extending it so that it can work on high-level virtual machines like
.NET or JVM.  Then, in the second half of the year, I developed a CLI backend
for the JIT compiler generator, making possible to automatically produce JIT
compilers for .NET/CLI.  The early results show that if we apply the JIT
compiler generator to a simple object oriented toy language we get extremely
good performances.