Travelled to:1 × Canada
1 × USA
Collaborated with:A.Bohannon B.C.Pierce L.Jia K.Mazurak J.Zhao L.Zarko J.Schorr S.Zdancewic
Talks about:languag (2) program (1) author (1) updat (1) relat (1) audit (1) view (1) lens (1) aura (1)
Person: Jeffrey A. Vaughan
DBLP: Vaughan:Jeffrey_A=
Contributed to:
2008
2006Wrote 2 papers:
- ICFP-2008-JiaVMZZSZ #named #programming language
- AURA: a programming language for authorization and audit (LJ, JAV, KM, JZ, LZ, JS, SZ), pp. 27–38.
- PODS-2006-BohannonPV #lens #relational
- Relational lenses: a language for updatable views (AB, BCP, JAV), pp. 338–347.