Dave Banerjee
@daverbanerjee
TAMS '21
ID: 1283243967392493571
15-07-2020 03:36:59
3 Tweet
14 Followers
119 Following
What would it look like to take AI progress seriously in important domains? Herbie Bradley and I contributed one idea: reducing memory-safety vulns by rewriting code in memory-safe languages.