Search Results for author: Matthew Might

Found 4 papers, 2 papers with code

miniAdapton: A Minimal Implementation of Incremental Computation in Scheme

3 code implementations17 Sep 2016 Dakota Fisher, Matthew A. Hammer, William Byrd, Matthew Might

We describe a complete Scheme implementation of miniAdapton, which implements the core functionality of the Adapton system for incremental computation (also known as self-adjusting computation).

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.