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: Nelson:Greg
Contributed to:
2006
2003
2002
1998
1997
19941993
19891983Wrote 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.