Jeremy R. Johnson

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 9

Top Topics

Automatically Generated

Polynomially Bounded

Top Venues

ACM Commun. Comput. Algebra

J. Symb. Comput.

Publications

Steve Earth, Jeremy R. Johnson, Bruce W. Char
Proof Buddy: A Tool to Aid Students in Proof Construction. SIGCSE (2) (2023)
Gavin Harrison, Jeremy R. Johnson, B. David Saunders
Probabilistic analysis of block Wiedemann for leading invariant factors. J. Symb. Comput. 108 (2022)
Steve Earth, Bruce W. Char, Jeremy R. Johnson
Comparison of Role-Assigned Grouping with Free-Form Group Activities in an Introductory Computer Science Course. SIGCSE (2020)
Bruce W. Char, Jeremy R. Johnson
Use of Maple and Möbius in an Undergraduate Course on Cryptography. MC (2019)
Gavin Harrison, Jeremy R. Johnson, B. David Saunders
Probabilistic Analysis of Block Wiedemann for Leading Invariant Factors. CoRR (2018)
Franz Franchetti, Tze Meng Low, Doru-Thom Popovici, Richard Michael Veras, Daniele G. Spampinato, Jeremy R. Johnson, Markus Püschel, James C. Hoe, José M. F. Moura
SPIRAL: Extreme Performance Portability. Proc. IEEE 106 (11) (2018)
Geoffrey Mainland, Jeremy R. Johnson
A Haskell compiler for signal transforms. GPCE (2017)
Gavin Harrison, Jeremy R. Johnson, B. David Saunders
Probabilistic analysis of block wiedemann for leading invariant factors. ACM Commun. Comput. Algebra 50 (4) (2016)
Gavin Harrison, Jeremy R. Johnson, B. David Saunders
Probabilistic analysis of Wiedemann's algorithm for minimal polynomial computation. J. Symb. Comput. 74 (2016)
Bruce W. Char, Jeffrey L. Popyack, Jeremy R. Johnson, William M. Mongan
Automatically Generated Feedback for CS student Work: Best Practices (Abstract Only). SIGCSE (2015)
Lingchuan Meng, Jeremy R. Johnson
High performance implementation of the inverse TFT. PASCO (2015)
Gavin Harrison, Jeremy R. Johnson, B. David Saunders
Probabilistic analysis of Wiedemann's algorithm for minimal polynomial computation. CoRR (2014)
Lingchuan Meng, Jeremy R. Johnson
High performance implementation of the TFT. ISSAC (2014)
Jeremy R. Johnson
The 2010 Benjamin Franklin medal in Computer and Cognitive Science presented to Shafrira Goldwasser, Ph.D. J. Frankl. Inst. 351 (1) (2014)
Lingchuan Meng, Jeremy R. Johnson
Automatic Parallel Library Generation for General-Size Modular FFT Algorithms. CASC (2013)
Mark Boady, Pavel Grinfeld, Jeremy R. Johnson
A term rewriting system for the calculus of moving surfaces. ISSAC (2013)
Jeremy R. Johnson
Abstracts of recent doctoral dissertations in computer algebra. ACM Commun. Comput. Algebra 47 (1/2) (2013)
Lingchuan Meng, Jeremy R. Johnson
Towards parallel general-size library generation for polynomial multiplication. ACM Commun. Comput. Algebra 47 (3/4) (2013)
Gavin Harrison, Jeremy R. Johnson, B. David Saunders
Probabilistic analysis of Wiedemann's algorithm for minimal polynomial computation. ACM Commun. Comput. Algebra 47 (3/4) (2013)
Jeremy R. Johnson
In Memoriam: Werner Krandick. ACM Commun. Comput. Algebra 46 (1/2) (2012)
Jeremy R. Johnson
Abstracts of recent doctoral dissertations in computer algebra. ACM Commun. Comput. Algebra 46 (3/4) (2012)
Jeremy R. Johnson, Erich Kaltofen, Hyungju Park
Special Issue on Symbolic and Algebraic Computation Foundations, Algorithmics and Applications: ISSAC 2009. J. Symb. Comput. 47 (7) (2012)
Jeremy R. Johnson
Abstracts of recent doctoral dissertations in computer algebra. ACM Commun. Comput. Algebra 46 (3/4) (2012)
Jeremy R. Johnson
Abstracts of recent doctoral dissertations in computer algebra. ACM Commun. Comput. Algebra 46 (1/2) (2012)
Jeremy R. Johnson
Abstracts of recent doctoral dissertations in computer algebra. ACM Commun. Comput. Algebra 46 (1/2) (2012)
Mark Boady, Pavel Grinfeld, Jeremy R. Johnson
A symbolic computation system for the calculus of moving surfaces. ACM Commun. Comput. Algebra 45 (1/2) (2011)
Jeremy R. Johnson
Abstracts of recent doctoral dissertations in computer algebra. ACM Commun. Comput. Algebra 45 (1/2) (2011)
Jeremy R. Johnson
Abstracts of recent doctoral dissertations in computer algebra. ACM Commun. Comput. Algebra 45 (1/2) (2011)
Jeremy R. Johnson
Automated performance tuning. PASCO (2010)
Lingchuan Meng, Jeremy R. Johnson, Franz Franchetti, Yevgen Voronenko, Marc Moreno Maza, Yuzhen Xie
Abstract only: SPIRAL-generated modular FFTs. ACM Commun. Comput. Algebra 44 (1/2) (2010)
Lingchuan Meng, Yevgen Voronenko, Jeremy R. Johnson, Marc Moreno Maza, Franz Franchetti, Yuzhen Xie
Spiral-generated modular FFT algorithms. PASCO (2010)
Paolo D'Alberto, Peter A. Milder, Aliaksei Sandryhaila, Franz Franchetti, James C. Hoe, José M. F. Moura, Markus Püschel, Jeremy R. Johnson
Generating FPGA-Accelerated DFT Libraries. FCCM (2007)
Jeremy R. Johnson, Xu Xu
Generating symmetric DFTs and equivariant FFT algorithms. ISSAC (2007)
Pawel Hitczenko, Jeremy R. Johnson, Hung-Jen Huang
Distribution of a class of divide and conquer recurrences arising from the computation of the Walsh-Hadamard transform. Theor. Comput. Sci. 352 (1-3) (2006)
Jeremy R. Johnson, Werner Krandick, Kevin Lynch, David G. Richardson, Anatole D. Ruslanov
High-performance implementations of the Descartes method. ISSAC (2006)
Markus Püschel, José M. F. Moura, Jeremy R. Johnson, David A. Padua, Manuela M. Veloso, Bryan Singer, Jianxin Xiong, Franz Franchetti, Aca Gacic, Yevgen Voronenko, Kang Chen, Robert W. Johnson, Nicholas Rizzolo
SPIRAL: Code Generation for DSP Transforms. Proc. IEEE 93 (2) (2005)
Jeremy R. Johnson, Werner Krandick, Anatole D. Ruslanov
Architecture-aware classical Taylor shift by 1. ISSAC (2005)
Kang Chen, Jeremy R. Johnson
A Self-Adapting Distributed Memory Package for Fast Signal Transforms. IPDPS (2004)
Markus Püschel, José M. F. Moura, Bryan Singer, Jianxin Xiong, Jeremy R. Johnson, David A. Padua, Manuela M. Veloso, Robert W. Johnson
Spiral: A Generator for Platform-Adapted Libraries of Signal Processing Alogorithms. Int. J. High Perform. Comput. Appl. 18 (1) (2004)
Jeremy R. Johnson, José M. F. Moura, Markus Püschel, Daniel N. Rockmore
Special issue on computer algebra and signal processing: forward by the guest editors. J. Symb. Comput. 37 (2) (2004)
Jeremy R. Johnson, Anthony F. Breitzman
Automatic derivation and implementation of fast convolution algorithms. J. Symb. Comput. 37 (2) (2004)
Anatole D. Ruslanov, Jeremy R. Johnson
An FPGA implementation of bene permutation networks. FPGA (2004)
Kang Chen, Jeremy R. Johnson
A Prototypical Self-Optimizing Package for Parallel Implementation of Fast Signal Transforms. IPDPS (2002)
George E. Collins, Jeremy R. Johnson, Werner Krandick
Interval Arithmetic in Cylindrical Algebraic Decomposition. J. Symb. Comput. 34 (2) (2002)
Jianxin Xiong, Jeremy R. Johnson, Robert W. Johnson, David A. Padua
SPL: A Language and Compiler for DSP Algorithms. PLDI (2001)
Jeremy R. Johnson, Robert W. Johnson, David A. Padua, Jianxin Xiong
Searching for the Best FFT Formulas with the SPL Compiler. LCPC (2000)
Jeremy R. Johnson, Markus Püschel
In search of the optimal Walsh-Hadamard transform. ICASSP (2000)
Yagati N. Lakshman, Bruce W. Char, Jeremy R. Johnson
Software Components Using Symbolic Computation for Problem Solving Environments. ISSAC (1998)
Jeremy R. Johnson, Yagati N. Lakshman, Thomas T. Hewett, Tim Souder, Tom Fitzgerald, Sara Donegan, Paul Morgovsky
Virtual office hours using TechTalk, a Web-based mathematical collaboration tool. ITiCSE (1998)
Jeremy R. Johnson, Werner Krandick
Polynomial Real Root Isolation using Approximate Arithmetic. ISSAC (1997)
Bruce W. Char, Thomas T. Hewett, Jeremy R. Johnson, Yagati N. Lakshman, Ron Perline, Raji Venkatesan, Hoi Man Chang, Michael Miller, Clint Hepner
Symbolic computation tools in scientific problem solving environments. SIGSAM Bull. 31 (3) (1997)
Werner Krandick, Jeremy R. Johnson
Efficient multiprecision floating point multiplication with optimal directional rounding. IEEE Symposium on Computer Arithmetic (1993)
S. D. Kaushik, Sanjay Sharma, Chua-Huang Huang, Jeremy R. Johnson, Rodney W. Johnson, P. Sadayappan
An Algebraic Theory for Modeling Direct Interconnection Networks. SC (1992)
Jeremy R. Johnson
Real Algebraic Number Computation Using Interval Arithmetic. ISSAC (1992)
George E. Collins, Jeremy R. Johnson, Wolfgang Küchlin
Parallel Real Root Isolation Using the Coefficient Sign Variation Method. CAP (1990)
George E. Collins, Jeremy R. Johnson
Quantifier Elimination and the Sign Variation Method for Real Root Isolation. ISSAC (1989)
George E. Collins, Jeremy R. Johnson
The Probability of Relative Primality of Gaussian Integers. ISSAC (1988)