Data Capsule: A New Paradigm for Automatic Compliance with Data Privacy Regulations. - Lun Wang 001; Joseph P. Near; Neel Somani; Peng Gao 008; Andrew Low; David Dao; Dawn Song (Poly/DMAH@VLDB, 2019)

Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy. - Joseph P. Near; David Darais; Chike Abuah; Tim Stevens; Pranav Gaddamadugu; Lun Wang 001; Neel Somani; Mu Zhang 001; Nikhil Sharma; Alex Shan; Dawn Song (Proc. ACM Program. Lang., 2019)

PrivGuard: Privacy Regulation Compliance Made Easier. - Lun Wang 001; Usmann Khan; Joseph P. Near; Qi Pang; Jithendaraa Subramanian; Neel Somani; Peng Gao 008; Andrew Low; Dawn Song (USENIX Security Symposium, 2022)