David Wonnacott

Haverford College — United States

Computer Science · Physical Sciences

20h-index1.7kcitations89works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Parallel Computing and Optimization Techniques(23), Stellar, planetary, and galactic studies(19), Astronomy and Astrophysical Research(15), Logic, programming, and type systems(11), Astronomical Observations and Instrumentation(10)

Publications89 total

The Purpose of Proof
2022
A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math
arXiv (Cornell University)·2019Open Access
Iterator-Based Optimization of Imperfectly-Nested Loops
2018
A blocks-based language for program correctness proofs
2017· 1 cited
Hybrid Static/Dynamic Schedules for Tiled Polyhedral Programs
arXiv (Cornell University)·2016· 2 citedOpen Access
Parameterized Diamond Tiling for Stencil Computations with Chapel parallel iterators
2015· 30 citedOpen Access
Distributed Shared Memory and Compiler-Induced Scalable Locality for Scalable Cluster Performance
2012· 1 cited
An Experimental Investigation of Scalable Locality for Cluster Computing
2011· 1 cited
OpenSHMEM - Toward a Unified RMA Model
2011· 34 cited
One-to-All Broadcast
2011
Omega Test
2011· 3 cited
Operating System Strategies
2011
OpenMP
2011· 2 cited
Owicki-Gries Method of Axiomatic Verification
2011· 2 cited
Orthogonal Factorization
2011
Omega Library
2011
Overdetermined Systems
2011· 1 cited
Overlay Network
2011
OS, Light-Weight
2011
Omega Calculator
2011· 1 cited
page 1 of 5Next →

Frequent Co-authors

William Pugh(9), B. J. Kellett(7), Barbara Chapman(7), James LaGrone(7), Karl Fürlinger(7), Stephen Poole(7), Óscar Hernández(7), Jeffery A Kuehn(7), Galen Shipman(7), Karl Feind(7), Arthur B. Maccabe(7), Christian Lengauer(7), Rolf Riesen(6), C. Lloyd(5), G. E. Bromage(4), Chen Fu(4), Barbara G. Ryder(4), Lynn D. Matthews(3), S. D. Sidher(3), T. J. Sumner(3)