{"version":"1.0","provider_name":"Microsoft Research","provider_url":"https:\/\/www.microsoft.com\/en-us\/research","author_name":"Shaz Qadeer","author_url":"https:\/\/www.microsoft.com\/en-us\/research\/people\/qadeer\/","title":"A Reachability Predicate for Analyzing Low-Level Software - Microsoft Research","type":"rich","width":600,"height":338,"html":"
A Reachability Predicate for Analyzing Low-Level Software<\/a><\/blockquote>