dblp.uni-trier.dewww.uni-trier.de

Greg Nelson Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
26EERajeev Joshi, Greg Nelson, Yunhong Zhou: Denali: A practical algorithm for generating optimal code. ACM Trans. Program. Lang. Syst. 28(6): 967-989 (2006)
2005
25EEDavid Detlefs, Greg Nelson, James B. Saxe: Simplify: a theorem prover for program checking. J. ACM 52(3): 365-473 (2005)
2004
24EEGreg Nelson: Extended Static Checking for Java. MPC 2004: 1
2003
23EEGreg Nelson: Reasoning about Quantifiers by Matching in the E-graph. CADE 2003: 166
2002
22EEGreg Nelson: Foundations of a Constraint-Based Illustrator. FroCos 2002: 1
21EECormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata: Extended Static Checking for Java. PLDI 2002: 234-245
20EERajeev Joshi, Greg Nelson, Keith H. Randall: Denali: A Goal-directed Superoptimizer. PLDI 2002: 304-314
19EEK. Rustan M. Leino, Greg Nelson: Data abstraction and information hiding. ACM Trans. Program. Lang. Syst. 24(5): 491-553 (2002)
1998
18EEK. 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
16EEStefan 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
15EESteve 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
13EEAnna R. Karlin, Greg Nelson, Hisao Tamaki: On the fault tolerance of the butterfly. STOC 1994: 125-133
12EEManfred 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
9EELuca 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
6EEGreg Nelson: A Generalization of Dijkstra's Calculus. ACM Trans. Program. Lang. Syst. 11(4): 517-561 (1989)
1985
5EEGreg 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
3EEGreg Nelson, Derek C. Oppen: Fast Decision Procedures Based on Congruence Closure. J. ACM 27(2): 356-364 (1980)
1979
2EEGreg 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

Coauthor Index

1Thomas E. Anderson [16] [17]
2Andrew Birrell [11] [14]
3Manfred Broy [12]
4David Bulman [10]
5Michael Burrows [16] [17]
6Luca Cardelli [7] [9]
7David Detlefs [25]
8James E. Donahue [7] [9]
9Cormac Flanagan [21]
10Lucille Glassman [9]
11Steve Glassman [15]
12David Gochfeld [8]
13Keith J. Holyoak [8]
14Mick J. Jordan [7] [9]
15Rajeev Joshi [20] [26]
16Bill Kalsow [7] [9]
17Anna R. Karlin [13]
18Mike Kilian [10]
19K. Rustan M. Leino [18] [19] [21]
20Mark Lillibridge [21]
21Bertrand Meyer [10]
22Derek C. Oppen [1] [2] [3]
23Susan S. Owicki [11] [14]
24Keith H. Randall [20]
25Stefan Savage [16] [17]
26James B. Saxe [21] [25]
27Patrick Sobalvarro [16] [17]
28Raymie Stata [21]
29S. Tucker Taft [10]
30Hisao Tamaki [13]
31Paul Thagard [8]
32Edward Wobber [11] [14]
33Yunhong Zhou [26]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)