| 2023 | SIGCSE | Proof Buddy: A Tool to Aid Students in Proof Construction. | Steve Earth, Jeremy R. Johnson, Bruce W. Char |
| 2007 | FCCM | Generating FPGA-Accelerated DFT Libraries. | Paolo D'Alberto, Peter A. Milder, Aliaksei Sandryhaila, Franz Franchetti, James C. Hoe, Jos M. F. Moura, Markus Pschel, Jeremy R. Johnson |
| 2006 | ISSAC | High-performance implementations of the Descartes method. | Jeremy R. Johnson, Werner Krandick, Kevin Lynch, David G. Richardson, Anatole D. Ruslanov |
| 2005 | ISSAC | Architecture-aware classical Taylor shift by 1. | Jeremy R. Johnson, Werner Krandick, Anatole D. Ruslanov |
| 2004 | FPGA | An FPGA implementation of bene permutation networks. | Anatole D. Ruslanov, Jeremy R. Johnson |
| 2001 | PLDI | SPL: A Language and Compiler for DSP Algorithms. | Jianxin Xiong, Jeremy R. Johnson, Robert W. Johnson, David A. Padua |
| 1997 | ISSAC | Polynomial Real Root Isolation using Approximate Arithmetic. | Jeremy R. Johnson, Werner Krandick |
| 1993 | ARITH | Efficient multiprecision floating point multiplication with optimal directional rounding. | Werner Krandick, Jeremy R. Johnson |
| 1992 | ISSAC | Real Algebraic Number Computation Using Interval Arithmetic. | Jeremy R. Johnson |
| 1992 | SC | An Algebraic Theory for Modeling Direct Interconnection Networks. | S. D. Kaushik, Sanjay Sharma, Chua-Huang Huang, Jeremy R. Johnson, Rodney W. Johnson, P. Sadayappan |
| 1989 | ISSAC | Quantifier Elimination and the Sign Variation Method for Real Root Isolation. | George E. Collins, Jeremy R. Johnson |
| 1988 | ISSAC | The Probability of Relative Primality of Gaussian Integers. | George E. Collins, Jeremy R. Johnson |