Juan Chen

I am a researcher in the Programming Language and Analysis group. My research focuses on using language-based approaches to improve software reliability, especially typed intermediate languages and typed assembly languages.

Research Projects

• Typed intermediate languages for compiling object-oriented languages

Type-Preserving Compilation for Large-Scale Optimizing Object-Oriented Compilers. Juan Chen, Chris Hawblitzel, Frances Perry, Mike Emmi, Jeremy Condit, Derrick Coetzee and Polyvios Pratikakis. PLDI 2008, to appear.

Simple and Flexible Stack Types. Frances Perry, Chris Hawblitzel, and Juan Chen. IWACO 2007, Berlin, Germany.

A Garbage-Collecting Typed Assembly Language. Chris Hawblitzel, Heng Huang, Lea Wittie, and Juan Chen. TLDI 2007, Nice, France.

A Typed Intermediate Language for Compiling Multiple Inheritance. Juan Chen. POPL 2007, Nice, France. A companion technical report is in MSR-TR 2005-98.

A Typed Intermediate Language for Supporting Multiple Inheritance via Interfaces. Juan Chen and Chiyan Chen. A companion technical report is in MSR-TR 2004-141.

A Simple Typed Intermediate Language for Object-Oriented Languages. Juan Chen and David Tarditi. POPL 2005, Long Beach, CA. An extended version is in MSR-TR 2004-68.

Decidable Subclassing-Bounded Quantification. Juan Chen. TLDI 2005, Long Beach, CA.

Education

I earned my Ph.D. degree in Computer Science from Princeton University, advised by Professor Andrew W. Appel. My thesis work is designing and implementing a typed assembly language for compiling ML programs to Sparc:

A Provable Sound TAL for Back-end Optimization. Juan Chen, Dinghao Wu, Andrew W. Appel and Hai Fang. PLDI 2003, San Diego

A Low-level Typed Assembly Language with a Machine-Checkable Soundness Proof. Phd Dissertation, Princeton University, Feb 2004

Contact Info

 Email: juanchen@microsoft.com

 Phone: (425)722-2864