In defense of soundiness

By B. Livshits, Manu Sridharan, Yannis Smaragdakis, Ondřej Lhoták, José Nelson Amaral, B. Y. Chang, Samuel Z. Guyer, Uday P. Khedker, Anders Møller, Dimitrios Vardoulakis. 2015

154 citations recorded by the source corpus.

Subfields: Cognitive Neuroscience, Computer Vision and Pattern Recognition, Experimental and Cognitive Psychology, Program Analysis & Verification

Citations in the corpus

• MadMax: surviving out-of-gas conditions in Ethereum smart contracts (2018, unknown): “However, compared to past techniques that do not employ static analysis, MadMax can be argued to be soundy [Livshits et al. 2014]: it makes an effort to achieve soundness (i.”