| 2006 |
|---|
| 26 | EE | Rajeev Joshi,
Greg Nelson,
Yunhong Zhou:
Denali: A practical algorithm for generating optimal code.
ACM Trans. Program. Lang. Syst. 28(6): 967-989 (2006) |
| 2005 |
|---|
| 25 | EE | David Detlefs,
Greg Nelson,
James B. Saxe:
Simplify: a theorem prover for program checking.
J. ACM 52(3): 365-473 (2005) |
| 2004 |
|---|
| 24 | EE | Greg Nelson:
Extended Static Checking for Java.
MPC 2004: 1 |
| 2003 |
|---|
| 23 | EE | Greg Nelson:
Reasoning about Quantifiers by Matching in the E-graph.
CADE 2003: 166 |
| 2002 |
|---|
| 22 | EE | Greg Nelson:
Foundations of a Constraint-Based Illustrator.
FroCos 2002: 1 |
| 21 | EE | Cormac Flanagan,
K. Rustan M. Leino,
Mark Lillibridge,
Greg Nelson,
James B. Saxe,
Raymie Stata:
Extended Static Checking for Java.
PLDI 2002: 234-245 |
| 20 | EE | Rajeev Joshi,
Greg Nelson,
Keith H. Randall:
Denali: A Goal-directed Superoptimizer.
PLDI 2002: 304-314 |
| 19 | EE | K. Rustan M. Leino,
Greg Nelson:
Data abstraction and information hiding.
ACM Trans. Program. Lang. Syst. 24(5): 491-553 (2002) |
| 1998 |
|---|
| 18 | | K. Rustan M. Leino,
Greg Nelson:
An Extended Static Checker for Modular-3.
CC 1998: 302-305 |
| 1997 |
|---|
| 17 | | Stefan Savage,
Michael Burrows,
Greg Nelson,
Patrick Sobalvarro,
Thomas E. Anderson:
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs.
SOSP 1997: 27-37 |
| 16 | EE | Stefan Savage,
Michael Burrows,
Greg Nelson,
Patrick Sobalvarro,
Thomas E. Anderson:
Eraser: A Dynamic Data Race Detector for Multithreaded Programs.
ACM Trans. Comput. Syst. 15(4): 391-411 (1997) |
| 1995 |
|---|
| 15 | EE | Steve Glassman,
Greg Nelson:
An Animation of Euclid's Proposition 47: The Pythagorean Theorem.
Symposium on Computational Geometry 1995: V3-V4 |
| 14 | | Andrew Birrell,
Greg Nelson,
Susan S. Owicki,
Edward Wobber:
Network Objects
Softw., Pract. Exper. 25(S4): S4/87-S4/130 (1995) |
| 1994 |
|---|
| 13 | EE | Anna R. Karlin,
Greg Nelson,
Hisao Tamaki:
On the fault tolerance of the butterfly.
STOC 1994: 125-133 |
| 12 | EE | Manfred Broy,
Greg Nelson:
Adding Fair Choice to Dijkstra's Calculus.
ACM Trans. Program. Lang. Syst. 16(3): 924-938 (1994) |
| 1993 |
|---|
| 11 | | Andrew Birrell,
Greg Nelson,
Susan S. Owicki,
Edward Wobber:
Network Objects.
SOSP 1993: 217-230 |
| 1992 |
|---|
| 10 | | David Bulman,
S. Tucker Taft,
Bertrand Meyer,
Greg Nelson,
Mike Kilian:
OOP in Languages Providing Strong, Static Typing (Panel).
OOPSLA 1992: 87-91 |
| 9 | EE | Luca Cardelli,
James E. Donahue,
Lucille Glassman,
Mick J. Jordan,
Bill Kalsow,
Greg Nelson:
Modula-3 language definition.
SIGPLAN Notices 27(8): 15-42 (1992) |
| 1990 |
|---|
| 8 | | Paul Thagard,
Keith J. Holyoak,
Greg Nelson,
David Gochfeld:
Analog Wetrieval by Constraint Satisfaction.
Artif. Intell. 46(3): 259-310 (1990) |
| 1989 |
|---|
| 7 | | Luca Cardelli,
James E. Donahue,
Mick J. Jordan,
Bill Kalsow,
Greg Nelson:
The Modula-3 Type System.
POPL 1989: 202-212 |
| 6 | EE | Greg Nelson:
A Generalization of Dijkstra's Calculus.
ACM Trans. Program. Lang. Syst. 11(4): 517-561 (1989) |
| 1985 |
|---|
| 5 | EE | Greg Nelson:
Juno, a constraint-based graphics system.
SIGGRAPH 1985: 235-243 |
| 1983 |
|---|
| 4 | | Greg Nelson:
Verifying Reachability Invariants of Linked Structures.
POPL 1983: 38-47 |
| 1980 |
|---|
| 3 | EE | Greg Nelson,
Derek C. Oppen:
Fast Decision Procedures Based on Congruence Closure.
J. ACM 27(2): 356-364 (1980) |
| 1979 |
|---|
| 2 | EE | Greg Nelson,
Derek C. Oppen:
Simplification by Cooperating Decision Procedures.
ACM Trans. Program. Lang. Syst. 1(2): 245-257 (1979) |
| 1977 |
|---|
| 1 | | Greg Nelson,
Derek C. Oppen:
Fast Decision Algorithms Based on Union and Find
FOCS 1977: 114-119 |
