David G. Wonnacott

According to our database, David G. Wonnacott authored at least 26 papers between 1992 and 2023.

Collaborative distances:

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

2023

The Purpose of Proof.

Bruce W. Char, Peter-Michael Osera, David G. Wonnacott

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

2019

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

2018

Iterator-Based Optimization of Imperfectly-Nested Loops.

Daniel Feshbach, Mary Glaser, Michelle Strout, David G. Wonnacott

Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, 2018

2016

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

2015

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

Proceedings of the 29th ACM on International Conference on Supercomputing, 2015

2012

Distributed Shared Memory and Compiler-Induced Scalable Locality for Scalable Cluster Performance.

Mohamed Abdalkader, Ian Burnette, Tim Douglas, David Wonnacott

Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

2011

Omega Test.

David Wonnacott

Proceedings of the Encyclopedia of Parallel Computing, 2011

ompVerify: Polyhedral Analysis for the OpenMP Programmer.

V. Basupalli, Tomofumi Yuki, Sanjay V. Rajopadhye, Antoine Morvan, Steven Derrien, Patrice Quinton, David Wonnacott

Proceedings of the OpenMP in the Petascale Era - 7th International Workshop on OpenMP, 2011

2005

Robustness Testing of Java Server Applications.

Chen Fu, Ana L. Milanova, Barbara G. Ryder, David Wonnacott

IEEE Trans. Software Eng., 2005

Use and assessment of a rigorous approach to CS1.

John P. Dougherty, David Wonnacott

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

2004

Testing of java web services for robustness.

Chen Fu, Barbara G. Ryder, Ana L. Milanova, David Wonnacott

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003

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

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002

Achieving Scalable Locality with Time Skewing.

David Wonnacott

Int. J. Parallel Program., 2002

Efficient Manipulation of Disequalities During Dependence Analysis.

Robert Seater, David Wonnacott

Proceedings of the Languages and Compilers for Parallel Computing, 15th Workshop, 2002

2001

Polynomial Time Array Dataflow Analysis.

Robert Seater, David Wonnacott

Proceedings of the Languages and Compilers for Parallel Computing, 2001

Using Accessory Functions to Generalize Dynamic Dispatch in Single-Dispatch Object-Oriented Languages.

David Wonnacott

Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems, January 29, 2001

2000

Extending Scalar Optimizations for Arrays.

David Wonnacott

Proceedings of the Languages and Compilers for Parallel Computing, 2000

Using Time Skewing to Eliminate Idle Time due to Memory Bandwidth and Network Limitations.

David Wonnacott

Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000

1999

Time Skewing for Parallel Computers.

David Wonnacott

Proceedings of the Languages and Compilers for Parallel Computing, 1999

1998

Constraint-Based Array Dependence Analysis.

William W. Pugh, David Wonnacott

ACM Trans. Program. Lang. Syst., 1998

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

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

Experiences with Constraint-based Array Dependence Analysis.

William W. Pugh, David Wonnacott

Proceedings of the Principles and Practice of Constraint Programming, 1994

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

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