Sound and precise malware analysis for android via pushdown reachability and entry-point saturation. - Shuying Liang; Andrew W. Keep; Matthew Might; Steven Lyde; Thomas Gilray; Petey Aldous; David Van Horn (SPSM@CCS, 2013)

Extracting Hybrid Automata from Control Code. - Steven Lyde; Matthew Might (NASA Formal Methods, 2013)

Control-Flow Analysis with SAT Solvers. - Steven Lyde; Matthew Might (Trends in Functional Programming, 2013)

Control-flow analysis of dynamic languages via pointer analysis. - Steven Lyde; William E. Byrd; Matthew Might (DLS, 2015)

Improving Control-Flow Analysis of Higher-Order Languages. - Steven Lyde (2015)

Pushdown control-flow analysis for free. - Thomas Gilray; Steven Lyde; Michael D. Adams 001; Matthew Might; David Van Horn (POPL, 2016)