Juan Chen

According to our database, Juan Chen authored at least 9 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2014

Gradual typing embedded securely in JavaScript.

Nikhil Swamy, Cédric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin M. Bierman

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Secure distributed programming with value-dependent types.

Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang

J. Funct. Program., 2013

Fully abstract compilation to JavaScript.

Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Évariste Dagand, Pierre-Yves Strub, Benjamin Livshits

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Verifying higher-order programs with the dijkstra monad.

Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, Benjamin Livshits

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

dkal ⋆ : Constructing Executable Specifications of Authorization Protocols.

Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, Nikhil Swamy

Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

2012

Self-certification: bootstrapping certified typecheckers in F* with Coq.

Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011

Verifying stateful programs with substructural state and hoare types.

Johannes Borgström, Juan Chen, Nikhil Swamy

Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, 2011

2010

Type-preserving compilation of end-to-end verification of security enforcement.

Juan Chen, Ravi Chugh, Nikhil Swamy

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Enforcing Stateful Authorization and Information Flow Policies in Fine.

Nikhil Swamy, Juan Chen, Ravi Chugh

Proceedings of the Programming Languages and Systems, 2010