Collaborated with:M.F.Ursu Jonathan J. Cook V.Zsombori I.Kegel Harald Mayer M.Hausenblas J.P.Near D.Darais Chike Abuah Pranav Gaddamadugu L.Wang Neel Somani Mu Zhang 0001 N.Sharma Alex Shan D.Song
Talks about:differenti (1) product (1) privaci (1) languag (1) express (1) environ (1) system (1) static (1) screen (1) linear (1)
Person: Tim Stevens
DBLP: Stevens:Tim
Contributed to:
2007
2019Wrote 2 papers:
- AIIDE-2007-UrsuCZKSMH #authoring
- Authoring Environment for ShapeShifting Screen Media Productions (MFU, JJC, VZ, IK, TS, HM, MH), pp. 114–115.
- 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.