Google Research

In Defense of Soundiness: A Manifesto

  • Benjamin Livshits
  • Manu Sridharan
  • Yannis Smaragdakis
  • Ondrej Lhotak
  • J. Nelson Amaral
  • Bor-Yuh Evan Chang
  • Samuel Z. Guyer
  • Uday P. Khedker
  • Anders Møller
  • Dimitrios Vardoulakis
Communications of the ACM, vol. 58 (2015), pp. 44-46


No abstract available; check out the Download or Google Scholar links above for publications details.

Research Areas

Learn more about how we do research

We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work