William W. Pugh

According to our database, William W. Pugh authored at least 75 papers between 1988 and 2012.

Collaborative distances:

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

2012

Static Analysis in Motion.

Brian Chess, Kris Britton, Chris Eng, Bill Pugh, Lakshmikanth Raghavan, Jacob West

IEEE Secur. Priv., 2012

2010

Null dereference analysis in practice.

Nathaniel Ayewah, William W. Pugh

Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2010

The Google FindBugs fixit.

Nathaniel Ayewah, William W. Pugh

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

2009

Learning from defect removals.

Nathaniel Ayewah, William W. Pugh

Proceedings of the 6th International Working Conference on Mining Software Repositories, 2009

2008

Two-dimensional bidirectional object layout.

Joseph Gil, William W. Pugh, Grant E. Weddell, Yoav Zibin

ACM Trans. Program. Lang. Syst., 2008

Using Static Analysis to Find Bugs.

Nathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, William W. Pugh

IEEE Softw., 2008

A report on a survey and study of static analysis users.

Nathaniel Ayewah, William W. Pugh

Proceedings of the 2008 Workshop on Defects in Large Software Systems, 2008

2007

Multithreading in C and C++.

Hans Boehm, Bill Pugh, Doug Lea

login Usenix Mag., 2007

Finding more null pointer bugs, but not too many.

David Hovemeyer, William W. Pugh

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

Improving software quality with static analysis.

Jeffrey S. Foster, Michael W. Hicks, William W. Pugh

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

Evaluating static analysis defect warnings on production software.

Nathaniel Ayewah, William W. Pugh, J. David Morgenthaler, John Penix, YuQian Zhou

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

Finding bugs in eclipse.

William W. Pugh

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Status report on JSR-305: annotations for software defect detection.

David Hovemeyer, William W. Pugh

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Using FindBugs on production software.

Nathaniel Ayewah, William W. Pugh, J. David Morgenthaler, John Penix, YuQian Zhou

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Unit testing concurrent software.

William W. Pugh, Nathaniel Ayewah

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006

The Marmoset project: an automated snapshot, submission, and testing system.

Jaime Spacco, William W. Pugh, Nathaniel Ayewah, David Hovemeyer

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Helping students appreciate test-driven development (TDD).

Jaime Spacco, William W. Pugh

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Improving your software using static analysis to find bugs.

Brian Cole, Daniel Hakim, David Hovemeyer, Reuven Lazarus, William W. Pugh, Kristin Stephens

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Tracking defect warnings across versions.

Jaime Spacco, David Hovemeyer, William W. Pugh

Proceedings of the 2006 International Workshop on Mining Software Repositories, 2006

Experiences with marmoset: designing and using an advanced submission and testing system for programming courses.

Jaime Spacco, David Hovemeyer, William W. Pugh, Fawzi Emad, Jeffrey K. Hollingsworth, Nelson Padua-Perez

Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2006

What do high-level memory models mean for transactions?

Dan Grossman, Jeremy Manson, William W. Pugh

Proceedings of the 2006 workshop on Memory System Performance and Correctness, 2006

2005

RUBiS Revisited: Why J2EE Benchmarking is Hard.

Jaime Spacco, William W. Pugh

Stud. Inform. Univ., 2005

Software repository mining with Marmoset: an automated programming project snapshot and testing system.

Jaime Spacco, Jaymie Strecker, David Hovemeyer, William W. Pugh

ACM SIGSOFT Softw. Eng. Notes, 2005

The Java memory model.

Jeremy Manson, William W. Pugh, Sarita V. Adve

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Evaluating and tuning a static analysis to find null pointer bugs.

David Hovemeyer, Jaime Spacco, William W. Pugh

Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

Keynote talk: Advice to bug hunters.

William W. Pugh

Proceedings of the Sixth International Workshop on Automated Debugging, 2005

2004

Finding bugs is easy.

David Hovemeyer, William W. Pugh

ACM SIGPLAN Notices, 2004

An Eclipse-based course project snapshot and submission system.

Jaime Spacco, David Hovemeyer, William W. Pugh

Proceedings of the 2004 OOPSLA workshop on Eclipse Technology eXchange, 2004

2003

MPJava: High-Performance Message Passing in Java Using Java.nio.

William W. Pugh, Jaime Spacco

Proceedings of the Languages and Compilers for Parallel Computing, 2003

Evaluating the Impact of Programming Language Features on the Performance of Parallel Applications on Cluster Architectures.

Konstantin Berlin, Jun Huan, Mary Jacob, Garima Kochhar, Jan F. Prins, William W. Pugh, P. Sadayappan, Jaime Spacco, Chau-Wen Tseng

Proceedings of the Languages and Compilers for Parallel Computing, 2003

2002

Atomic Instructions in Java.

David Hovemeyer, William W. Pugh, Jaime Spacco

Proceedings of the ECOOP 2002, 2002

2001

More Efficient Network Class Loading Through Bundling.

David Hovemeyer, William W. Pugh

Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, 2001

Core semantics of multithreaded Java.

Jeremy Manson, William W. Pugh

Proceedings of the ACM 2001 Java Grande Conference, Stanford University, California, USA, 2001

2000

The Java memory model is fatally flawed.

William W. Pugh

Concurr. Pract. Exp., 2000

1999

Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results.

Tevfik Bultan, Richard Gerber, William W. Pugh

ACM Trans. Program. Lang. Syst., 1999

Compressing Java Class Files.

William W. Pugh

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

Iteration Space Slicing for Locality.

