Greg Nelson

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