Folgen
William Pugh
William Pugh
Professor of Computer Science, University of Maryland
Bestätigte E-Mail-Adresse bei cs.umd.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Skip lists: a probabilistic alternative to balanced trees
W Pugh
Communications of the ACM 33 (6), 668-676, 1990
17651990
Finding bugs is easy
D Hovemeyer, W Pugh
Acm sigplan notices 39 (12), 92-106, 2004
13312004
The Omega test: a fast and practical integer programming algorithm for dependence analysis
W Pugh
Proceedings of the 1991 ACM/IEEE conference on Supercomputing, 4-13, 1991
12471991
The Java memory model
J Manson, W Pugh, SV Adve
ACM SIGPLAN Notices 40 (1), 378-391, 2005
9142005
Using static analysis to find bugs
N Ayewah, W Pugh, D Hovemeyer, JD Morgenthaler, J Penix
IEEE software 25 (5), 22-29, 2008
7422008
A practical algorithm for exact array dependence analysis
W Pugh
Communications of the ACM 35 (8), 102-114, 1992
5521992
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
3102007
The omega library interface guide
W Kelly, V Maslov, W Pugh, E Rosser, T Shpeisman, D Wonnacott
University of Maryland at College Park, 1995
2611995
Incremental computation via function caching
W Pugh, T Teitelbaum
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
2581989
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
2521993
Symbolic model checking of infinite state systems using Presburger arithmetic
T Bultan, R Gerber, W Pugh
Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997
2381997
Counting solutions to presburger formulas: How and why
W Pugh
ACM SIGPLAN Notices 29 (6), 121-134, 1994
2061994
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
2022006
Fixing the Java memory model
W Pugh
Proceedings of the ACM 1999 conference on Java Grande, 89-98, 1999
2001999
Skip lists: A probabilistic alternative to balanced trees
W Pugh
Workshop on Algorithms and Data Structures, 437-449, 1989
1941989
Code generation for multiple mappings
W Kelly, W Pugh, E Rosser
Proceedings Frontiers' 95. The Fifth Symposium on the Frontiers of Massively …, 1995
1881995
Eliminating false data dependences using the Omega test
W Pugh, D Wonnacott
Acm Sigplan Notices 27 (7), 140-151, 1992
1841992
Finding more null pointer bugs, but not too many
D Hovemeyer, W Pugh
Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2007
1762007
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
1721999
A framework for unifying reordering transformations
W Kelly, W Pugh
Digital Repository at the University of Maryland, 1998
1711998
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20