Preventing information leaks with policy-agnostic programming by Yang, Jean, Ph. D. Massachusetts Institute of Technology

Get full text

Specification-enhanced execution by Yang, Jean, Ph. D. Massachusetts Institute of Technology

Get full text

Faceted execution of policy-agnostic programs by Austin, Thomas H., Yang, Jean, Flanagan, Cormac, Solar-Lezama, Armando

Get full text
Get full text
Get full text

Metabolic and Nutritional Issues Associated with Spinal Muscular Atrophy by Yang-Jean Li, Tai-Heng Chen, Yan-Zhang Wu, Yung-Hao Tseng

Get full text

Liquid information flow control by Polikarpova, Nadia, Stefan, Deian, Yang, Jean, Itzhaky, Shachar, Hance, Travis, Solar-Lezama, Armando

Get full text

Increased DNA microarray hybridization specificity using sscDNA targets by Hanspers Kristina, Dolganov Gregory M, Griffin Chandi, Barker Christopher S, Yang Jean, Erle David J

Get full text

Precise, dynamic information flow for database-backed applications by Yang, Jean, Hance, Travis, Austin, Thomas H., Flanagan, Cormac, Chong, Stephen, Solar Lezama, Armando

Get full text
Get full text