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 × Japan
1 × USA
Collaborated with:
C.Hawblitzel K.Yessenov A.Solar-Lezama N.Swamy J.Chen C.Fournet P.Strub K.Bhargavan
Talks about:
type (2) safe (2) distribut (1) instruct (1) program (1) privaci (1) languag (1) automat (1) system (1) polici (1)

Person: Jean Yang

DBLP DBLP: Yang:Jean

Contributed to:

POPL 20122012
ICFP 20112011
PLDI 20102010

Wrote 3 papers:

POPL-2012-YangYS #automation #policy #privacy
A language for automatically enforcing privacy policies (JY, KY, ASL), pp. 85–96.
ICFP-2011-SwamyCFSBY #dependent type #distributed #programming
Secure distributed programming with value-dependent types (NS, JC, CF, PYS, KB, JY), pp. 266–278.
PLDI-2010-YangH #automation #operating system #type safety #verification
Safe to the last instruction: automated verification of a type-safe operating system (JY, CH), pp. 99–110.

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.