Technical Reports - 2019

Cloud Programming Simplified: A Berkeley View on Serverless Computing (EECS-2019-3)
Eric Jonas, Johann Schleier-Smith, Vikram Sreekanti, Chia-Che Tsai, Anurag Khandelwal, Qifan Pu, Vaishaal Shankar, Joao Menezes Carreira, Karl Krauth, Neeraja Yadwadkar, Joseph Gonzalez, Raluca Ada Popa, Ion Stoica and David A. Patterson

TripAware: Emotional and Informational Approaches to Encourage Sustainable Transportation via Mobile Applications (EECS-2019-2)
Jesse Zhang, John Sullivan, Vasudev Venkatesh P. B., Kyle Tse, Andy Yan, John Leyden, Kalyanaraman Shankari and Randy H. Katz

Gordian: Formal Reasoning Based Outlier Detection for Secure Localization (EECS-2019-1)
Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A. Lee, Sanjit A. Seshia and Alberto L. Sangiovanni-Vincentelli