BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Sweden
4 × USA
Collaborated with:
D.Walker D.Ray L.W.Mackey G.A.Reis D.I.August L.Bauer S.Zdancewic F.Perry
Talks about:
type (2) calculus (1) languag (1) assembl (1) theori (1) static (1) polici (1) inject (1) faulti (1) compos (1)

Person: Jay Ligatti

DBLP DBLP: Ligatti:Jay

Contributed to:

POPL 20122012
PLDI 20072007
ICFP 20062006
PLDI 20052005
ICFP 20032003

Wrote 5 papers:

POPL-2012-RayL #injection
Defining code-injection attacks (DR, JL), pp. 179–190.
PLDI-2007-PerryMRLAW #assembly #fault tolerance
Fault-tolerant typed assembly language (FP, LWM, GAR, JL, DIA, DW), pp. 42–53.
ICFP-2006-WalkerMLRA #static typing #type system #λ-calculus
Static typing for a faulty λ calculus (DW, LWM, JL, GAR, DIA), pp. 38–49.
PLDI-2005-BauerLW #policy #security
Composing security policies with polymer (LB, JL, DW), pp. 305–314.
ICFP-2003-WalkerZL #aspect-oriented #formal method
A theory of aspects (DW, SZ, JL), pp. 127–139.

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.