Greg Nelson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
10
Active years
1977–2004
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | MPC | Extended Static Checking for Java. | Greg Nelson |
| 2003 | CADE | Reasoning about Quantifiers by Matching in the E-graph. | Greg Nelson |
| 2002 | PLDI | Extended Static Checking for Java. | Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata |
| 2002 | PLDI | Denali: A Goal-directed Superoptimizer. | Rajeev Joshi, Greg Nelson, Keith H. Randall |
| 1998 | CC | An Extended Static Checker for Modular-3. | K. Rustan M. Leino, Greg Nelson |
| 1997 | SOSP | Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs. | Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas E. Anderson |
| 1994 | STOC | On the fault tolerance of the butterfly. | Anna R. Karlin, Greg Nelson, Hisao Tamaki |
| 1993 | SOSP | Network Objects. | Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber |
| 1992 | OOPSLA | OOP in Languages Providing Strong, Static Typing (Panel). | David Bulman, S. Tucker Taft, Bertrand Meyer, Greg Nelson, Mike Kilian |
| 1989 | POPL | The Modula-3 Type System. | Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson |
| 1985 | SIGGRAPH | Juno, a constraint-based graphics system. | Greg Nelson |
| 1983 | POPL | Verifying Reachability Invariants of Linked Structures. | Greg Nelson |
| 1977 | FOCS | Fast Decision Algorithms Based on Union and Find | Greg Nelson, Derek C. Oppen |