Harnessing the power in your pocket. - Joseph Spitzer; Kate Lockwood; Jason Sawin (CASCON, 2015)

Formal Foundations of Serverless Computing. - Abhinav Jangda; Donald Pinckney; Samuel Baxter; Breanna Devore-McDonald; Joseph Spitzer; Yuriy Brun; Arjun Guha (CoRR, 2019)

Making High-Performance Robots Safe and Easy to Use For an Introduction to Computing. - Joseph Spitzer; Joydeep Biswas; Arjun Guha (AAAI, 2020)