Jared Roesch

[1] 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 ]
[2] 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 ]
[3] 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 ]
[4] 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 | DOI | http ]
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.