Jeremy Johnson

According to our database, Jeremy Johnson authored at least 52 papers between 1988 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Moving forward with LogicWriter Actual, A Web App for Early Undergraduate Writing with Mathematical Logic.

Bruce W. Char, Jeremy Johnson, Steve Earth

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

2023

TREBUCHET: Fully Homomorphic Encryption Accelerator for Deep Computation.

David Bruce Cousins, Yuriy Polyakov, Ahmad Al Badawi, Matthew French, Andrew G. Schmidt, Ajey P. Jacob, Benedict Reynwar, Kellie Canida, Akhilesh R. Jaiswal, Clynn Mathew, Homer Gamil, Negar Neda, Deepraj Soni, Michail Maniatakos, Brandon Reagen, Naifeng Zhang, Franz Franchetti, Patrick Brinich, Jeremy Johnson, Patrick Broderick, Mike Franusich, Bo Zhang, Zeming Cheng, Massoud Pedram

IACR Cryptol. ePrint Arch., 2023

Proof Buddy: A Tool to Aid Students in Proof Construction.

Steve Earth, Jeremy R. Johnson, Bruce W. Char

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

Generating High-Performance Number Theoretic Transform Implementations for Vector Architectures.

Naifeng Zhang, Austin Ebel, Negar Neda, Patrick Brinich, Benedict Reynwar, Andrew G. Schmidt, Mike Franusich, Jeremy Johnson, Brandon Reagen, Franz Franchetti

Proceedings of the IEEE High Performance Extreme Computing Conference, 2023

2020

Comparison of Role-Assigned Grouping with Free-Form Group Activities in an Introductory Computer Science Course.

Steve Earth, Bruce W. Char, Jeremy Johnson

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Verification of Vectorization of Signal Transforms.

Patrick Brinich, Jeremy Johnson

Proceedings of the Languages and Compilers for Parallel Computing, 2020

2019

Use of Maple and Möbius in an Undergraduate Course on Cryptography.

Bruce W. Char, Jeremy R. Johnson

Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

2018

SPIRAL: Extreme Performance Portability.

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

Proc. IEEE, 2018

2017

A Haskell compiler for signal transforms.

Geoffrey Mainland, Jeremy Johnson

Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017

2016

Probabilistic analysis of block wiedemann for leading invariant factors.

Gavin Harrison, Jeremy Johnson, B. David Saunders

ACM Commun. Comput. Algebra, 2016

2015

Automatically Generated Feedback for CS student Work: Best Practices (Abstract Only).

Bruce W. Char, Jeffrey L. Popyack, Jeremy Johnson, William M. Mongan

Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

High performance implementation of the inverse TFT.

Lingchuan Meng, Jeremy Johnson

Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, 2015

2014

The 2010 Benjamin Franklin medal in Computer and Cognitive Science presented to Shafrira Goldwasser, Ph.D.

Jeremy Johnson

J. Frankl. Inst., 2014

High performance implementation of the TFT.

Lingchuan Meng, Jeremy Johnson

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

2013

Towards parallel general-size library generation for polynomial multiplication.

Lingchuan Meng, Jeremy Johnson

ACM Commun. Comput. Algebra, 2013

Probabilistic analysis of Wiedemann's algorithm for minimal polynomial computation.

Gavin Harrison, Jeremy Johnson, B. David Saunders

ACM Commun. Comput. Algebra, 2013

A term rewriting system for the calculus of moving surfaces.

Mark Boady, Pavel Grinfeld, Jeremy Johnson

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

Automatic Parallel Library Generation for General-Size Modular FFT Algorithms.

Lingchuan Meng, Jeremy Johnson

Proceedings of the Computer Algebra in Scientific Computing - 15th International Workshop, 2013

2012

Special Issue on Symbolic and Algebraic Computation Foundations, Algorithmics and Applications: ISSAC 2009.

Jeremy R. Johnson, Erich L. Kaltofen, Hyungju Park

J. Symb. Comput., 2012

Abstracts of recent doctoral dissertations in computer algebra.

Jeremy Johnson

ACM Commun. Comput. Algebra, 2012

In Memoriam: Werner Krandick.

Jeremy Johnson

ACM Commun. Comput. Algebra, 2012

2011

A symbolic computation system for the calculus of moving surfaces.

Mark Boady, Pavel Grinfeld, Jeremy Johnson

ACM Commun. Comput. Algebra, 2011

2010

Abstract only: SPIRAL-generated modular FFTs.

Lingchuan Meng, Jeremy Johnson, Franz Franchetti, Yevgen Voronenko, Marc Moreno Maza, Yuzhen Xie

ACM Commun. Comput. Algebra, 2010

Spiral-generated modular FFT algorithms.

Lingchuan Meng, Yevgen Voronenko, Jeremy R. Johnson, Marc Moreno Maza, Franz Franchetti, Yuzhen Xie

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

Automated performance tuning.

Jeremy R. Johnson

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

2007

Generating symmetric DFTs and equivariant FFT algorithms.

Jeremy Johnson, Xu Xu

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

Generating FPGA-Accelerated DFT Libraries.

