Concepedia

Juan Chen

JC

15

Publications

704

Citations

13

H-Index

2003

Active since

Affiliations

Microsoft (United States)(Current)

Microsoft Research (United Kingdom)

Institut national de recherche en sciences et technologies du numérique

Massachusetts Institute of Technology

Microsoft (France)

Juan Chen is an author at Microsoft (United States) specializing in formal verification, formal methods, and program analysis.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationVerificationSoftware EngineeringCompilersComputer Engineering

Publications per year

2003–2021

15

Publications

15

Secure distributed programming with value-dependent types

Nikhil Swamy, Juan Chen, Cédric Fournet et al. · ACM SIGPLAN Notices · 2011 · 150 citations

Engineering, Information Security, Verification +20

Secure distributed programming with value-dependent types

Nikhil Swamy, Juan Chen, Cédric Fournet et al. · 2011 · 135 citations

Engineering, Information Security, Verification +21

Fully abstract compilation to JavaScript

Cédric Fournet, Nikhil Swamy, Juan Chen et al. · 2013 · 85 citations

Engineering, Compiler Technology, Verification +20

Gradual typing embedded securely in JavaScript

Nikhil Swamy, Cédric Fournet, Aseem Rastogi et al. · 2014 · 59 citations

Engineering, Usable Security, Information Security +18

Secure distributed programming with value-dependent types

Nikhil Swamy, Juan Chen, Cédric Fournet et al. · Journal of Functional Programming · 2013 · 59 citations · Full text

Fine Compiler, Engineering, Information Security +20

Rows per page

1–5 of 15