0:00 / 0:00
#soundiness#staticanalysis#typesystems
Read a paper: In Defense of Soundiness
Vivek Haldar
8.4K subscribers • 16 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Vivek Haldar
- Linked in the descriptionDOI 10.1145/2644805
Intermediate. Assumes working knowledge.
382 views5 years ago1 recommendation
Programming languagesComputer scienceComputation and complexityLanguage design and type systems
Vivek Haldar reviews and explains the academic paper "In Defense of Soundiness: A Manifesto" regarding static analysis and type systems.
Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis, Ondřej Lhoták, J. Nelson Amaral, Bor-Yuh Evan Chang, Samuel Z. Guyer, Uday P. Khedker, Anders Møller, and Dimitrios Vardoulakis. 2015. In defense of soundiness: a manifesto. Commun. ACM 58, 2 (February 2015), 44–46. DOI:doi.org/10.1145/2644805 Link to paper: yanniss.github.io/Soundiness-CACM.pdf Also see: soundiness.org/ vivekhaldar.com twitter.com/vivekhaldar