Antonio Cunei

 

Contact Info (more)


Purdue University
Department of Computer Science
305 N. University Street
West Lafayette, IN 47907 USA
Voice: +1 (765) 409-0879
Fax: +1 (765) 494-0739
E-mail: cunei@cs .purdue. edu
WWW: www.cunei.com

 

Education


  • December 2004
    Ph.D., Computer Science, University of Glasgow Glasgow, Scotland, United Kingdom.

The research focused on offering support for precise memory management in the runtime system of object-oriented programming languages.

  • September 2000
    Master of Science, Advanced Information systems, University of Glasgow Glasgow, Scotland, United Kingdom.

Graduated with Distinction. Work involved designing and implementing support for orthogonal persistence and resumable computations for a programming language.

  • July 1999
    M.Sc. (Laurea), Computer Science. University of Udine Udine, Italy

Graduated Summa cum Laude. The final thesis explored use and implementation of multiple dispatching in programming languages.

 

Languages


  • English

Fluent: lived seven years in English-speaking countries

  • Italian

Native speaker

 

Professional experience:


  • July 2004 - current

Postdoctoral Research Associate, Purdue University, West Lafayette, Indiana, USA. Conducting research in the context of the DARPA Program Composition for Embedded System (PCES) program, in particular on the Ovm/J virtual machine framework and Real-Time Java; supervising graduate students.

  • July 2002 - September 2002

Intern - Mayhem Group, Sun Microsystems Laboratories, Mountain View, California, USA. Conducted an investigation on the use of dynamic profiling when using pre-allocation in segregated thread-local heaps.

  • July 2001 - September 2001

Intern - Mayhem Group, Sun Microsystems Laboratories, Mountain View, California, USA. Developed a memory simulator and a statistical package for a tracing Java Virtual Machine. Part of the research was later patented.

  • February 1998 - January 1999

Visiting Scientist, International Centre for Theoretical Physics, Trieste, Italy. Participated in the development of fast digital cameras and related imaging systems for applications in biology. Work involved both software development and hardware design.

  • February 1991 - August 1998
    System/Network Manager, University of Udine, Udine, Italy. System administrator (responsible of services for 400 users), co-developed the administrative computer network (12 sites). Also responsible for the system administration of the library system of the University. Trained personnel.

 

Journals


  • A. Cunei, J. Vitek. An Efficient and Flexible Toolkit for Composing Customized Method Dispatchers. Software: Practice & Experience (SP&E) (to appear)

  • A. Armbruster, J. Baker, A. Cunei, C. Flack, D. Holmes, F. Pizlo, E. Pla, M. Prochazka, J. Vitek. A Real-Time Java Virtual Machine for Avionics. ACM Transactions on Embedded Computing Systems (TECS) (to appear)

  • F. Mammano, M. Canepari, G. Capello, R.B. Ijaduola, A. Cunei, L. Ying, F. Fratnik, A. Colavita. An optical recording system based on a fast CCD sensor for biological imaging. In Cell Calcium, 25(2):115–123, February 1999

  • A. Colavita, G. Capello, R.B. Ijaduola, A. Cunei, L. Lagostena, M. Canepari, F. Mammano. Intracellular gradients of free calcium visualized in sensory and neuronal cells by a high-performance fluorescence imaging system. In Optical Manipulation of Living Cells. D.L. Farkas, R.C. Leif, B.J. Tromberg, Eds. Proceedings of SPIE Series, Vol. 3604, pp. 100-106, January 1999

 

