PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / CurryOn 2017 (series) / Curry On Talks /
Moving Fast with High Reliability: Program Analysis at Uber
Mon 19 Jun 2017 11:20 - 12:00 at Auditorium, Vertex Building - Monday - 10:30 - 12:50 - Auditorium
At Uber, software reliability is of critical importance: outages canleave riders stranded and drivers without a way to earn a living. At the same time, Uber needs to be able to move fast in developing new features and products. Our belief is that program analysis can play a key role in reducing the tension between these seemingly-conflicting needs. In this talk, I will describe the philosophy of how analysis tools are deployed at Uber and how code is developed to be analyzable. I will present some initial experience reports from deployed analyses, plans for future analyses, and some open problems that may be interesting to the broader research community.
Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 19 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:50 | |||
10:30 40mTalk | Flow Reloaded: New Challenges and New Opportunities Curry On Talks Avik Chaudhuri Facebook | ||
11:20 40mTalk | Moving Fast with High Reliability: Program Analysis at Uber Curry On Talks Manu Sridharan Uber | ||
12:10 40mTalk | The Practice and Theory of TLA+ Curry On Talks |