Jean Yang

Jean Yang

Carnegie Mellon University - Pittsburgh / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 889154
person_outline Jean Yang's MOST POPULAR ARTICLES
1-) Secure distributed programming with value-dependent typesN Swamy, J Chen, C Fournet, PY Strub, K Bhargavan, J YangACM SIGPLAN Notices 46 (9), 266-278, 20112562011
2-) A language for automatically enforcing privacy policiesJ Yang, K Yessenov, A Solar-LezamaACM SIGPLAN Notices 47 (1), 85-96, 20121822012
3-) Safe to the last instruction: automated verification of a type-safe operating systemJ Yang, C HawblitzelProceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 20101662010
4-) Precise, Dynamic Information Flow for Database-Backed ApplicationsJ Yang, T Hance, TH Austin, A Solar-Lezama, C Flanagan, S ChongProceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016872016
5-) Faceted execution of policy-agnostic programsTH Austin, J Yang, C Flanagan, A Solar-LezamaProceedings of the Eighth ACM SIGPLAN workshop on Programming languages and …, 2013732013