David G. Wonnacott

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 4

Top Topics

Optimization Methods

University Of North Carolina

Introductory Computer Science

Automated Theorem Provers

Top Venues

IPDPS Workshops

Publications

Bruce W. Char, Peter-Michael Osera, David G. Wonnacott
The Purpose of Proof. SIGCSE (2) (2023)
David G. Wonnacott, Peter-Michael Osera
A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math. CoRR (2019)
Daniel Feshbach, Mary Glaser, Michelle Strout, David G. Wonnacott
Iterator-Based Optimization of Imperfectly-Nested Loops. IPDPS Workshops (2018)
Tian Jin, Nirmal Prajapati, Waruna Ranasinghe, Guillaume Iooss, Yun Zou, Sanjay V. Rajopadhye, David G. Wonnacott
Hybrid Static/Dynamic Schedules for Tiled Polyhedral Programs. CoRR (2016)
Ian J. Bertolacci, Catherine Olschanowsky, Ben Harshbarger, Bradford L. Chamberlain, David G. Wonnacott, Michelle Mills Strout
Parameterized Diamond Tiling for Stencil Computations with Chapel parallel iterators. ICS (2015)