Steven Lyde

According to our database, Steven Lyde authored at least 6 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Pushdown control-flow analysis for free.

Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Improving Control-Flow Analysis of Higher-Order Languages.

Steven Lyde

PhD thesis, 2015

Control-flow analysis of dynamic languages via pointer analysis.

Steven Lyde, William E. Byrd, Matthew Might

Proceedings of the 11th Symposium on Dynamic Languages, 2015

2013

Control-Flow Analysis with SAT Solvers.

Steven Lyde, Matthew Might

Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013

Extracting Hybrid Automata from Control Code.

Steven Lyde, Matthew Might

Proceedings of the NASA Formal Methods, 2013

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

Proceedings of the SPSM'13, 2013