Dino Distefano Hompage
Publications
Talks
Research and Activities
Dino Distefano
Professor of Software Verification
Follow
Anthropic, London
Queen Mary University of London
Email
LinkedIn
Github
Google Scholar
Scaling static analyses at Facebook.
Published in
Commun. ACM
, 2009
Previous
Next
