Greg Nelson

According to our database, Greg Nelson authored at least 28 papers between 1977 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2017

DigiTouch: Reconfigurable Thumb-to-Finger Input and Text Entry on Head-mounted Displays.

Eric Whitmire, Mohit Jain, Divye Jain, Greg Nelson, Ravi Karkar, Shwetak N. Patel, Mayank Goel

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2017

2013

PLDI 2002: Extended static checking for Java.

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata

ACM SIGPLAN Notices, 2013

2006

Denali: A practical algorithm for generating optimal code.

Rajeev Joshi, Greg Nelson, Yunhong Zhou

ACM Trans. Program. Lang. Syst., 2006

Active document versioning: from layout understanding to adjustment.

Xiaofan Lin, Hui Chao, Greg Nelson, Elsa Durante

Proceedings of the Document Recognition and Retrieval XIII, 2006

2005

Simplify: a theorem prover for program checking.

David Detlefs, Greg Nelson, James B. Saxe

J. ACM, 2005

2004

Extended Static Checking for Java.

Greg Nelson

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

2003

Reasoning about Quantifiers by Matching in the E-graph.

Greg Nelson

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2002

Data abstraction and information hiding.

K. Rustan M. Leino, Greg Nelson

ACM Trans. Program. Lang. Syst., 2002

Denali: A Goal-directed Superoptimizer.

Rajeev Joshi, Greg Nelson, Keith H. Randall

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

Extended Static Checking for Java.

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

Foundations of a Constraint-Based Illustrator.

Greg Nelson

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

1998

An Extended Static Checker for Modular-3.

K. Rustan M. Leino, Greg Nelson

Proceedings of the Compiler Construction, 7th International Conference, 1998

1997

Eraser: A Dynamic Data Race Detector for Multithreaded Programs.

Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas E. Anderson

ACM Trans. Comput. Syst., 1997

Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs.

Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas E. Anderson

Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

1995

Network Objects

Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber

Softw. Pract. Exp., 1995

An Animation of Euclid's Proposition 47: The Pythagorean Theorem.

Steven C. Glassman, Greg Nelson

Proceedings of the Eleventh Annual Symposium on Computational Geometry, 1995

1994

Adding Fair Choice to Dijkstra's Calculus.

Manfred Broy, Greg Nelson

ACM Trans. Program. Lang. Syst., 1994

On the fault tolerance of the butterfly.

Anna R. Karlin, Greg Nelson, Hisao Tamaki

Proceedings of the Twenty-Sixth Annual ACM Symposium on Theory of Computing, 1994

1992

Modula-3 language definition.

Luca Cardelli, James E. Donahue, Lucille Glassman, Mick J. Jordan, Bill Kalsow, Greg Nelson

ACM SIGPLAN Notices, 1992

OOP in Languages Providing Strong, Static Typing (Panel).

David Bulman, S. Tucker Taft, Bertrand Meyer, Greg Nelson, Mike Kilian

Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992

1990

Analog Wetrieval by Constraint Satisfaction.

Paul Thagard, Keith J. Holyoak, Greg Nelson, David Gochfeld

Artif. Intell., 1990

1989

A Generalization of Dijkstra's Calculus.

Greg Nelson

ACM Trans. Program. Lang. Syst., 1989

The Modula-3 Type System.

Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

1985

Juno, a constraint-based graphics system.

Greg Nelson

Proceedings of the 12th Annual Conference on Computer Graphics and Interactive Techniques, 1985

1983

Verifying Reachability Invariants of Linked Structures.

Greg Nelson

Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

1980

Fast Decision Procedures Based on Congruence Closure.

Greg Nelson, Derek C. Oppen

J. ACM, 1980

1979

Simplification by Cooperating Decision Procedures.

Greg Nelson, Derek C. Oppen

ACM Trans. Program. Lang. Syst., 1979

1977

Fast Decision Algorithms Based on Union and Find

Greg Nelson, Derek C. Oppen

Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977