no code implementations • 17 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
no code implementations • 11 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
3 code implementations • 17 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
1 code implementation • NeurIPS 2018 • Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Matthew Might, Raquel Urtasun, Richard Zemel
Synthesizing programs using example input/outputs is a classic problem in artificial intelligence.