Dave Banerjee
@daverbanerjee
TAMS '21
ID: 1283243967392493571
15-07-2020 03:36:59
3 Tweet
14 Takipçi
119 Takip Edilen
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.