A Muffin-Theorem Generator. - Guangqi Cui; John P. Dickerson; Naveen Durvasula; William Gasarch; Erik Metz; Jacob Prinz; Naveen Raman 001; Daniel Smolyak; Sung Hyun Yoo (FUN, 2018)

Guest Column: The Muffin Problem. - William Gasarch; Scott Huddleston; Erik Metz; Jacob Prinz (SIGACT News, 2019)

Deeper Shallow Embeddings. - Jacob Prinz; G. A. Kavvos; Leonidas Lampropoulos (ITP, 2022)

Merging Inductive Relations. - Jacob Prinz; Leonidas Lampropoulos (Proc. ACM Program. Lang., 2023)

Pantograph: A Fluid and Typed Structure Editor. - Jacob Prinz; Henry Blanchette; Leonidas Lampropoulos (Proc. ACM Program. Lang., 2025)