Joseph Spitzer

According to our database, Joseph Spitzer authored at least 3 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Making High-Performance Robots Safe and Easy to Use For an Introduction to Computing.

Joseph Spitzer, Joydeep Biswas, Arjun Guha

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Formal Foundations of Serverless Computing.

Abhinav Jangda, Donald Pinckney, Samuel Baxter, Breanna Devore-McDonald, Joseph Spitzer, Yuriy Brun, Arjun Guha

CoRR, 2019

2015

Harnessing the power in your pocket.

Joseph Spitzer, Kate Lockwood, Jason Sawin

Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, 2015