BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × Hungary
2 × United Kingdom
3 × USA
Collaborated with:
D.Sands C.Hankin D.Clark P.Malacaria I.Mastroeni
Talks about:
abstract (4) interpret (3) analysi (3) type (3) interfer (2) approxim (2) secur (2) point (2) time (2) fix (2)

Person: Sebastian Hunt

DBLP DBLP: Hunt:Sebastian

Contributed to:

ESOP 20112011
ESOP 20082008
POPL 20062006
SAS 20052005
QAPL 20042005
QAPL 20012001
SAS 20002000
ESOP 19921992
ESOP 19921994
PEPM 19911991
FPCA 19891989

Wrote 11 papers:

ESOP-2011-HuntS #exponential #polynomial #security #type system
From Exponential to Polynomial-Time Security Typing via Principal Types (SH, DS), pp. 297–316.
ESOP-2008-HuntS #semantics
Just Forget It — The Semantics and Enforcement of Information Erasure (SH, DS), pp. 239–253.
POPL-2006-HuntS #on the #security
On flow-sensitive security types (SH, DS), pp. 79–90.
SAS-2005-HuntM
The PER Model of Abstract Non-interference (SH, IM), pp. 171–185.
QAPL-2004-ClarkHM05 #quantifier
Quantified Interference for a While Language (DC, SH, PM), pp. 149–166.
QAPL-2001-ClarkHM #analysis
Quantitative Analysis of the Leakage of Confidential Data (DC, SH, PM), pp. 238–251.
SAS-2000-ClarkHH #analysis #graph grammar #safety #strict
Safety of Strictness Analysis via Term Graph Rewriting (DC, CH, SH), pp. 95–114.
ESOP-1992-HankinH #abstract interpretation #approximate #fixpoint
Approximate Fixed Points in Abstract Interpretation (CH, SH), pp. 219–232.
ESOP-J-1992-HankinH94 #abstract interpretation #approximate #fixpoint
Approximate Fixed Points in Abstract Interpretation (CH, SH), pp. 283–306.
PEPM-1991-HuntS #analysis #perspective
Binding Time Analysis: A New PERspective (SH, DS), pp. 154–165.
FPCA-1989-Hunt #abstract interpretation #set
Frontiers and Open Sets in Abstract Interpretation (SH), pp. 1–13.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.