Howdy!

At a restaurant in Washington, DC
At a restaurant in Washington, DC. Photo 1 of 7.

I'm Dominic Kennedy, a Computer Science Ph.D. student at the University of Utah advised by Ben Greenman. My research interests include abstract interpretation, and formal verification of compiler components. I also work closely with the other students and professors in Utah's PL group.

Like any good Utahn, I like to ski when there's snow and mountain bike when there's not. I also enjoy playing trombone in a jazz ensemble, messing with esolangs, and watching soccer—I worked as a soccer referee throughout undergrad.

Contact

Send fan mail to dominicmkennedy[at]gmail.com. Don't be shy! You can also find me on GitHub, Letterboxd, Goodreads, and Strava. For those interested, here is my CV.

Projects

Publications

  1. Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers

    Xuanyu Peng, Dominic Kennedy, Yuyou Fan, Ben Greenman, John Regehr, Loris D'Antoni.

    53rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), January 2026.

  2. Augmenting singularity to generate fine-grained workflows, record trails, and data provenance.

    Dominic Kennedy, Paula Olaya, Jay Lofstead, Rodrigo Vargas, and Michela Taufer.

    IEEE 18th International Conference on e-Science (e-Science), 2022.

  3. Building trust in earth science findings through data traceability and results explainability.

    Paula Olaya, Dominic Kennedy, Ricardo Llamas, Leobardo Valera, Rodrigo Vargas, Jay Lofstead, and Michela Taufer.

    IEEE Transactions on Parallel and Distributed Systems (TPDS), 2023.

  4. Hyperparameter optimization and feature inclusion in graph neural networks for spiking implementation.

    Guojing Cong, Shruti Kulkarni, Seung-Hwan Lim, Prasanna Date, Shay Snyder, Maryam Parsa, Dominic Kennedy, and Catherine Schuman.

    International Conference on Machine Learning and Applications (ICMLA), 2023.