Statistics
Publications
15
Citations
718
H-Index
13
Active since
2003
Juan Chen is an author at Microsoft (United States) specializing in computing, computer science, and programming languages.
Publications per year
2003–2021
15
15
Secure distributed programming with value-dependent types
Nikhil Swamy, Juan Chen, Cédric Fournet et al. · ACM SIGPLAN Notices · 2011 · 155 citations
Secure distributed programming with value-dependent types
Nikhil Swamy, Juan Chen, Cédric Fournet et al. · 2011 · 139 citations
Fully abstract compilation to JavaScript
Cédric Fournet, Nikhil Swamy, Juan Chen et al. · 2013 · 86 citations
Secure distributed programming with value-dependent types
Nikhil Swamy, Juan Chen, Cédric Fournet et al. · Journal of Functional Programming · 2013 · 61 citations · Full text
Gradual typing embedded securely in JavaScript
Nikhil Swamy, Cédric Fournet, Aseem Rastogi et al. · 2014 · 59 citations
1–5 of 15