Steven Lyde

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 1

Top Topics

Propositional Satisfiability

Top Venues

Trends in Functional Programming

Publications

Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn
Pushdown control-flow analysis for free. POPL (2016)
Steven Lyde, William E. Byrd, Matthew Might
Control-flow analysis of dynamic languages via pointer analysis. DLS (2015)
Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn
Pushdown Control-Flow Analysis for Free. CoRR (2015)
Steven Lyde, Matthew Might
Extracting Hybrid Automata from Control Code. NASA Formal Methods (2013)
Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, Petey Aldous, David Van Horn
Sound and precise malware analysis for android via pushdown reachability and entry-point saturation. SPSM@CCS (2013)
Steven Lyde, Matthew Might
Control-Flow Analysis with SAT Solvers. Trends in Functional Programming (2013)
Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, Petey Aldous, David Van Horn
Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation. CoRR (2013)