2 papers
cs.CY2019
Making High-Performance Robots Safe and Easy to Use for an Introduction to Computing
Joseph Spitzer, Joydeep Biswas, Arjun Guha
Robots are a popular platform for introducing computing and artificial intelligence to novice programmers. However, programming state-of-the-art robots is very challenging, and req…
cs.PL2019
Formal Foundations of Serverless Computing
Abhinav Jangda, Donald Pinckney, Yuriy Brun +1
Serverless computing (also known as functions as a service) is a new cloud computing abstraction that makes it easier to write robust, large-scale web services. In serverless compu…