William W. Pugh, Evan Rosser

Proceedings of the Languages and Compilers for Parallel Computing, 1999

Fixing the Java Memory Model.

William W. Pugh

Proceedings of the ACM 1999 Conference on Java Grande, JAVA '99, San Francisco, CA, USA, 1999

1998

Constraint-Based Array Dependence Analysis.

William W. Pugh, David Wonnacott

ACM Trans. Program. Lang. Syst., 1998

SIPR: A New Framework for Generating Efficient Code for Sparse Matrix Computations.

William W. Pugh, Tatiana Shpeisman

Proceedings of the Languages and Compilers for Parallel Computing, 1998

1997

Iteration Space Slicing and Its Application to Communication Optimization.

William W. Pugh, Evan Rosser

Proceedings of the 11th international conference on Supercomputing, 1997

Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic.

Tevfik Bultan, Richard Gerber, William W. Pugh

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Finding the ith largest of n for small i, n.

William I. Gasarch, Wayne Kelly, William W. Pugh

SIGACT News, 1996

Efficient Distribution Analysis via Graph Contraction.

Thomas J. Sheffler, Robert Schreiber, William W. Pugh, John R. Gilbert, Siddhartha Chatterjee

Int. J. Parallel Program., 1996

Transitive Closure of Infinite Graphs and its Applications.

Wayne Kelly, William W. Pugh, Evan Rosser, Tatiana Shpeisman

Int. J. Parallel Program., 1996

Exploiting Monotone Convergence Functions in Parallel Programs.

William W. Pugh, Evan Rosser, Tatiana Shpeisman

Proceedings of the Languages and Compilers for Parallel Computing, 1996

Minimizing Communication While Preserving Parallelism.

Wayne Kelly, William W. Pugh

Proceedings of the 10th international conference on Supercomputing, 1996

1995

Going Beyond Integer Programming with the Omega Test to Eliminate False Data Dependences.

William W. Pugh, David Wonnacott

IEEE Trans. Parallel Distributed Syst., 1995

Parametric Dispatching of Hard Real-Time Tasks.

Richard Gerber, William W. Pugh, Manas Saksena

IEEE Trans. Computers, 1995

Using affine closure to find legal reordering transformations.

Wayne Kelly, William W. Pugh

Int. J. Parallel Program., 1995

Broadband access: comparing alternatives.

William W. Pugh, Gerald Boyer

IEEE Commun. Mag., 1995

Non-Linear Array Dependence Analysis.

William W. Pugh, David Wonnacott

Proceedings of the Languages, 1995

1994

Static Analysis of Upper and Lower Bounds on Dependences and Parallelism.

William W. Pugh, David Wonnacott

ACM Trans. Program. Lang. Syst., 1994

Selecting Affine Mappings Based on Performance Estimation.

Wayne Kelly, William W. Pugh

Parallel Process. Lett., 1994

Parallel finite automata for modeling concurrent software systems.

P. David Stotts, William W. Pugh

J. Syst. Softw., 1994

Experiences with Constraint-based Array Dependence Analysis.

William W. Pugh, David Wonnacott

Proceedings of the Principles and Practice of Constraint Programming, 1994

Counting Solutions to Presburger Formulas: How and Why.

William W. Pugh

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

Finding Legal Reordering Transformations Using Mappings.

Wayne Kelly, William W. Pugh

Proceedings of the Languages and Compilers for Parallel Computing, 1994

Simplifying Polynominal Constraints Over Integers to Make Dependence Analysis More Precise.

Vadim Maslov, William W. Pugh

Proceedings of the Parallel Processing: CONPAR 94, 1994

1993

A Partial Evaluator for the Maruti Hard Real-Time System.

Vivek Nirkhe, William W. Pugh

Real Time Syst., 1993

An Exact Method for Analysis of Value-based Array Data Dependences.

William W. Pugh, David Wonnacott

Proceedings of the Languages and Compilers for Parallel Computing, 1993

1992

Definitions of Dependence Distance.

William W. Pugh

LOPLAS, 1992

A Practical Algorithm for Exact Array Dependence Analysis.

William W. Pugh

Commun. ACM, 1992

Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems.

Vivek Nirkhe, William W. Pugh

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

Eliminating False Data Dependences using the Omega Test.

William W. Pugh, David Wonnacott

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

1991

The Omega test: a fast and practical integer programming algorithm for dependence analysis.

William W. Pugh

Proceedings of the Proceedings Supercomputing '91, 1991

Advice to Authors of Extended Abstracts.

William W. Pugh

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

Uniform techniques for loop optimization.

William W. Pugh

Proceedings of the 5th international conference on Supercomputing, 1991

1990

Slow Optimally Balanced Search Strategies VS. Cached Fast Uniformly Balanced Search Strategies.

William W. Pugh

Inf. Process. Lett., 1990

Skip Lists: A Probabilistic Alternative to Balanced Trees.

William W. Pugh

Commun. ACM, 1990

Two-Directional Record Layout for Multiple Inheritance.

William W. Pugh, Grant E. Weddell

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

Probabilistic Analysis of Set Operations with Constant-Time Set Equality Test.

William W. Pugh

Proceedings of the Advances in Computing and Information, 1990

1989

Incremental Computation via Function Caching.

William W. Pugh, Tim Teitelbaum

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

1988

Incremental Computation and the Incremental Evaluation of Functional Programs.

William W. Pugh

PhD thesis, 1988

An Improved Replacement Strategy for Function Aaching.

William W. Pugh

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988