William W. Pugh

83 papers A* 11A 10B 2C 1Journal 23Unranked 33

Year	Rank	Type	Title / Venue / Authors
2010	—	`conf`	Null dereference analysis in practice. PASTE Nathaniel Ayewah, William W. Pugh
2010	A	`conf`	The Google FindBugs fixit. ISSTA Nathaniel Ayewah, William W. Pugh
2009	A	`conf`	Learning from defect removals. MSR Nathaniel Ayewah, William W. Pugh
2008	—	`conf`	A report on a survey and study of static analysis users. DEFECTS Nathaniel Ayewah, William W. Pugh
2008	J	`jnl`	Two-dimensional bidirectional object layout. ACM Trans. Program. Lang. Syst. Joseph Gil, William W. Pugh, Grant E. Weddell, Yoav Zibin
2008	J	`jnl`	Using Static Analysis to Find Bugs. IEEE Softw. Nathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, William W. Pugh
2007	—	`conf`	Evaluating static analysis defect warnings on production software. PASTE Nathaniel Ayewah, William W. Pugh, J. David Morgenthaler, John Penix, Yuqian Zhou
2007	—	`conf`	Finding bugs in eclipse. OOPSLA Companion William W. Pugh
2007	—	`conf`	Finding more null pointer bugs, but not too many. PASTE David Hovemeyer, William W. Pugh
2007	—	`conf`	Improving software quality with static analysis. PASTE Jeffrey S. Foster, Michael W. Hicks, William W. Pugh
2007	—	`conf`	Status report on JSR-305: annotations for software defect detection. OOPSLA Companion David Hovemeyer, William W. Pugh
2007	A*	`conf`	Unit testing concurrent software. ASE William W. Pugh, Nathaniel Ayewah
2007	—	`conf`	Using FindBugs on production software. OOPSLA Companion Nathaniel Ayewah, William W. Pugh, J. David Morgenthaler, John Penix, Yuqian Zhou
2006	B	`conf`	Experiences with marmoset: designing and using an advanced submission and testing system for programming courses. ITiCSE Jaime Spacco, David Hovemeyer, William W. Pugh, Fawzi Emad, Jeffrey K. Hollingsworth, Nelson Padua-Perez
2006	—	`conf`	Helping students appreciate test-driven development (TDD). OOPSLA Companion Jaime Spacco, William W. Pugh
2006	—	`conf`	Improving your software using static analysis to find bugs. OOPSLA Companion Brian Cole, Daniel Hakim, David Hovemeyer, Reuven Lazarus, William W. Pugh, Kristin Stephens
2006	—	`conf`	The Marmoset project: an automated snapshot, submission, and testing system. OOPSLA Companion Jaime Spacco, William W. Pugh, Nathaniel Ayewah, David Hovemeyer
2006	A	`conf`	Tracking defect warnings across versions. MSR Jaime Spacco, David Hovemeyer, William W. Pugh
2006	—	`conf`	What do high-level memory models mean for transactions? Memory System Performance and Correctness Dan Grossman, Jeremy Manson, William W. Pugh
2005	—	`conf`	Evaluating and tuning a static analysis to find null pointer bugs. PASTE David Hovemeyer, Jaime Spacco, William W. Pugh
2005	—	`conf`	Keynote talk: Advice to bug hunters. AADEBUG William W. Pugh
2005	—	`ed.`	Languages and Compilers for Parallel Computing, 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers LCPC William W. Pugh, Chau-Wen Tseng
2005	J	`jnl`	RUBiS Revisited: Why J2EE Benchmarking is Hard. Stud. Inform. Univ. Jaime Spacco, William W. Pugh
2005	A	`conf`	Software repository mining with Marmoset: an automated programming project snapshot and testing system. MSR Jaime Spacco, Jaymie Strecker, David Hovemeyer, William W. Pugh
2005	J	`jnl`	Software repository mining with Marmoset: an automated programming project snapshot and testing system. ACM SIGSOFT Softw. Eng. Notes Jaime Spacco, Jaymie Strecker, David Hovemeyer, William W. Pugh
2005	A*	`conf`	The Java memory model. POPL Jeremy Manson, William W. Pugh, Sarita V. Adve
2004	—	`conf`	An Eclipse-based course project snapshot and submission system. eTX Jaime Spacco, David Hovemeyer, William W. Pugh
2004	—	`conf`	Finding bugs is easy. OOPSLA Companion David Hovemeyer, William W. Pugh
2004	J	`jnl`	Finding bugs is easy. ACM SIGPLAN Notices David Hovemeyer, William W. Pugh
2004	A*	`ed.`	Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004 PLDI William W. Pugh, Craig Chambers
2004	—	`conf`	RUBiS revisited: why J2EE benchmarking is hard. OOPSLA Companion William W. Pugh, Jaime Spacco
2003	—	`conf`	Evaluating the Impact of Programming Language Features on the Performance of Parallel Applications on Cluster Architectures. LCPC Konstantin Berlin, Jun Huan, Mary Jacob, Garima Kochhar, Jan F. Prins, William W. Pugh, P. Sadayappan, Jaime Spacco, Chau-Wen Tseng
2003	—	`conf`	MPJava: High-Performance Message Passing in Java Using Java.nio. LCPC William W. Pugh, Jaime Spacco
2002	A	`conf`	Atomic Instructions in Java. ECOOP David Hovemeyer, William W. Pugh, Jaime Spacco
2001	—	`conf`	Core semantics of multithreaded Java. Java Grande Jeremy Manson, William W. Pugh
2001	—	`ed.`	Languages and Compilers for Parallel Computing, 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers LCPC Samuel P. Midkiff, José E. Moreira, Manish Gupta, Siddhartha Chatterjee, Jeanne Ferrante, Jan F. Prins, William W. Pugh, Chau-Wen Tseng
2001	—	`conf`	More Efficient Network Class Loading Through Bundling. Java Virtual Machine Research and Technology Symposium David Hovemeyer, William W. Pugh
2000	J	`jnl`	The Java memory model is fatally flawed. Concurr. Pract. Exp. William W. Pugh
1999	A*	`conf`	Compressing Java Class Files. PLDI William W. Pugh
1999	—	`conf`	Fixing the Java Memory Model. Java Grande William W. Pugh
1999	—	`conf`	Iteration Space Slicing for Locality. LCPC William W. Pugh, Evan Rosser
1999	J	`jnl`	Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. ACM Trans. Program. Lang. Syst. Tevfik Bultan, Richard Gerber, William W. Pugh
1998	J	`jnl`	Constraint-Based Array Dependence Analysis. ACM Trans. Program. Lang. Syst. William W. Pugh, David Wonnacott
1998	—	`conf`	SIPR: A New Framework for Generating Efficient Code for Sparse Matrix Computations. LCPC William W. Pugh, Tatiana Shpeisman
1997	A	`conf`	Iteration Space Slicing and Its Application to Communication Optimization. International Conference on Supercomputing William W. Pugh, Evan Rosser
1997	A*	`conf`	Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic. CAV Tevfik Bultan, Richard Gerber, William W. Pugh
1996	J	`jnl`	Efficient Distribution Analysis via Graph Contraction. Int. J. Parallel Program. Thomas J. Sheffler, Robert Schreiber, William W. Pugh, John R. Gilbert, Siddhartha Chatterjee
1996	—	`conf`	Exploiting Monotone Convergence Functions in Parallel Programs. LCPC William W. Pugh, Evan Rosser, Tatiana Shpeisman
1996	J	`jnl`	Finding the ith largest of n for small i, n. SIGACT News William I. Gasarch, Wayne Kelly, William W. Pugh
1996	A	`conf`	Minimizing Communication While Preserving Parallelism. International Conference on Supercomputing Wayne Kelly, William W. Pugh
1996	J	`jnl`	Transitive Closure of Infinite Graphs and its Applications. Int. J. Parallel Program. Wayne Kelly, William W. Pugh, Evan Rosser, Tatiana Shpeisman
1995	J	`jnl`	Broadband access: comparing alternatives. IEEE Commun. Mag. William W. Pugh, Gerald Boyer
1995	—	`conf`	Efficient Distribution Analysis via Graph Contraction. LCPC Thomas J. Sheffler, Robert Schreiber, William W. Pugh, John R. Gilbert, Siddhartha Chatterjee
1995	J	`jnl`	Going Beyond Integer Programming with the Omega Test to Eliminate False Data Dependences. IEEE Trans. Parallel Distributed Syst. William W. Pugh, David Wonnacott
1995	—	`conf`	Non-Linear Array Dependence Analysis. LCR William W. Pugh, David Wonnacott
1995	J	`jnl`	Parametric Dispatching of Hard Real-Time Tasks. IEEE Trans. Computers Richard Gerber, William W. Pugh, Manas Saksena
1995	—	`conf`	Transitive Closure of Infinite Graphs and Its Applications. LCPC Wayne Kelly, William W. Pugh, Evan Rosser, Tatiana Shpeisman
1995	J	`jnl`	Using affine closure to find legal reordering transformations. Int. J. Parallel Program. Wayne Kelly, William W. Pugh
1994	A*	`conf`	Counting Solutions to Presburger Formulas: How and Why. PLDI William W. Pugh
1994	—	`conf`	Experiences with Constraint-based Array Dependence Analysis. PPCP William W. Pugh, David Wonnacott
1994	—	`conf`	Finding Legal Reordering Transformations Using Mappings. LCPC Wayne Kelly, William W. Pugh
1994	J	`jnl`	Parallel finite automata for modeling concurrent software systems. J. Syst. Softw. P. David Stotts, William W. Pugh
1994	J	`jnl`	Selecting Affine Mappings Based on Performance Estimation. Parallel Process. Lett. Wayne Kelly, William W. Pugh
1994	—	`conf`	Simplifying Polynominal Constraints Over Integers to Make Dependence Analysis More Precise. CONPAR Vadim Maslov, William W. Pugh
1994	J	`jnl`	Static Analysis of Upper and Lower Bounds on Dependences and Parallelism. ACM Trans. Program. Lang. Syst. William W. Pugh, David Wonnacott
1993	J	`jnl`	A Partial Evaluator for the Maruti Hard Real-Time System. Real Time Syst. Vivek Nirkhe, William W. Pugh
1993	—	`conf`	An Exact Method for Analysis of Value-based Array Data Dependences. LCPC William W. Pugh, David Wonnacott
1992	J	`jnl`	A Practical Algorithm for Exact Array Dependence Analysis. Commun. ACM William W. Pugh
1992	J	`jnl`	Definitions of Dependence Distance. LOPLAS William W. Pugh
1992	A*	`conf`	Eliminating False Data Dependences using the Omega Test. PLDI William W. Pugh, David Wonnacott
1992	A*	`conf`	Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems. POPL Vivek Nirkhe, William W. Pugh
1991	A	`conf`	A partial evaluator for the Maruti hard real-time system. RTSS Vivek Nirkhe, William W. Pugh
1991	A*	`conf`	Advice to Authors of Extended Abstracts. PLDI William W. Pugh
1991	A	`conf`	The Omega test: a fast and practical integer programming algorithm for dependence analysis. SC William W. Pugh
1991	A	`conf`	Uniform techniques for loop optimization. ICS William W. Pugh
1990	C	`conf`	Probabilistic Analysis of Set Operations with Constant-Time Set Equality Test. ICCI William W. Pugh
1990	J	`jnl`	Skip Lists: A Probabilistic Alternative to Balanced Trees. Commun. ACM William W. Pugh
1990	J	`jnl`	Slow Optimally Balanced Search Strategies VS. Cached Fast Uniformly Balanced Search Strategies. Inf. Process. Lett. William W. Pugh
1990	A*	`conf`	Two-Directional Record Layout for Multiple Inheritance. PLDI William W. Pugh, Grant E. Weddell
1989	A*	`conf`	Incremental Computation via Function Caching. POPL William W. Pugh, Tim Teitelbaum
1989	B	`conf`	Skip Lists: A Probabilistic Alternative to Balanced Trees. WADS William W. Pugh
1988	—	`conf`	An Improved Replacement Strategy for Function Aaching. LISP and Functional Programming William W. Pugh
1988	—	`—`	Incremental Computation and the Incremental Evaluation of Functional Programs. William W. Pugh