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 × Canada
1 × France
1 × Germany
1 × Portugal
5 × USA
Collaborated with:
K.R.M.Leino R.Joshi K.H.Randall A.R.Karlin H.Tamaki X.Lin H.Chao E.Durante A.Birrell S.S.Owicki E.Wobber S.Savage M.Burrows P.Sobalvarro T.E.Anderson L.Cardelli J.E.Donahue M.J.Jordan B.Kalsow C.Flanagan M.Lillibridge J.B.Saxe R.Stata
Talks about:
static (2) extend (2) understand (1) superoptim (1) butterfli (1) structur (1) reachabl (1) quantifi (1) document (1) detector (1)

Person: Greg Nelson

DBLP DBLP: Nelson:Greg

Contributed to:

DRR 20062006
CADE 20032003
PLDI 20022002
CC 19981998
SOSP 19971997
STOC 19941994
SOSP 19931993
POPL 19891989
POPL 19831983

Wrote 10 papers:

DRR-2006-LinCND #comprehension #documentation #layout #version control
Active document versioning: from layout understanding to adjustment (XL, HC, GN, ED).
CADE-2003-Nelson #quantifier #reasoning
Reasoning about Quantifiers by Matching in the E-graph (GN), p. 166.
PLDI-2002-FlanaganLLNSS #java #static analysis
Extended Static Checking for Java (CF, KRML, ML, GN, JBS, RS), pp. 234–245.
PLDI-2002-JoshiNR #named
Denali: A Goal-directed Superoptimizer (RJ, GN, KHR), pp. 304–314.
CC-1998-LeinoN #static analysis
An Extended Static Checker for Modular-3 (KRML, GN), pp. 302–305.
SOSP-1997-SavageABNS #concurrent #detection #multi #named #source code #thread
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs (SS, MB, GN, PS, TEA), pp. 27–37.
STOC-1994-KarlinNT #fault tolerance #on the
On the fault tolerance of the butterfly (ARK, GN, HT), pp. 125–133.
SOSP-1993-BirrellNOW #network
Network Objects (AB, GN, SSO, EW), pp. 217–230.
POPL-1989-CardelliDJKN #type system
The Modula-3 Type System (LC, JED, MJJ, BK, GN), pp. 202–212.
POPL-1983-Nelson #invariant #reachability #verification
Verifying Reachability Invariants of Linked Structures (GN), pp. 38–47.

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.