Professional Activities
Invited Presentations
- Massive-Scale Software Diversity as a Defense Mechanism. Safe in the Clouds: Biologically Inspired Approaches to Security &Resilience. Ocala, March 2011.
- Feedback-Directed Optimistic Optimizations in Virtual Machines. Adobe Advanced Technology Labs, San Jose, December 2010.
- Feedback-Directed Optimistic Optimizations in Virtual Machines. Qualcomm Bay Area Research Center, Santa Clara, December 2010.
- Defending Mobile Apps Through Automated Software Diversity. CRASH: Clean-slate Design of Resilient, Adaptive, Secure Hosts. Chantilly, November 2010.
- Feedback-Directed Optimistic Optimizations in Virtual Machines. Microsoft Research, Redmond, November 2010.
- Register Allocation on SSA Form for Java Just-in-Time Compilation. JVM Language Summit. Santa Clara, July 2010.
- Linear Scan Register Allocation on SSA Form. Intel Corporation, Santa Clara, July 2010.
- Linear Scan Register Allocation on SSA Form. Sun Microsystems Laboratories, Menlo Park, July 2010.
- Trace-Based Just-in-Time Compilation. JVM Language Summit. Santa Clara, September 2009.
- Feedback-Directed Optimistic Optimizations for Java. Sun Microsystems Laboratories, Menlo Park, May 2009.
- SSA Form in the Java HotSpot™ Client Compiler. Static Single-Assignment Form Seminar. Autrans, France, April 2009.
- Optimistic Optimizations in the Java HotSpot™ VM. University of California, Irvine, April 2008.
- Inside the Java HotSpot™ VM—Reconciling Reliability, Performance, Research, and Open Source. Google, Zurich, September 2007.
Service to the Professional Community
- Program Committee Member, International Conference on Principles and Practice of Programming in Java (PPPJ 2012), Grahamstown, South Africa, September 12–14, 2012.
- Program Committee Member, International Symposium on Memory Management (ISMM 2012), Beijing, China, June 15–16, 2012.
- Program Chair, International Conference on Principles and Practice of Programming in Java (PPPJ 2011), Kongens Lyngby, Denmark, August 24–26, 2011.
- Reviewer, Science of Computer Programming, Elsevier, 2011.
- Reviewer, ACM Transactions on Architecture and Code Optimization (TACO), 2011.
- Reviewer, Journal on Information & Software Technology, Elsevier, 2011, 2010, 2009.
- External Reviewer, Annual Computer Security Applications Conference (ACSAC 2010), Austin, Texas, USA, December 6–10, 2010.
- Program Committee Member, International Conference on Principles and Practice of Programming in Java (PPPJ 2010), Vienna, Austria, September 15–17, 2010.
- External Reviewer, International Conference on Parallel Architectures and Compilation Techniques (PACT 2010), Vienna, Austria, September 11–15, 2010.
- Reviewer, Software: Practice and Experience, John Wiley & Sons, 2010.
- Reviewer, Journal on Infrared Physics & Technology, Elsevier, 2010.
- Reviewer, ACM Transactions on Programming Languages and Systems (TOPLAS), 2009.
- Program Committee Member, International Conference on Principles and Practice of Programming in Java (PPPJ 2009), Calgary, Canada, August 27–28, 2009.
- External Reviewer, International Conference on Compiler Construction (CC 2009), York, United Kingdom, March 22–29, 2009.
- External Reviewer, International Conference on Principles and Practice of Programming in Java (PPPJ 2008), Modena, Italy, September 8–11, 2008.
- External Reviewer, Joint Modular Languages Conference (JMLC 2006), Oxford, England, September 13–15, 2006.
- External Reviewer, International Conference on Perspectives of System Informatics (PSI 2006), Novosibirsk, Russia, June 27–30, 2006
- External Reviewer, International Conference on Virtual Execution Environments (VEE 2006), Ottawa, Canada, June 14–16, 2006.
Software Products
- Contribution to Oracle's Maxine VM: All core systems, especially the just-in-time compilers. Source code available from http://kenai.com/projects/maxine.
- Contribution to Oracle's (Sun Microsystems' at the time) Java HotSpot™ VM: Linear scan register allocation for the Java HotSpot™ client compiler, part of the product since version 6. Source code available from http://openjdk.java.net.
- Client Compiler Visualizer: Visualization tool for the intermediate representations of the Java HotSpot™ client compiler, as well as of the C1X compiler of the Maxine VM. Source code available from http://c1visualizer.java.net/.
