William Pugh
William Pugh
Professor of Computer Science, University of Maryland
Email verificata su cs.umd.edu - Home page
Titolo
Citata da
Citata da
Anno
Skip lists: a probabilistic alternative to balanced trees
W Pugh
Communications of the ACM 33 (6), 668-676, 1990
14971990
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
11631991
Finding bugs is easy
D Hovemeyer, W Pugh
Acm sigplan notices 39 (12), 92-106, 2004
11182004
The Java memory model
J Manson, W Pugh, SV Adve
ACM SIGPLAN Notices 40 (1), 378-391, 2005
8162005
A practical algorithm for exact array dependence analysis
W Pugh
Communications of the ACM 35 (8), 102-114, 1992
6461992
Using static analysis to find bugs
N Ayewah, W Pugh, D Hovemeyer, JD Morgenthaler, J Penix
IEEE software 25 (5), 22-29, 2008
4892008
Evaluating static analysis defect warnings on production software
N Ayewah, W Pugh, JD Morgenthaler, J Penix, YQ Zhou
Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2007
2532007
The omega library interface guide
W Kelly, V Maslov, W Pugh, E Rosser, T Shpeisman, D Wonnacott
University of Maryland at College Park, 1995
2411995
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
2361997
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
2301993
Incremental computation via function caching
W Pugh, T Teitelbaum
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
2231989
Counting solutions to presburger formulas: How and why
W Pugh
ACM SIGPLAN Notices 29 (6), 121-134, 1994
1981994
Skip lists: A probabilistic alternative to balanced trees
W Pugh
Workshop on Algorithms and Data Structures, 437-449, 1989
1901989
Fixing the Java memory model
W Pugh
Proceedings of the ACM 1999 conference on Java Grande, 89-98, 1999
1811999
Eliminating false data dependences using the Omega test
W Pugh, D Wonnacott
ACM SIGPLAN Notices 27 (7), 140-151, 1992
1781992
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
1701999
Code generation for multiple mappings
W Kelly, W Pugh, E Rosser
Proceedings Frontiers' 95. The Fifth Symposium on the Frontiers of Massively …, 1995
1671995
A framework for unifying reordering transformations
W Kelly, W Pugh
1601998
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
1582006
Compressing Java class files
W Pugh
ACM SIGPLAN Notices 34 (5), 247-258, 1999
1491999
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20