Eliminating False Data Dependences using the Omega Test. - William W. Pugh; David Wonnacott (PLDI, 1992)

An Exact Method for Analysis of Value-based Array Data Dependences. - William W. Pugh; David Wonnacott (LCPC, 1993)

Experiences with Constraint-based Array Dependence Analysis. - William W. Pugh; David Wonnacott (PPCP, 1994)

Static Analysis of Upper and Lower Bounds on Dependences and Parallelism. - William W. Pugh; David Wonnacott (ACM Trans. Program. Lang. Syst., 1994)

Non-Linear Array Dependence Analysis. - William W. Pugh; David Wonnacott (LCR, 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)

Constraint-Based Array Dependence Analysis. - William W. Pugh; David Wonnacott (ACM Trans. Program. Lang. Syst., 1998)

Time Skewing for Parallel Computers. - David Wonnacott (LCPC, 1999)

Using Time Skewing to Eliminate Idle Time due to Memory Bandwidth and Network Limitations. - David Wonnacott (IPDPS, 2000)

Extending Scalar Optimizations for Arrays. - David Wonnacott (LCPC, 2000)

Using Accessory Functions to Generalize Dynamic Dispatch in Single-Dispatch Object-Oriented Languages. - David Wonnacott (COOTS, 2001)

Polynomial Time Array Dataflow Analysis. - Robert Seater; David Wonnacott (LCPC, 2001)

Efficient Manipulation of Disequalities During Dependence Analysis. - Robert Seater; David Wonnacott (LCPC, 2002)

Achieving Scalable Locality with Time Skewing. - David Wonnacott (Int. J. Parallel Program., 2002)

Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services. - Chen Fu; Richard P. Martin; Kiran Nagaraja; Thu D. Nguyen; Barbara G. Ryder; David Wonnacott (DSN, 2003)

Testing of java web services for robustness. - Chen Fu; Barbara G. Ryder; Ana L. Milanova; David Wonnacott (ISSTA, 2004)

Use and assessment of a rigorous approach to CS1. - John P. Dougherty; David Wonnacott (SIGCSE, 2005)

Robustness Testing of Java Server Applications. - Chen Fu; Ana L. Milanova; Barbara G. Ryder; David Wonnacott (IEEE Trans. Software Eng., 2005)

Attribute grammars and the teaching of compiler design and implementation. - David G. Wonnacott (J. Comput. Sci. Coll., 2007)

Unifying the applied CS curriculum around a simplified processor architecture. - David G. Wonnacott (J. Comput. Sci. Coll., 2007)

ompVerify: Polyhedral Analysis for the OpenMP Programmer. - V. Basupalli; Tomofumi Yuki; Sanjay V. Rajopadhye; Antoine Morvan; Steven Derrien; Patrice Quinton; David Wonnacott (IWOMP, 2011)

Omega Test. - David Wonnacott (Encyclopedia of Parallel Computing, 2011)

Distributed Shared Memory and Compiler-Induced Scalable Locality for Scalable Cluster Performance. - Mohamed Abdalkader; Ian Burnette; Tim Douglas; David Wonnacott (CCGRID, 2012)

Parameterized Diamond Tiling for Stencil Computations with Chapel parallel iterators. - Ian J. Bertolacci; Catherine Olschanowsky; Ben Harshbarger; Bradford L. Chamberlain; David G. Wonnacott; Michelle Mills Strout (ICS, 2015)

Hybrid Static/Dynamic Schedules for Tiled Polyhedral Programs. - Tian Jin; Nirmal Prajapati; Waruna Ranasinghe; Guillaume Iooss; Yun Zou; Sanjay V. Rajopadhye; David G. Wonnacott (CoRR, 2016)

Iterator-Based Optimization of Imperfectly-Nested Loops. - Daniel A. Feshbach; Mary Glaser; Michelle Strout; David G. Wonnacott (IPDPS Workshops, 2018)

A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math. - David G. Wonnacott; Peter-Michael Osera (CoRR, 2019)

On Teaching and Testing Recursive Programming. - Gulesh Shukla; David G. Wonnacott (J. Comput. Sci. Coll., 2022)

The Purpose of Proof. - Bruce W. Char; Peter-Michael Osera; David G. Wonnacott (SIGCSE (2), 2023)

N-Dolphin: A Visualizer for Abstract Substitution-Based Execution. - Alex Reichard; David G. Wonnacott (J. Comput. Sci. Coll., 2023)

Replication and Extension of Experiments with a Novel Weightless Neural Network. - Victor Nault; David Wonnacott (J. Comput. Sci. Coll., 2025)