Jeremy R. Johnson

29 papers A* 1A 4B 7C 1Misc 1Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2023 — conf
Proof Buddy: A Tool to Aid Students in Proof Construction.
SIGCSE (2)
Steve Earth, Jeremy R. Johnson, Bruce W. Char
2019 — conf
Use of Maple and Möbius in an Undergraduate Course on Cryptography.
MC
Bruce W. Char, Jeremy R. Johnson
2018 J jnl
Probabilistic Analysis of Block Wiedemann for Leading Invariant Factors.
CoRR
Gavin Harrison, Jeremy R. Johnson, B. David Saunders
2018 J jnl
SPIRAL: Extreme Performance Portability.
Proc. IEEE
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
2014 J jnl
Probabilistic analysis of Wiedemann's algorithm for minimal polynomial computation.
CoRR
Gavin Harrison, Jeremy R. Johnson, B. David Saunders
2012 J jnl
Special Issue on Symbolic and Algebraic Computation Foundations, Algorithmics and Applications: ISSAC 2009.
J. Symb. Comput.
Jeremy R. Johnson, Erich L. Kaltofen, Hyungju Park
2011 J jnl
Abstracts of recent doctoral dissertations in computer algebra.
ACM Commun. Comput. Algebra
Jeremy R. Johnson
2010 — conf
Automated performance tuning.
PASCO
Jeremy R. Johnson
2010 — conf
Spiral-generated modular FFT algorithms.
PASCO
Lingchuan Meng, Yevgen Voronenko, Jeremy R. Johnson, Marc Moreno Maza, Franz Franchetti, Yuzhen Xie
2009 B ed.
Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings
ISSAC
Jeremy R. Johnson, Hyungju Park, Erich L. Kaltofen
2007 Misc conf
Generating FPGA-Accelerated DFT Libraries.
FCCM
Paolo D'Alberto, Peter A. Milder, Aliaksei Sandryhaila, Franz Franchetti, James C. Hoe, José M. F. Moura, Markus Püschel, Jeremy R. Johnson
2006 J jnl
Distribution of a class of divide and conquer recurrences arising from the computation of the Walsh-Hadamard transform.
Theor. Comput. Sci.
Pawel Hitczenko, Jeremy R. Johnson, Hung-Jen Huang
2006 B conf
High-performance implementations of the Descartes method.
ISSAC
Jeremy R. Johnson, Werner Krandick, Kevin Lynch, David G. Richardson, Anatole D. Ruslanov
2005 B conf
Architecture-aware classical Taylor shift by 1.
ISSAC
Jeremy R. Johnson, Werner Krandick, Anatole D. Ruslanov
2005 J jnl
SPIRAL: Code Generation for DSP Transforms.
Proc. IEEE
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
2004 A conf
A Self-Adapting Distributed Memory Package for Fast Signal Transforms.
IPDPS
Kang Chen, Jeremy R. Johnson
2004 A conf
An FPGA implementation of bene permutation networks.
FPGA
Anatole D. Ruslanov, Jeremy R. Johnson
2004 J jnl
Automatic derivation and implementation of fast convolution algorithms.
J. Symb. Comput.
Jeremy R. Johnson, Anthony F. Breitzman
2004 J jnl
Special issue on computer algebra and signal processing: forward by the guest editors.
J. Symb. Comput.
Jeremy R. Johnson, José M. F. Moura, Markus Püschel, Daniel N. Rockmore
2002 A conf
A Prototypical Self-Optimizing Package for Parallel Implementation of Fast Signal Transforms.
IPDPS
Kang Chen, Jeremy R. Johnson
2002 J jnl
Interval Arithmetic in Cylindrical Algebraic Decomposition.
J. Symb. Comput.
George E. Collins, Jeremy R. Johnson, Werner Krandick
2001 A* conf
SPL: A Language and Compiler for DSP Algorithms.
PLDI
Jianxin Xiong, Jeremy R. Johnson, Robert W. Johnson, David A. Padua
1997 B conf
Polynomial Real Root Isolation using Approximate Arithmetic.
ISSAC
Jeremy R. Johnson, Werner Krandick
1993 C conf
Efficient multiprecision floating point multiplication with optimal directional rounding.
IEEE Symposium on Computer Arithmetic
Werner Krandick, Jeremy R. Johnson
1992 A conf
An Algebraic Theory for Modeling Direct Interconnection Networks.
SC
S. D. Kaushik, Sanjay Sharma, Chua-Huang Huang, Jeremy R. Johnson, Rodney W. Johnson, P. Sadayappan
1992 B conf
Real Algebraic Number Computation Using Interval Arithmetic.
ISSAC
Jeremy R. Johnson
1990 — conf
Parallel Real Root Isolation Using the Coefficient Sign Variation Method.
CAP
George E. Collins, Jeremy R. Johnson, Wolfgang Küchlin
1989 B conf
Quantifier Elimination and the Sign Variation Method for Real Root Isolation.
ISSAC
George E. Collins, Jeremy R. Johnson
1988 B conf
The Probability of Relative Primality of Gaussian Integers.
ISSAC
George E. Collins, Jeremy R. Johnson