Collaborated with:J.P.Near D.Darais Chike Abuah Tim Stevens Pranav Gaddamadugu L.Wang Neel Somani N.Sharma Alex Shan D.Song
Talks about:differenti (1) privaci (1) languag (1) express (1) system (1) static (1) linear (1) higher (1) enforc (1) order (1)
Person: Mu Zhang 0001
DBLP: 0001:Mu_Zhang
Contributed to:
2019Wrote 1 papers:
- OOPSLA-2019-NearDASGWSZSSS #difference #higher-order #linear #named #privacy #type system
- Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy (JPN, DD, CA, TS, PG, LW, NS, MZ0, NS, AS, DS), p. 30.