|||Madhukar N Kedlaya, Jared Roesch, Behnam Robatmili, Mehrdad Reshadi, and Ben Hardekopf. Improved type specialization for dynamic scripting languages. ACM SIGPLAN Notices, 49(2):37--48, 2014. [ bib ]|
|||Kyle Dewey, Jared Roesch, and Ben Hardekopf. Language fuzzing using constraint logic programming. In Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, pages 725--730. ACM, 2014. [ bib ]|
|||Kyle Dewey, Jared Roesch, and Ben Hardekopf. Fuzzing the rust typechecker using clp. In Proceedings of the 30th ACM/IEEE international conference on Automated software engineering. ACM, 2015. [ bib ]|
Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee
Guo, Ben Hardekopf, and Timothy Sherwood.
An architecture supporting formal and compositional binary analysis.
In Proceedings of the Twenty-Second International Conference on
Architectural Support for Programming Languages and Operating Systems,
ASPLOS '17, pages 177--191, New York, NY, USA, 2017. ACM.
[ bib |
Keywords: assembly analysis, binary verification, formal methods, functional programming, heterogeneous architecture, isa semantics, non-interference, static analysis
This file was generated by bibtex2html 1.98.