Travelled to:2 × USA
Collaborated with:C.Flanagan T.Disney Jean Yang 0001 Travis Hance A.Solar-Lezama S.Chong
Talks about:inform (2) dynam (2) flow (2) virtual (1) multipl (1) languag (1) databas (1) precis (1) extens (1) applic (1)
Person: Thomas H. Austin
DBLP: Austin:Thomas_H=
Contributed to:
2012
2011
2016Wrote 3 papers:
- POPL-2012-AustinF #data flow #information management #multi
- Multiple facets for dynamic information flow (THA, CF), pp. 165–178.
- OOPSLA-2011-AustinDF
- Virtual values for language extension (THA, TD, CF), pp. 921–938.
- PLDI-2016-YangHASFC #data flow #information management #precise
- Precise, dynamic information flow for database-backed applications (JY0, TH, THA, ASL, CF, SC), pp. 631–647.