default search action
Jeremy Johnson 0001
Person information
- affiliation: Drexel University, Department of Computer Science, Philadelphia, PA, USA
Other persons with the same name
- Jeremy Johnson — disambiguation page
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c35]Patrick Brinich, Jeremy Johnson:
Generating Formally Verified Quantum Fourier Transform Algorithms. CICM 2024: 261-276 - [c34]Bruce W. Char, Jeremy Johnson, Steve Earth:
Moving forward with LogicWriter Actual, A Web App for Early Undergraduate Writing with Mathematical Logic. SIGCSE (2) 2024: 1931 - 2023
- [c33]Naifeng Zhang, Austin Ebel, Negar Neda, Patrick Brinich, Benedict Reynwar, Andrew G. Schmidt, Mike Franusich, Jeremy Johnson, Brandon Reagen, Franz Franchetti:
Generating High-Performance Number Theoretic Transform Implementations for Vector Architectures. HPEC 2023: 1-7 - [c32]Steve Earth, Jeremy R. Johnson, Bruce W. Char:
Proof Buddy: A Tool to Aid Students in Proof Construction. SIGCSE (2) 2023: 1259 - [i4]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:
TREBUCHET: Fully Homomorphic Encryption Accelerator for Deep Computation. CoRR abs/2304.05237 (2023) - [i3]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:
TREBUCHET: Fully Homomorphic Encryption Accelerator for Deep Computation. IACR Cryptol. ePrint Arch. 2023: 521 (2023) - 2022
- [j25]Gavin Harrison, Jeremy Johnson, B. David Saunders:
Probabilistic analysis of block Wiedemann for leading invariant factors. J. Symb. Comput. 108: 98-116 (2022) - 2020
- [c31]Patrick Brinich, Jeremy Johnson:
Verification of Vectorization of Signal Transforms. LCPC 2020: 215-231 - [c30]Steve Earth, Bruce W. Char, Jeremy Johnson:
Comparison of Role-Assigned Grouping with Free-Form Group Activities in an Introductory Computer Science Course. SIGCSE 2020: 1356
2010 – 2019
- 2019
- [c29]Bruce W. Char, Jeremy R. Johnson:
Use of Maple and Möbius in an Undergraduate Course on Cryptography. MC 2019: 230-244 - 2018
- [j24]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): 1935-1968 (2018) - [i2]Gavin Harrison, Jeremy R. Johnson, B. David Saunders:
Probabilistic Analysis of Block Wiedemann for Leading Invariant Factors. CoRR abs/1803.03864 (2018) - 2017
- [c28]Geoffrey Mainland, Jeremy Johnson:
A Haskell compiler for signal transforms. GPCE 2017: 219-232 - 2016
- [j23]Gavin Harrison, Jeremy Johnson, B. David Saunders:
Probabilistic analysis of block wiedemann for leading invariant factors. ACM Commun. Comput. Algebra 50(4): 173-175 (2016) - [j22]Gavin Harrison, Jeremy Johnson, B. David Saunders:
Probabilistic analysis of Wiedemann's algorithm for minimal polynomial computation. J. Symb. Comput. 74: 55-69 (2016) - 2015
- [c27]Lingchuan Meng, Jeremy Johnson:
High performance implementation of the inverse TFT. PASCO 2015: 87-94 - [c26]Bruce W. Char, Jeffrey L. Popyack, Jeremy Johnson, William M. Mongan:
Automatically Generated Feedback for CS student Work: Best Practices (Abstract Only). SIGCSE 2015: 696 - 2014
- [j21]Jeremy Johnson:
The 2010 Benjamin Franklin medal in Computer and Cognitive Science presented to Shafrira Goldwasser, Ph.D. J. Frankl. Inst. 351(1): 12-16 (2014) - [c25]Lingchuan Meng, Jeremy Johnson:
High performance implementation of the TFT. ISSAC 2014: 328-334 - [i1]Gavin Harrison, Jeremy R. Johnson, B. David Saunders:
Probabilistic analysis of Wiedemann's algorithm for minimal polynomial computation. CoRR abs/1412.5071 (2014) - 2013
- [j20]Jeremy Johnson:
Abstracts of recent doctoral dissertations in computer algebra. ACM Commun. Comput. Algebra 47(1/2): 19-23 (2013) - [j19]Lingchuan Meng, Jeremy Johnson:
Towards parallel general-size library generation for polynomial multiplication. ACM Commun. Comput. Algebra 47(3/4): 106-107 (2013) - [j18]Gavin Harrison, Jeremy Johnson, B. David Saunders:
Probabilistic analysis of Wiedemann's algorithm for minimal polynomial computation. ACM Commun. Comput. Algebra 47(3/4): 118-119 (2013) - [c24]Lingchuan Meng, Jeremy Johnson:
Automatic Parallel Library Generation for General-Size Modular FFT Algorithms. CASC 2013: 243-256 - [c23]Mark Boady, Pavel Grinfeld, Jeremy Johnson:
A term rewriting system for the calculus of moving surfaces. ISSAC 2013: 69-76 - 2012
- [j17]Jeremy Johnson:
Abstracts of recent doctoral dissertations in computer algebra. ACM Commun. Comput. Algebra 46(1/2): 14-16 (2012) - [j16]Jeremy Johnson:
In Memoriam: Werner Krandick. ACM Commun. Comput. Algebra 46(1/2): 52-54 (2012) - [j15]Jeremy Johnson:
Abstracts of recent doctoral dissertations in computer algebra. ACM Commun. Comput. Algebra 46(1/2): 60-63 (2012) - [j14]Jeremy Johnson:
Abstracts of recent doctoral dissertations in computer algebra. ACM Commun. Comput. Algebra 46(3/4): 127-129 (2012) - [j13]Jeremy Johnson:
Abstracts of recent doctoral dissertations in computer algebra. ACM Commun. Comput. Algebra 46(3/4): 176-179 (2012) - [j12]Jeremy R. Johnson, Erich L. Kaltofen, Hyungju Park:
Special Issue on Symbolic and Algebraic Computation Foundations, Algorithmics and Applications: ISSAC 2009. J. Symb. Comput. 47(7): 751 (2012) - 2011
- [j11]Jeremy Johnson:
Abstracts of recent doctoral dissertations in computer algebra. ACM Commun. Comput. Algebra 45(1/2): 62 (2011) - [j10]Mark Boady, Pavel Grinfeld, Jeremy Johnson:
A symbolic computation system for the calculus of moving surfaces. ACM Commun. Comput. Algebra 45(1/2): 109-110 (2011) - [j9]Jeremy R. Johnson:
Abstracts of recent doctoral dissertations in computer algebra. ACM Commun. Comput. Algebra 45(1/2): 143-145 (2011) - 2010
- [j8]Lingchuan Meng, Jeremy Johnson, Franz Franchetti, Yevgen Voronenko, Marc Moreno Maza, Yuzhen Xie:
Abstract only: SPIRAL-generated modular FFTs. ACM Commun. Comput. Algebra 44(1/2): 25-26 (2010) - [c22]Jeremy R. Johnson:
Automated performance tuning. PASCO 2010: 20-21 - [c21]Lingchuan Meng, Yevgen Voronenko, Jeremy R. Johnson, Marc Moreno Maza, Franz Franchetti, Yuzhen Xie:
Spiral-generated modular FFT algorithms. PASCO 2010: 169-170
2000 – 2009
- 2009
- [e1]Jeremy R. Johnson, Hyungju Park, Erich L. Kaltofen:
Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings. ACM 2009, ISBN 978-1-60558-609-0 [contents] - 2007
- [c20]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: 173-184 - [c19]Jeremy Johnson, Xu Xu:
Generating symmetric DFTs and equivariant FFT algorithms. ISSAC 2007: 195-202 - 2006
- [j7]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): 8-30 (2006) - [c18]Jeremy R. Johnson, Werner Krandick, Kevin Lynch, David G. Richardson, Anatole D. Ruslanov:
High-performance implementations of the Descartes method. ISSAC 2006: 154-161 - 2005
- [j6]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): 232-275 (2005) - [c17]Jeremy R. Johnson, Werner Krandick, Anatole D. Ruslanov:
Architecture-aware classical Taylor shift by 1. ISSAC 2005: 200-207 - 2004
- [j5]Markus Püschel, José M. F. Moura, Bryan Singer, Jianxin Xiong, Jeremy 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): 21-45 (2004) - [j4]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): 133-135 (2004) - [j3]Jeremy R. Johnson, Anthony F. Breitzman:
Automatic derivation and implementation of fast convolution algorithms. J. Symb. Comput. 37(2): 261-293 (2004) - [c16]Anatole D. Ruslanov, Jeremy R. Johnson:
An FPGA implementation of bene permutation networks. FPGA 2004: 245 - [c15]Kang Chen, Jeremy R. Johnson:
A Self-Adapting Distributed Memory Package for Fast Signal Transforms. IPDPS 2004 - 2002
- [j2]George E. Collins, Jeremy R. Johnson, Werner Krandick:
Interval Arithmetic in Cylindrical Algebraic Decomposition. J. Symb. Comput. 34(2): 145-157 (2002) - [c14]Kang Chen, Jeremy R. Johnson:
A Prototypical Self-Optimizing Package for Parallel Implementation of Fast Signal Transforms. IPDPS 2002 - 2001
- [c13]Jianxin Xiong, Jeremy R. Johnson, Robert W. Johnson, David A. Padua:
SPL: A Language and Compiler for DSP Algorithms. PLDI 2001: 298-308 - 2000
- [c12]Jeremy Johnson, Markus Püschel:
In search of the optimal Walsh-Hadamard transform. ICASSP 2000: 3347-3350 - [c11]Jeremy Johnson, Robert W. Johnson, David A. Padua, Jianxin Xiong:
Searching for the Best FFT Formulas with the SPL Compiler. LCPC 2000: 112-126
1990 – 1999
- 1998
- [c10]Yagati N. Lakshman, Bruce W. Char, Jeremy Johnson:
Software Components Using Symbolic Computation for Problem Solving Environments. ISSAC 1998: 46-53 - [c9]Jeremy 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: 130-133 - 1997
- [j1]Bruce W. Char, Thomas T. Hewett, Jeremy 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): 58 (1997) - [c8]Jeremy R. Johnson, Werner Krandick:
Polynomial Real Root Isolation using Approximate Arithmetic. ISSAC 1997: 225-232 - 1994
- [c7]Bruce W. Char, Jeremy Johnson, David Saunders, Andrew P. Wack:
Some Experiments with Parallel Bignum Arithmetic. PASCO 1994: 94-103 - 1993
- [c6]Werner Krandick, Jeremy R. Johnson:
Efficient multiprecision floating point multiplication with optimal directional rounding. IEEE Symposium on Computer Arithmetic 1993: 228-233 - 1992
- [c5]Jeremy R. Johnson:
Real Algebraic Number Computation Using Interval Arithmetic. ISSAC 1992: 195-205 - [c4]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: 488-497 - 1990
- [c3]George E. Collins, Jeremy R. Johnson, Wolfgang Küchlin:
Parallel Real Root Isolation Using the Coefficient Sign Variation Method. CAP 1990: 71-87
1980 – 1989
- 1989
- [c2]George E. Collins, Jeremy R. Johnson:
Quantifier Elimination and the Sign Variation Method for Real Root Isolation. ISSAC 1989: 264-271 - 1988
- [c1]George E. Collins, Jeremy R. Johnson:
The Probability of Relative Primality of Gaussian Integers. ISSAC 1988: 252-258
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 01:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint