Juan Chen
RESEARCHER
.
I am a researcher in the RiSE group. My research focuses on using language-based approaches to improve software reliability, especially typed intermediate languages and typed assembly languages.
Publications
- Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, and Benjamin Livshits, Verifying Higher-order Programs with the Dijkstra Monad, in ACM Programming Language Design and Implementation (PLDI) 2013, ACM, June 2013
- Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, and Nikhil Swamy, DKAL*: Constructing Executable Specifications of Authorization Protocols, no. MSR-TR-2013-19, March 2013
- Cedric Fournet, Nikhil Swamy, Juan Chen, Pierre-Evariste Dagand, Pierre-Yves Strub, and Benjamin Livshits, Fully Abstract Compilation to JavaScript, in ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013, ACM, January 2013
- Nikhil Swamy, Joel Weinberger, Juan Chen, Ben Livshits, and Cole Schlesinger, Monadic Refinement Types for Verifying JavaScript Programs , no. MSR-TR-2012-37, 20 March 2012
- Pierre-Yves Strub, Nikhil Swamy, Cedric Fournet, and Juan Chen, Self-Certification: Bootstrapping Certified Typecheckers in F* with Coq, in In Proceedings of the ACM Symposium on Principles on Programming Languages, ACM, January 2012
- Nikhil Swamy, Juan Chen, Cedric Fournet, Pierre-Yves Strub, Karthikeyan Bharagavan, and Jean Yang, Secure Distributed Programming with Value-dependent Types, in The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011), ACM SIGPLAN, September 2011
- Nikhil Swamy, Juan Chen, Cedric Fournet, Pierre-Yves Strub, Karthikeyan Bharagavan, and Jean Yang, Secure Distributed Programming with Value-Dependent Types, no. MSR-TR-2011-37, 24 March 2011
- Johannes Borgstrom, Juan Chen, and Nikhil Swamy, Verifying Stateful Programs with Substructural State and Hoare Types, in Programming Language meets Program Verification (PLPV 2011), ACM, 29 January 2011
- Johannes Borgstrom, Juan Chen, and Nikhil swamy, Verified Stateful Programs with Substructural State and Hoare Types, no. MSR-TR-2010-95, July 2010
- Juan Chen, Nikhil Swamy, and Ravi Chugh, Type-preserving compilation for end-to-end verification of security enforcement, in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2010, Association for Computing Machinery, Inc., June 2010
- Ross Tate, Juan Chen, and Chris Hawblitzel, Inferable Object-Oriented Typed Assembly Language, in ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI) , Association for Computing Machinery, Inc., June 2010
- Nikhil Swamy, Juan Chen, and Ravi Chugh, Enforcing Stateful Authorization and Information Flow Policies in Fine, in ESOP 2010: 19th European Symposium on Programming, Springer Verlag, 22 March 2010
- 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, 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 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, 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
PC member: APLAS 2012, FOOL 2010, POPL 2010, TASE 2009, TLDI 2009, VMIL 2008, PLDI 2008 poster session
Contact Information
email: juanchen at microsoft dot com
phone: (425)722-2864
