Jeremy Johnson

40 papers A 2B 7C 1Misc 1Journal 23Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
From Algorithms to Axioms: Classifying Proof Errors of Novice Programmers.
J. Comput. Sci. Coll.
Steve Earth, Bruce W. Char, Jeremy Johnson
2024 C conf
Generating Formally Verified Quantum Fourier Transform Algorithms.
CICM
Patrick Brinich, Jeremy Johnson
2024 — conf
Moving forward with LogicWriter Actual, A Web App for Early Undergraduate Writing with Mathematical Logic.
SIGCSE (2)
Bruce W. Char, Jeremy Johnson, Steve Earth
2024 J jnl
Programming Skills as a Gateway to Proof Writing Proficiency.
J. Comput. Sci. Coll.
Steve Earth, Jeremy Johnson, Bruce W. Char
2023 J jnl
A Web App for Writing with Mathematical Logic.
J. Comput. Sci. Coll.
Bruce W. Char, Steve Earth, Jeremy Johnson
2023 — conf
Generating High-Performance Number Theoretic Transform Implementations for Vector Architectures.
HPEC
Naifeng Zhang, Austin Ebel, Negar Neda, Patrick Brinich, Benedict Reynwar, Andrew G. Schmidt, Mike Franusich, Jeremy Johnson, Brandon Reagen, Franz Franchetti
2023 J jnl
Prove It with Proof Buddy: The Programmer's Sidekick for Learning Proof Writing.
J. Comput. Sci. Coll.
Steve Earth, Jeremy Johnson, Bruce W. Char
2023 J jnl
TREBUCHET: Fully Homomorphic Encryption Accelerator for Deep Computation.
CoRR
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
2023 J jnl
TREBUCHET: Fully Homomorphic Encryption Accelerator for Deep Computation.
IACR Cryptol. ePrint Arch.
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
2022 J jnl
Probabilistic analysis of block Wiedemann for leading invariant factors.
J. Symb. Comput.
Gavin Harrison, Jeremy Johnson, B. David Saunders
2020 A conf
Comparison of Role-Assigned Grouping with Free-Form Group Activities in an Introductory Computer Science Course.
SIGCSE
Steve Earth, Bruce W. Char, Jeremy Johnson
2020 — conf
Verification of Vectorization of Signal Transforms.
LCPC
Patrick Brinich, Jeremy Johnson
2017 B conf
A Haskell compiler for signal transforms.
GPCE
Geoffrey Mainland, Jeremy Johnson
2016 J jnl
Probabilistic analysis of Wiedemann's algorithm for minimal polynomial computation.
J. Symb. Comput.
Gavin Harrison, Jeremy Johnson, B. David Saunders
2016 J jnl
Probabilistic analysis of block wiedemann for leading invariant factors.
ACM Commun. Comput. Algebra
Gavin Harrison, Jeremy Johnson, B. David Saunders
2015 A conf
Automatically Generated Feedback for CS student Work: Best Practices (Abstract Only).
SIGCSE
Bruce W. Char, Jeffrey L. Popyack, Jeremy Johnson, William M. Mongan
2015 — conf
High performance implementation of the inverse TFT.
PASCO
Lingchuan Meng, Jeremy Johnson
2014 B conf
High performance implementation of the TFT.
ISSAC
Lingchuan Meng, Jeremy Johnson
2014 J jnl
The 2010 Benjamin Franklin medal in Computer and Cognitive Science presented to Shafrira Goldwasser, Ph.D.
J. Frankl. Inst.
Jeremy Johnson
2013 B conf
A term rewriting system for the calculus of moving surfaces.
ISSAC
Mark Boady, Pavel Grinfeld, Jeremy Johnson
2013 J jnl
Abstracts of recent doctoral dissertations in computer algebra.
ACM Commun. Comput. Algebra
Jeremy Johnson
2013 B conf
Automatic Parallel Library Generation for General-Size Modular FFT Algorithms.
CASC
Lingchuan Meng, Jeremy Johnson
2013 J jnl
Probabilistic analysis of Wiedemann's algorithm for minimal polynomial computation.
ACM Commun. Comput. Algebra
Gavin Harrison, Jeremy Johnson, B. David Saunders
2013 J jnl
Towards parallel general-size library generation for polynomial multiplication.
ACM Commun. Comput. Algebra
Lingchuan Meng, Jeremy Johnson
2012 J jnl
Abstracts of recent doctoral dissertations in computer algebra.
ACM Commun. Comput. Algebra
Jeremy Johnson
2012 J jnl
Abstracts of recent doctoral dissertations in computer algebra.
ACM Commun. Comput. Algebra
Jeremy Johnson
2012 J jnl
Abstracts of recent doctoral dissertations in computer algebra.
ACM Commun. Comput. Algebra
Jeremy Johnson
2012 J jnl
Abstracts of recent doctoral dissertations in computer algebra.
ACM Commun. Comput. Algebra
Jeremy Johnson
2012 J jnl
In Memoriam: Werner Krandick.
ACM Commun. Comput. Algebra
Jeremy Johnson
2011 J jnl
A symbolic computation system for the calculus of moving surfaces.
ACM Commun. Comput. Algebra
Mark Boady, Pavel Grinfeld, Jeremy Johnson
2011 J jnl
Abstracts of recent doctoral dissertations in computer algebra.
ACM Commun. Comput. Algebra
Jeremy Johnson
2010 J jnl
Abstract only: SPIRAL-generated modular FFTs.
ACM Commun. Comput. Algebra
Lingchuan Meng, Jeremy Johnson, Franz Franchetti, Yevgen Voronenko, Marc Moreno Maza, Yuzhen Xie
2007 B conf
Generating symmetric DFTs and equivariant FFT algorithms.
ISSAC
Jeremy Johnson, Xu Xu
2004 J jnl
Spiral: A Generator for Platform-Adapted Libraries of Signal Processing Alogorithms.
Int. J. High Perform. Comput. Appl.
Markus Püschel, José M. F. Moura, Bryan Singer, Jianxin Xiong, Jeremy Johnson, David A. Padua, Manuela M. Veloso, Robert W. Johnson
2000 Misc conf
In search of the optimal Walsh-Hadamard transform.
ICASSP
Jeremy Johnson, Markus Püschel
2000 — conf
Searching for the Best FFT Formulas with the SPL Compiler.
LCPC
Jeremy Johnson, Robert W. Johnson, David A. Padua, Jianxin Xiong
1998 B conf
Software Components Using Symbolic Computation for Problem Solving Environments.
ISSAC
Yagati N. Lakshman, Bruce W. Char, Jeremy Johnson
1998 B conf
Virtual office hours using TechTalk, a Web-based mathematical collaboration tool.
ITiCSE
Jeremy Johnson, Yagati N. Lakshman, Thomas T. Hewett, Tim Souder, Tom Fitzgerald, Sara Donegan, Paul Morgovsky
1997 J jnl
Symbolic computation tools in scientific problem solving environments.
SIGSAM Bull.
Bruce W. Char, Thomas T. Hewett, Jeremy Johnson, Yagati N. Lakshman, Ron Perline, Raji Venkatesan, Hoi Man Chang, Michael Miller, Clint Hepner
1994 — conf
Some Experiments with Parallel Bignum Arithmetic.
PASCO
Bruce W. Char, Jeremy Johnson, David Saunders, Andrew P. Wack