Following four years at Purdue University, I will shortly move to the École Polytechnique Fédérale de Lausanne (EPFL) in Lausanne, Switzerland, where I will be working on the Scala language at the Programming Methods Laboratory under the direction of Prof. Martin Odersky. You will find me there from June 2008 onwards.
The NSF grant proposal NSF-CT 0716659, "CT-ER: Controlled Declassification with Software Transactional Memory", in which I am Co-Principal Investigator, has been accepted in the very competitive NSF CyberTrust program; that will lead to an award of about $250,000 in research funds.
The paper "Continuations in the Java Virtual Machine", by Iulian Dragos, Antonio Cunei, Jan Vitek, has been accepted at the Second Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'07) (ECOOP'07 workshop), July 30, 2007, Berlin, Germany.
I now have a new patent; the US Patent Office has finally approved a patent application that has been pending for a while. It refers to an optimization applicable to generational garbage collectors and other techniques, where creating certain references must trigger an event.
The full text is available here.
These pages now sport an improved and cleaner look, and a simplified navigation menu. Please let me know if you think it might be further improved. Minor tweaks are expected in the next few days.
Some old stuff has been removed and the personal page now requires an easy-to-guess password for access by friends and family.
Today I have received news that my paper "An Efficient and Flexible Toolkit for Composing Customized Method Dispatchers" has been recommended for publication by the reviewers of the journal "Software: Practice & Experience". Excellent news!
A new paper, "Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks", has been accepted and will be presented at CC2007, the 16th International Conference on Compiler Construction (part of ETAPS 2007), March 26-30, 2007, Braga, Portugal.
The work describes a new technique used to support precise memory reclamation on compiler systems that target C/C++. We implemented our new approach on the Ovm Java Virtual Machine, and showed that it outperforms previous techniques.
The paper "A Real-Time Java Virtual Machine with Applications in Avionics" has been accepted for publication in the journal ACM Transactions on Embedded Computing System (TECS).
The paper "A New Approach To Real-Time Checkpointing" has been accepted at the 2nd ACM Virtual Machine and Execution Environments Conference (VEE 2006), June 14-16, 2006 Ottawa, Canada.
The paper "Real-time Java in Avionics Applications" has been accepted at the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006).
The paper describes the Real-Time Java technology behind the ScanEagle UAV effort, which received a DUKE's Choice Java Award at JavaOne in 2005. The story is currently on the front page of the CS Department at Purdue, with more details on a separate page.
2005-05-06: A paper on the PolyD framework has been accepted at OOPSLA 2005! More details on the project on this page.
Thanks to an extension of my current contract, I will now work as a Research Associate at Purdue University until July 2006.
The website has been updated to reflect more current information
New look for the website! Many sections should be easier to find, and the information related to current projects has been updated.
Updated CV and other bits.
After another internship in California (Sun Microsystems) I am back again working on my Ph.D. One patent application has been filed and another patent disclosure has been submitted. Good!
This site goes live! Not my first attempt at a personal site, but the first using my new domain. There's a lot of stuff that still needs to be written, though.