Greg Nelson

Publication Activity (10 Years)

Years Active: 1977-2017
Publications (10 Years): 1

Top Topics

Operating System

Database Applications

Top Venues

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.

ACM SIGPLAN Notices

Publications

Eric Whitmire, Mohit Jain, Divye Jain, Greg Nelson, Ravi Karkar, Shwetak N. Patel, Mayank Goel
DigiTouch: Reconfigurable Thumb-to-Finger Input and Text Entry on Head-mounted Displays. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 1 (3) (2017)
Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
PLDI 2002: Extended static checking for Java. ACM SIGPLAN Notices 48 (4S) (2013)
Rajeev Joshi, Greg Nelson, Yunhong Zhou
Denali: A practical algorithm for generating optimal code. ACM Trans. Program. Lang. Syst. 28 (6) (2006)
Xiaofan Lin, Hui Chao, Greg Nelson, Elsa Durante
Active document versioning: from layout understanding to adjustment. DRR (2006)
David Detlefs, Greg Nelson, James B. Saxe
Simplify: a theorem prover for program checking. J. ACM 52 (3) (2005)
Greg Nelson
Extended Static Checking for Java. MPC (2004)
Greg Nelson
Reasoning about Quantifiers by Matching in the E-graph. CADE (2003)
Rajeev Joshi, Greg Nelson, Keith H. Randall
Denali: A Goal-directed Superoptimizer. PLDI (2002)
Greg Nelson
Foundations of a Constraint-Based Illustrator. FroCoS (2002)
Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
Extended Static Checking for Java. PLDI (2002)
K. Rustan M. Leino, Greg Nelson
Data abstraction and information hiding. ACM Trans. Program. Lang. Syst. 24 (5) (2002)
K. Rustan M. Leino, Greg Nelson
An Extended Static Checker for Modular-3. CC (1998)
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) (1997)
Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas E. Anderson
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs. SOSP (1997)
Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber
Network Objects Softw. Pract. Exp. 25 (S4) (1995)
Steven C. Glassman, Greg Nelson
An Animation of Euclid's Proposition 47: The Pythagorean Theorem. SCG (1995)
Manfred Broy, Greg Nelson
Adding Fair Choice to Dijkstra's Calculus. ACM Trans. Program. Lang. Syst. 16 (3) (1994)
Anna R. Karlin, Greg Nelson, Hisao Tamaki
On the fault tolerance of the butterfly. STOC (1994)
Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber
Network Objects. SOSP (1993)
Luca Cardelli, James E. Donahue, Lucille Glassman, Mick J. Jordan, Bill Kalsow, Greg Nelson
Modula-3 language definition. ACM SIGPLAN Notices 27 (8) (1992)
David Bulman, S. Tucker Taft, Bertrand Meyer, Greg Nelson, Mike Kilian
OOP in Languages Providing Strong, Static Typing (Panel). OOPSLA (1992)
Paul Thagard, Keith J. Holyoak, Greg Nelson, David Gochfeld
Analog Wetrieval by Constraint Satisfaction. Artif. Intell. 46 (3) (1990)
Greg Nelson
A Generalization of Dijkstra's Calculus. ACM Trans. Program. Lang. Syst. 11 (4) (1989)
Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson
The Modula-3 Type System. POPL (1989)
Greg Nelson
Juno, a constraint-based graphics system. SIGGRAPH (1985)
Greg Nelson
Verifying Reachability Invariants of Linked Structures. POPL (1983)
Greg Nelson, Derek C. Oppen
Fast Decision Procedures Based on Congruence Closure. J. ACM 27 (2) (1980)
Greg Nelson, Derek C. Oppen
Simplification by Cooperating Decision Procedures. ACM Trans. Program. Lang. Syst. 1 (2) (1979)
Greg Nelson, Derek C. Oppen
Fast Decision Algorithms Based on Union and Find FOCS (1977)