-
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries.
Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, and Dan Suciu.
Proc. VLDB Endow. 11(11),
July
2018.
-
An Architecture for Analysis.
Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, and Timothy Sherwood.
IEEE Micro: Micro's Top Picks from Computer Architecture Conferences (IEEE Micro - top pick) (ASPLOS '17),
May-June
2018.
-
Relay: A New IR for Machine Learning Frameworks.
Jared Roesch, Steven Lyubomirsky, Logan Weber, Josh Pollock, Marisa Kirisame, Tianqi Chen, and Zachary Tatlock.
Proceedings of the 2Nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages (MAPL 2018),
2018.
-
A Metaprogramming Framework for Formal Verification.
Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, and Leonardo deMoura.
Proc. ACM Program. Lang. 1(ICFP),
August
2017.
-
An Architecture Supporting Formal and Compositional Binary Analysis.
Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, and Timothy Sherwood.
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '17),
2017.
-
Fuzzing the Rust Typechecker Using CLP.
Kyle Dewey, Jared Roesch, and Ben Hardekopf.
Proceedings of the 30th ACM/IEEE international conference on Automated software engineering,
2015.
-
Improved type specialization for dynamic scripting languages.
Madhukar N Kedlaya, Jared Roesch, Behnam Robatmili, Mehrdad Reshadi, and Ben Hardekopf.
ACM SIGPLAN Notices 49(2),
2014.
-
Language fuzzing using constraint logic programming.
Kyle Dewey, Jared Roesch, and Ben Hardekopf.
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering,
2014.