Joshua Hoke Davis

About me.

I am a first-year computer science PhD student at the University of Maryland, College Park. I graduated from the University of Delaware with a B.S. in Computer Science as well as a B.A. in Philosophy and minor in Mathematics in May 2021.

Broadly, I am interested in the intersection of high-performance computing with formal methods and programming languages. Computational scientists depend on useful programming abstractions to extract fast, correct performance out of modern supercomputers, which use highly complex underlying computational technologies. I plan to develop improvements to existing programming models, and develop new tools that interact with these models, to tackle challenges in performance portability and correctness in HPC applications.

Currently, I am a member of the Parallel Software and Systems Group at the University of Maryland.

At UD, I worked with the Computational Research and Programming Lab at UD as a developer for the SOLLVE OpenMP V&V test suite, part of the Exascale Computing Project (ECP). To see the latest results from the V&V suite, check out our website.

At the moment I am additionally involved with automatically formally verifying data structures from The Art of Multiprocessor Programming, using CIVL, collaborating with the Verified Software Lab at UD. The source code for that project can be found here.

My CV is available here.