BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Cyprus
1 × France
1 × Italy
1 × Japan
6 × USA
Collaborated with:
N.Swamy C.Fournet P.Strub R.Chugh D.Tarditi C.Hawblitzel B.Livshits R.Tate K.Bhargavan D.Wu A.W.Appel H.Fang J.Weinberger C.Schlesinger P.Dagand J.Yang A.Rastogi G.M.Bierman F.Perry M.Emmi J.Condit D.Coetzee P.Pratikaki
Talks about:
type (7) compil (5) languag (4) orient (3) object (3) secur (3) end (3) javascript (2) intermedi (2) program (2)

Person: Juan Chen

DBLP DBLP: Chen:Juan

Contributed to:

POPL 20142014
PLDI 20132013
POPL 20132013
POPL 20122012
ICFP 20112011
ESOP 20102010
PLDI 20102010
PLDI 20082008
POPL 20072007
POPL 20052005
PLDI 20032003

Wrote 12 papers:

POPL-2014-SwamyFRBCSB #embedded #javascript #type system
Gradual typing embedded securely in JavaScript (NS, CF, AR, KB, JC, PYS, GMB), pp. 425–438.
PLDI-2013-SwamyWSCL #higher-order #monad #source code #verification
Verifying higher-order programs with the dijkstra monad (NS, JW, CS, JC, BL), pp. 387–398.
POPL-2013-FournetSCDSL #compilation #javascript
Fully abstract compilation to JavaScript (CF, NS, JC, PÉD, PYS, BL), pp. 371–384.
POPL-2012-StrubSFC #coq #named #self
Self-certification: bootstrapping certified typecheckers in F* with Coq (PYS, NS, CF, JC), pp. 571–584.
ICFP-2011-SwamyCFSBY #dependent type #distributed #programming
Secure distributed programming with value-dependent types (NS, JC, CF, PYS, KB, JY), pp. 266–278.
ESOP-2010-SwamyCC #data flow #policy
Enforcing Stateful Authorization and Information Flow Policies in Fine (NS, JC, RC), pp. 529–549.
PLDI-2010-ChenCS #compilation #security #verification
Type-preserving compilation of end-to-end verification of security enforcement (JC, RC, NS), pp. 412–423.
PLDI-2010-TateCH #assembly #object-oriented
Inferable object-oriented typed assembly language (RT, JC, CH), pp. 424–435.
PLDI-2008-ChenHPECCP #compilation #object-oriented #optimisation #scalability
Type-preserving compilation for large-scale optimizing object-oriented compilers (JC, CH, FP, ME, JC, DC, PP), pp. 183–192.
POPL-2007-Chen #compilation #inheritance #multi
A typed intermediate language for compiling multiple inheritance (JC), pp. 25–30.
POPL-2005-ChenT #object-oriented
A simple typed intermediate language for object-oriented languages (JC, DT), pp. 38–49.
PLDI-2003-ChenWAF #optimisation
A provably sound TAL for back-end optimization (JC, DW, AWA, HF), pp. 208–219.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.