Juan Chen
RESEARCHER
.
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.
Publications
- Juan Chen, Efficient Type Representation in TAL, in Workshop on Proof-Carrying Code and Software Certification (PCC'09), 15 August 2009
- Nikhil Swamy, Juan Chen, and Ravi Chugh, End-to-end Verification of Security Enforcement is Fine (Extended version), no. MSR-TR-2009-98, 7 August 2009
- Juan Chen, A Typed Intermediate Language for Supporting Interfaces, in 11th Workshop on Formal Techniques for Java-like Programs (FTfJP 2009), Association for Computing Machinery, Inc., July 2009
- Ross Tate, Juan Chen, and Chris Hawblitzel, A Flexible Framework for Type Inference with Existential Quantification, no. MSR-TR-2008-184, December 2008
- Juan Chen, Chris Hawblitzel, Frances Perry, Mike Emmi, Jeremy Condit, Derrick Coetzee, and Polyvios Pratikakis, Type-Preserving Compilation for Large-Scale Optimizing Object-Oriented Compilers, in ACM Conference on Programming Language Design and Implementation (PLDI 08), Association for Computing Machinery, Inc., June 2008
- Frances Perry, Chris Hawblitzel, and Juan Chen, Simple and Flexible Stack Types, in International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO 07), July 2007
- Chris Hawblitzel, Heng Huang, Lea Wittie, and Juan Chen, A Garbage-Collecting Typed Assembly Language, in ACM Workshop on Types in Language Design and Implementation (TLDI 07), Association for Computing Machinery, Inc., January 2007
- Juan Chen, A Typed Intermediate Language for Compiling Multiple Inheritance, in ACM Symposium on Principles of Programming Languages (POPL 07), Association for Computing Machinery, Inc., January 2007
- Juan Chen and David Tarditi, A simple typed intermediate language for object - oriented languages, in ACM Symposium on Principles of Programming Languages (POPL 05), Association for Computing Machinery, Inc., January 2005
- Juan Chen, Decidable subclassing-bounded quantification, in ACM Workshop on Types in Language Design and Implementation (TLDI 05), Association for Computing Machinery, Inc., January 2005
- juan chen, A Low-Level Typed Assembly Language with a Machine-Checkable Soundness Proof , February 2004
- Juan Chen, Dinghao Wu, Andrew Appel, and Hai Fang, A Provably Sound TAL for Back-end Optimization, in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 03), Association for Computing Machinery, Inc., June 2003
Professional Activities
upcoming (PC member): POPL 2010, TASE 2009
past (PC member): TLDI 2009, VMIL 2008, PLDI 2008 poster session
Contact Information
email: juanchen at microsoft dot com
phone: (425)722-2864
