D. Chandra and M. Franz; "Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine"; to appear in 23rd Annual Computer Security Applications Conference (ACSAC 2007), Miami Beach, Florida; December 2007.

M. Franz; Eliminating Trust From Application Programs By Way Of Software Architecture; Technical Report No. 07-13, Donald Bren School of Information and Computer Science, University of California, Irvine; October 2007.

A. Gal, M. Bebenita, M. Chang, and M. Franz; Making the Compilation "Pipeline" Explicit: Dynamic Compilation Using Trace Tree Serialization; Technical Report No. 07-12, Donald Bren School of Information and Computer Science, University of California, Irvine; October 2007.

L. Wang and M. Franz; Automatic Partitioning of Object-Oriented Programs with Multiple Distribution Objectives; Technical Report No. 07-11, Donald Bren School of Information and Computer Science, University of California, Irvine; October 2007.

M. Bebenita, A. Gal, and M. Franz; "Implementing Fast JVM Interpreters In Java Itself"; in V. Amaral, L. Veiga, L. Marcelino, and H. C. Cunningham (Eds.), Principles and Practices of Programming in Java, Proceedings of the 5th International Conference (PPPJ 2007), Lisbon, Portugal, pp. 145-154; September 2007.

M. Chang, M. Bebenita, A. Yermolovich, A. Gal, and M. Franz; Efficient Just-In-Time Execution of Dynamically Typed Languages Via Code Specialization Using Precise Runtime Type Inference; Technical Report No. 07-10, Donald Bren School of Information and Computer Science, University of California, Irvine; September 2007

M. Franz; Understanding and Countering Insider Threats In Software Development; Technical Report No. 07-09, Donald Bren School of Information and Computer Science, University of California, Irvine; September 2007.

M. Franz; "Containing the Ultimate Trojan Horse"; IEEE Security and Privacy Magazine, Vol. 5, No. 4, pp. 64-68; July 2007.

A. Gal, Ch. W. Probst, and M. Franz; Java Bytecode Verification via Static Single Assignment Form; accepted for publication in ACM Transactions on Programming Languages and Systems (TOPLAS).

W. Amme, J. von Ronne, and M. Franz; "SSA-Based Mobile Code: Implementation and Empirical Evaluation"; ACM Transactions on Architecture and Code Optimization (TACO), Vol. 4, No. 2, Article No. 13; 2007.

A. Gal, M. Bebenita, and M. Franz; "One Method At A Time Is Quite a Waste of Time"; in Proceedings of the Second ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2007), Berlin, Germany, pp. 11-16; July 2007.

M. Franz, A. Gal, and C. W. Probst; "Automatic Generation of Machine Emulators: Efficient Synthesis of Robust Virtual Machines for Legacy Software Migration"; in W.-G. Bleek, J. Raasch, H. Züllighoven (Eds.), Proceedings of Software Engineering 2007 (SE 2007) Hamburg, Germany, pp. 83-94; March 2007.

Welcome to New Graduate Students

I am happy to welcome some very bright and energetic new students to my research group.

• Mason Chang
• Alex Yermolovich
• Todd Jackson
• Gregor Wagner

Congratulations

Several of my graduate students have recently successfully defended their Ph.D.

Vivek Haldar, Ph.D. February 2006
thesis: Semantic Remote Attestation
now with Google, Inc., Santa Monica, California

Efe Yardimci, Ph.D. March 2006
thesis: Exploiting Parallelism to Improve the Performance of Sequential Binary Executables
now with Advanced Micro Devices (AMD), Inc., Boxborough, Massachussetts

Christian H. Stork, Ph.D. August 2006
thesis: WELL: A Language-Agnostic Foundation for Compact and Provably Safe Mobile Code
now a Post-Doctoral Researcher at UC Irvine

Deepak Chandra, Ph.D. September 2006
thesis: Information Flow Analysis and Enforcement in Java Bytecode
now with Google, Inc., Irvine, California

Andreas Gal, Ph.D. December 2006
thesis: Efficient Bytecode Compilation and Verification in a Virtual Machine
now a Post-Doctoral Researcher at UC Irvine

Matthew Beers, Ph.D. March 2007
thesis: Shifting the Burden of Code Optimization to the Code Producer
now with Ocean Tomo Intellectual Capital Equity, Irvine, California

Ning Wang, Ph.D. May 2007
thesis: From Assumptions to Assertions: A Sound and Precise Points-to Analysis for the C Language
now with Fortify Software, Palo Alto, California

Vasanth Venkatachalam, Ph.D. May 2007
thesis: Information Flow Analysis and Enforcement in Java Bytecode
now with Advanced Micro Devices (AMD), Inc., Austin, Texas

Funding News

I am very grateful for four recent grants from the Federal Government and generous gifts from Mozilla, Sun Microsystems, and Intel

California MICRO Program and industrial sponsor Sun Microsystems, Inc., "Trace Compilation for a Server Java Virtual Machine"
August 2007 - June 2008, $81,500, sole PI
(waiver of overhead charges applies to the total grant amount)

National Science Foundation: "MLS-VM: Design and Implementation of a Next-Generation Information-Centric Target Platform for Trusted Internet Computing"
September 2006 - August 2009, $400,000, sole PI

National Science Foundation: "Virtual-Machine Techniques for Resource-Constrained Devices: Reconciling Reliability With Reusability and Low Development Costs in the Embedded Systems Space''
July 2006 - June 2009, $300,000, sole PI

United States Homeland Security Advanced Research Projects Agency (HSARPA): "Adding Mandatory Access Control to Virtual Machines"
May 2005 - November 2007, $312,483, sole PI
(My proposal was the only one of 80 submissions in the category "Vulnerability Prevention" that got funded by DHS. Overall, the Homeland Security solicitation drew 583 responses, of which 17, including this one, were funded.)

Mozilla Corporation, unrestricted gift of $85,000, sole beneficiary; May 2007

Thank You!

Post-Doctoral Researcher Positions

I anticipate future open positions for Post-Doctoral Researchers in my group. I am much more interested in researchers that are truly excellent than in any particular research background, but a somewhat practical approach is required. This means that the ideal candidates are accomplished system builders rather than pure theorists.

Interested parties should ideally contact me with a lead time of at least 9 months to one year. If you have a Ph.D. student who is graduating in a year and might be interested, please tell me. Post-Doctoral positions are usually advertised only briefly and the response time is short, which is why I prefer having a list of people whom I can alert immediately when such a position becomes available.