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: Yang:Jean
Contributed to:
2012
2011
2010Wrote 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.