Unlocking Program Synthesis

Dawn Song is a professor of computer science at UC Berkeley with research interests in security, most recently with a focus on the intersection between computer security and machine learning.

Support this podcast by signing up with these sponsors:
– Cash App – use code “LexPodcast” and download:
– Cash App (App Store): https://apple.co/2sPrUHe
– Cash App (Google Play): https://bit.ly/2MlvP5w

EPISODE LINKS:
Dawn’s Twitter: https://twitter.com/dawnsongtweets
Dawn’s Website: https://people.eecs.berkeley.edu/~dawnsong/
Oasis Labs: https://www.oasislabs.com

This conversation is part of the Artificial Intelligence podcast. If you would like to get more information about this podcast go to https://lexfridman.com/ai or connect with @lexfridman on Twitter, LinkedIn, Facebook, Medium, or YouTube where you can watch the video versions of these conversations. If you enjoy the podcast, please rate it 5 stars on Apple Podcasts, follow on Spotify, or support it on Patreon.

Here’s the outline of the episode. On some podcast players you should be able to click the timestamp to jump to that time.

OUTLINE:
00:00 – Introduction
01:53 – Will software always have security vulnerabilities?
09:06 – Human are the weakest link in security
16:50 – Adversarial machine learning
51:27 – Adversarial attacks on Tesla Autopilot and self-driving cars
57:33 – Privacy attacks
1:05:47 – Ownership of data
1:22:13 – Blockchain and cryptocurrency
1:32:13 – Program synthesis
1:44:57 – A journey from physics to computer science
1:56:03 – US and China
1:58:19 – Transformative moment
2:00:02 – Meaning of life