William Pugh
William Pugh
Professor of Computer Science, University of Maryland
Verified email at cs.umd.edu - Homepage
Title
Cited by
Cited by
Year
Skip lists: a probabilistic alternative to balanced trees
W Pugh
Communications of the ACM 33 (6), 668-676, 1990
14131990
The Omega test: a fast and practical integer programming algorithm for dependence analysis
W Pugh
Supercomputing'91: Proceedings of the 1991 ACM/IEEE conference on …, 1991
11361991
Finding bugs is easy
D Hovemeyer, W Pugh
Acm sigplan notices 39 (12), 92-106, 2004
10662004
The Java memory model
J Manson, W Pugh, SV Adve
ACM SIGPLAN Notices 40 (1), 378-391, 2005
7882005
A practical algorithm for exact array dependence analysis
W Pugh
Communications of the ACM 35 (8), 102-114, 1992
6331992
Using static analysis to find bugs
N Ayewah, W Pugh, D Hovemeyer, JD Morgenthaler, J Penix
IEEE software 25 (5), 22-29, 2008
4272008
The omega library interface guide
W Kelly, V Maslov, W Pugh, E Rosser, T Shpeisman, D Wonnacott
University of Maryland at College Park, 1995
2381995
Evaluating static analysis defect warnings on production software
N Ayewah, W Pugh, JD Morgenthaler, J Penix, YQ Zhou
2352007
Symbolic model checking of infinite state systems using Presburger arithmetic
T Bultan, R Gerber, W Pugh
International Conference on Computer Aided Verification, 400-411, 1997
2261997
An exact method for analysis of value-based array data dependences
W Pugh, D Wonnacott
International Workshop on Languages and Compilers for Parallel Computing …, 1993
2261993
Incremental computation via function caching
W Pugh, T Teitelbaum
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
2161989
Counting solutions to presburger formulas: How and why
W Pugh
ACM SIGPLAN Notices 29 (6), 121-134, 1994
1911994
Skip lists: A probabilistic alternative to balanced trees
W Pugh
Workshop on Algorithms and Data Structures, 437-449, 1989
1811989
Fixing the Java memory model
W Pugh
Proceedings of the ACM 1999 conference on Java Grande, 89-98, 1999
1771999
Model-checking concurrent systems with unbounded integer variables: Symbolic representations, approximations, and experimental results
T Bultan, R Gerber, W Pugh
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (4), 747-789, 1999
1681999
Eliminating false data dependences using the Omega test
W Pugh, D Wonnacott
ACM SIGPLAN Notices 27 (7), 140-151, 1992
1671992
Code generation for multiple mappings
W Kelly, W Pugh, E Rosser
Proceedings Frontiers' 95. The Fifth Symposium on the Frontiers of Massively …, 1995
1661995
A framework for unifying reordering transformations
W Kelly, W Pugh
1581998
Compressing Java class files
W Pugh
ACM SIGPLAN Notices 34 (5), 247-258, 1999
1481999
Experiences with marmoset: designing and using an advanced submission and testing system for programming courses
J Spacco, D Hovemeyer, W Pugh, F Emad, JK Hollingsworth, ...
ACM Sigcse Bulletin 38 (3), 13-17, 2006
1362006
The system can't perform the operation now. Try again later.
Articles 1–20