Search Results for author: David Van Horn

Found 3 papers, 1 papers with code

Gradual Liquid Type Inference

1 code implementation5 Jul 2018 Niki Vazou, Éric Tanter, David Van Horn

Liquid typing provides a decidable refinement inference mechanism that is convenient but subject to two major issues: (1) inference is global and requires top-level annotations, making it unsuitable for inference of modular code components and prohibiting its applicability to library code, and (2) inference failure results in obscure error messages.

Programming Languages

Pushdown Control-Flow Analysis for Free

no code implementations11 Jul 2015 Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn

Furthermore, all three are computationally expensive; for a monovariant analysis, CFA2 is in $O(2^n)$, PDCFA is in $O(n^6)$, and AAC is in $O(n^9 log n)$.

Programming Languages D.3.4

Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation

no code implementations17 Nov 2013 Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, Petey Aldous, David Van Horn

We present Anadroid, a static malware analysis framework for Android apps.

Programming Languages Cryptography and Security D.2.0; F.3.2

Cannot find the paper you are looking for? You can Submit a new open access paper.