Conferences


  • J. Baker, A. Cunei, F. Pizlo, J. Vitek. Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks.. In Proceedings of Compiler Construction, 16th International Conference (CC 2007), part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2007), March 26–30, 2007, Braga, Portugal (to appear)

  • A. Cunei, J. Vitek. A New Approach To Real-Time Checkpointing. In Proceedings of the 2nd ACM Virtual Machine and Execution Environments Conference (VEE 2006), June 14–16, 2006, Ottawa, Canada

  • J. Baker, A. Cunei, C. Flack, F. Pizlo, M. Prochazka, J. Vitek, A. Armbuster, E. Pla, D. Holmes. Real-time Java in Avionics Applications. In Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), April 4–7, 2006, San Jose, California, USA

  • J. Manson, J. Baker, A. Cunei, S. Jagannathan, M. Prochazka, B. Xin, J. Vitek. Preemptible Atomic Regions for Real-time Java. In Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 6–8 December 2005, Miami, Florida, USA

  • A. Cunei, J. Vitek. PolyD: A Flexible Dispatching Framework. In Proceedings of the 20th ACM SIGPLAN International Conference on Object-Oriented Programming, System, Languages and Applications (OOPSLA 2005), SIGPLAN Notices, 40(10):487–503, October 16–20, 2005 San Diego, California, USA

 

Invited Talks


  • A. Cunei. PolyD: A Flexible Dispatching Framework. Sun Microsystems Laboratories, Burlington, Massachusetts, July 2005

 

Workshops


  • J. Baker, K. Bennet, A. Cunei, C. Flack, C. Grothoff, D. Holmes, A. Madan, G. Markova, J. Manson, K. Palacz, F. Pizlo, M. Prochazka, J. Thomas, H. Yamauchi, J. Vitek. Design and implementation of the Ovm RTSJ VM: an experience report. 3rd Workshop on Java Technologies for Real-time and Embedded Systems, October 16–20, 2005, San Diego, California, USA

  • A. Cunei, J. Vitek. Techniques for Real-Time Checkpointing. 3rd Workshop on Java Technologies for Real-time and Embedded Systems, October 16–20, 2005, San Diego, California, USA

 

Patents


  • A. Cunei: Memory management unit technique to detect cross-region pointer stores. US Patent No. 7,191,307

  • M. Wolczko, A. Cunei. Fast lifetime analysis of objects in a garbage-collected system. US Patent No. 6,728,738

 

Other Publications


  • A. Cunei. A Multimethod-Based Orthogonally Persistent Programming Language, Technical Report TR-2001-81, Department of Computing Science, University of Glasgow (Scotland)

  • A. Cunei. Use of Preemptive Program Services with Optimised Native Code. Ph.D. Thesis, University of Glasgow (Scotland), December 2004

 

Reviewing Activity


  • Science of Computer Programming. Published by Elsevier

  • ACM Transactions on Programming Languages and Systems (TOPLAS)

  • European Symposium on Programming (ESOP). Part of the European Joint Conferences on Theory and Practice of Software (ETAPS)

 

Teaching Experience


  • Introduction to Theorem Proof Assistants (Coq), module of the Software Engineering Course (CS510), Purdue University 2006.

  • Tutor, core Module of the M.Sc. in Information Technology, University of Glasgow, 1999. Teaching, lab exercises, marking assignments.

  • Tutor, assisting overseas students, M.Sc. in Information Technology, Dept. Computing Science, University of Glasgow, 1999.

  • IT training courses for the personnel, University of Udine, Italy.

 

Awards


  • University of Glasgow Postgraduate Research Scholarship, 2000-2003

  • Engineering and Physical Sciences Research Council Studentship, 1999-2000

 

Social Involvement


  • One year of work at the Italian Muscular Dystrophy Association (Unione Italiana Lotta alla Distrofia Muscolare) helping disabled people in their daily lives.

 

References


  • Professor Jan Vitek, Purdue University, Dept. of Computer Science, West Lafayette, IN 47907, USA.

  • Dr. Mario Wolczko, Sun Microsystems Laboratories, MS UMTV29-117, 901 San Antonio Rd, Palo Alto, CA 94034, USA.

  • Professor David Watt, University of Glasgow, Dept. of Computing Science, 17 Lilybank Gardens, Glasgow G12 8QQ, UK.

  • Professor Malcolm Atkinson, Centre Director, National e-Science Centre, 15 South College Street, Edinburgh EH8 9AA, UK