Paolo D'Alberto, Peter A. Milder, Aliaksei Sandryhaila, Franz Franchetti, James C. Hoe, José M. F. Moura, Markus Püschel, Jeremy R. Johnson

Proceedings of the IEEE Symposium on Field-Programmable Custom Computing Machines, 2007

2006

Distribution of a class of divide and conquer recurrences arising from the computation of the Walsh-Hadamard transform.

Pawel Hitczenko, Jeremy R. Johnson, Hung-Jen Huang

Theor. Comput. Sci., 2006

High-performance implementations of the Descartes method.

Jeremy R. Johnson, Werner Krandick, Kevin Lynch, David G. Richardson, Anatole D. Ruslanov

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

2005

SPIRAL: Code Generation for DSP Transforms.

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

Proc. IEEE, 2005

Architecture-aware classical Taylor shift by 1.

Jeremy R. Johnson, Werner Krandick, Anatole D. Ruslanov

Proceedings of the Symbolic and Algebraic Computation, 2005

2004

Special issue on computer algebra and signal processing: forward by the guest editors.

Jeremy R. Johnson, José M. F. Moura, Markus Püschel, Daniel N. Rockmore

J. Symb. Comput., 2004

Automatic derivation and implementation of fast convolution algorithms.

Jeremy R. Johnson, Anthony F. Breitzman

J. Symb. Comput., 2004

Spiral: A Generator for Platform-Adapted Libraries of Signal Processing Alogorithms.

Markus Püschel, José M. F. Moura, Bryan Singer, Jianxin Xiong, Jeremy Johnson, David A. Padua, Manuela M. Veloso, Robert W. Johnson

Int. J. High Perform. Comput. Appl., 2004

A Self-Adapting Distributed Memory Package for Fast Signal Transforms.

Kang Chen, Jeremy R. Johnson

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

An FPGA implementation of bene permutation networks.

Anatole D. Ruslanov, Jeremy R. Johnson

Proceedings of the ACM/SIGDA 12th International Symposium on Field Programmable Gate Arrays, 2004

2002

Interval Arithmetic in Cylindrical Algebraic Decomposition.

George E. Collins, Jeremy R. Johnson, Werner Krandick

J. Symb. Comput., 2002

A Prototypical Self-Optimizing Package for Parallel Implementation of Fast Signal Transforms.

Kang Chen, Jeremy R. Johnson

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

2001

SPL: A Language and Compiler for DSP Algorithms.

Jianxin Xiong, Jeremy R. Johnson, Robert W. Johnson, David A. Padua

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

2000

Searching for the Best FFT Formulas with the SPL Compiler.

Jeremy Johnson, Robert W. Johnson, David A. Padua, Jianxin Xiong

Proceedings of the Languages and Compilers for Parallel Computing, 2000

In search of the optimal Walsh-Hadamard transform.

Jeremy Johnson, Markus Püschel

Proceedings of the IEEE International Conference on Acoustics, 2000

1998

Virtual office hours using TechTalk, a Web-based mathematical collaboration tool.

Jeremy Johnson, Yagati N. Lakshman, Thomas T. Hewett, Tim Souder, Tom Fitzgerald, Sara Donegan, Paul Morgovsky

Proceedings of the 6th Annual Conference on the Teaching of Computing and the 3rd Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1998

Software Components Using Symbolic Computation for Problem Solving Environments.

Yagati N. Lakshman, Bruce W. Char, Jeremy Johnson

Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998

1997

Symbolic computation tools in scientific problem solving environments.

Bruce W. Char, Thomas T. Hewett, Jeremy Johnson, Yagati N. Lakshman, Ron Perline, Raji Venkatesan, Hoi Man Chang, Michael Miller, Clint Hepner

SIGSAM Bull., 1997

Polynomial Real Root Isolation using Approximate Arithmetic.

Jeremy R. Johnson, Werner Krandick

Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997

1994

Some Experiments with Parallel Bignum Arithmetic.

Bruce W. Char, Jeremy Johnson, David Saunders, Andrew P. Wack

Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

1993

Efficient multiprecision floating point multiplication with optimal directional rounding.

Werner Krandick, Jeremy R. Johnson

Proceedings of the 11th Symposium on Computer Arithmetic, 29 June, 1993

1992

An Algebraic Theory for Modeling Direct Interconnection Networks.

S. D. Kaushik, Sanjay Sharma, Chua-Huang Huang, Jeremy R. Johnson, Rodney W. Johnson, P. Sadayappan

Proceedings of the Proceedings Supercomputing '92, 1992

Real Algebraic Number Computation Using Interval Arithmetic.

Jeremy R. Johnson

Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, 1992

1990

Parallel Real Root Isolation Using the Coefficient Sign Variation Method.

George E. Collins, Jeremy R. Johnson, Wolfgang Küchlin

Proceedings of the Computer Algebra and Parallelism, 1990

1989

Quantifier Elimination and the Sign Variation Method for Real Root Isolation.

George E. Collins, Jeremy R. Johnson

Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989

1988

The Probability of Relative Primality of Gaussian Integers.

George E. Collins, Jeremy R. Johnson

Proceedings of the Symbolic and Algebraic Computation, 1988