Publications

Filtered as: all types - all years - author: Franusich, M. - all keywords
Sorted by: keyword
Corresponding bibtex list 

Acceleration 

1. N. Zhang, H. Gamil, P. Brinich, B. Reynwar, A. Al Badawi, N. Neda, D. Soni, K. Canida, Y. Polyakov, P. Broderick, M. Maniatakos, A. G. Schmidt, M. Franusich, Jeremy Johnson, B. Reagen, D. B. Cousins and Franz Franchetti
   Towards Full-Stack Acceleration for Fully Homomorphic Encryption
   Proc. High Performance Extreme Computing (HPEC), 2022
   

Architecture 

1. N. Zhang, A. Ebel, N. Neda, P. Brinich, B. Reynwar, A. G. Schmidt, M. Franusich, Jeremy Johnson, B. Reagen and Franz Franchetti
   Generating High-Performance Number Theoretic Transform Implementations for Vector Architectures
   Proc. IEEE High Performance Extreme Computing (HPEC), 2023
   

Code generation 

1. Sanil Rao, M. Franusich, M. A. H. Monil, H. Mankad, J. Vetter and Franz Franchetti
   FortranX: Harnessing Code Generation, Portability, and Heterogeneity in Fortran
   Proc. Supercomputing (SC), 2024
   

Code generator 

1. Franz Franchetti, Daniele G. Spampinato, Anuva Kulkarni, Thom Popovici, Tze-Meng Low, M. Franusich, A. Canning, P. McCorquodale, B. Van Straalen and P. Colella
   FFTX and SpectralPack: A First Look
   Proc. IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC), 2018
   

Control systems 

1. Franz Franchetti, Tze-Meng Low, Stefan Mitsch, Juan Pablo Mendoza, Liangyan Gui, Amarin Phaosawasdi, David Padua, Soummya Kar, José M. F. Moura, M. Franusich, Jeremy Johnson, Andre' Platzer and Manuela Veloso
   High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
   IEEE Control Systems Magazine, 2017
   

Cryptography 

1. D. B. Cousins, Y. Polyakov, A. Al Badawi, M. French, A. G. Schmidt, A. Jacob, B. Reynwar, K. Canida, A. Jaiswal, C. Mathew, H. Gamil, N. Neda, D. Soni, M. Maniatakos, B. Reagen, N. Zhang, Franz Franchetti, P. Brinich, Jeremy Johnson, P. Broderick, M. Franusich, B. Zhang, Z. Cheng and M. Pedram
   TREBUCHET: Fully Homomorphic Encryption Accelerator for Deep Computation
   arXiv, 2023
   

Distributed, parallel, and cluster computing 

1. D. B. Cousins, Y. Polyakov, A. Al Badawi, M. French, A. G. Schmidt, A. Jacob, B. Reynwar, K. Canida, A. Jaiswal, C. Mathew, H. Gamil, N. Neda, D. Soni, M. Maniatakos, B. Reagen, N. Zhang, Franz Franchetti, P. Brinich, Jeremy Johnson, P. Broderick, M. Franusich, B. Zhang, Z. Cheng and M. Pedram
   TREBUCHET: Fully Homomorphic Encryption Accelerator for Deep Computation
   arXiv, 2023
   

Exascale 

1. Franz Franchetti, Daniele G. Spampinato, Anuva Kulkarni, Tze-Meng Low, M. Franusich, Thom Popovici, A. Canning, P. McCorquodale, B. Van Straalen and P. Colella
   FFT and Solver Libraries for Exascale: FFTX and SpectralPack
   Exascale Computing Project (ECP) Annual Meeting, 2020, Poster
   
2. Franz Franchetti, Daniele G. Spampinato, Anuva Kulkarni, Tze-Meng Low, M. Franusich, Thom Popovici, A. Canning, P. McCorquodale, B. Van Straalen and P. Colella
   FFT and Solvers for Exascale: FFTX and SpectralPACK
   Exascale Computing Project (ECP) Annual Meeting, 2019
   
3. Franz Franchetti, Daniele G. Spampinato, Anuva Kulkarni, Thom Popovici, Tze-Meng Low, M. Franusich, A. Canning, P. McCorquodale, B. Van Straalen and P. Colella
   FFTX and SpectralPack: A First Look
   Proc. IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC), 2018
   

Fast Fourier Transform 

1. N. Zhang, Sanil Rao, M. Franusich and Franz Franchetti
   Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
   Proc. ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025
   
2. Franz Franchetti, Daniele G. Spampinato, Anuva Kulkarni, Thom Popovici, Tze-Meng Low, M. Franusich, A. Canning, P. McCorquodale, B. Van Straalen and P. Colella
   FFTX and SpectralPack: A First Look
   Proc. IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC), 2018
   

FFT 

1. N. Zhang, Sanil Rao, M. Franusich and Franz Franchetti
   Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
   Proc. ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025
   
2. Franz Franchetti, Daniele G. Spampinato, Anuva Kulkarni, Tze-Meng Low, M. Franusich, Thom Popovici, A. Canning, P. McCorquodale, B. Van Straalen and P. Colella
   FFT and Solvers for Exascale: FFTX and SpectralPACK
   Exascale Computing Project (ECP) Annual Meeting, 2019
   
3. Franz Franchetti, Daniele G. Spampinato, Anuva Kulkarni, Thom Popovici, Tze-Meng Low, M. Franusich, A. Canning, P. McCorquodale, B. Van Straalen and P. Colella
   FFTX and SpectralPack: A First Look
   Proc. IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC), 2018
   

FFTX 

1. Franz Franchetti, Daniele G. Spampinato, Anuva Kulkarni, Tze-Meng Low, M. Franusich, Thom Popovici, A. Canning, P. McCorquodale, B. Van Straalen and P. Colella
   FFT and Solver Libraries for Exascale: FFTX and SpectralPack
   Exascale Computing Project (ECP) Annual Meeting, 2020, Poster
   
2. Franz Franchetti, Daniele G. Spampinato, Anuva Kulkarni, Tze-Meng Low, M. Franusich, Thom Popovici, A. Canning, P. McCorquodale, B. Van Straalen and P. Colella
   FFT and Solvers for Exascale: FFTX and SpectralPACK
   Exascale Computing Project (ECP) Annual Meeting, 2019
   

Fortran 

1. Sanil Rao, M. Franusich, M. A. H. Monil, H. Mankad, J. Vetter and Franz Franchetti
   FortranX: Harnessing Code Generation, Portability, and Heterogeneity in Fortran
   Proc. Supercomputing (SC), 2024
   

General size libraries 

1. B. Duff, J. Larkin, M. Franusich and Franz Franchetti
   Automatic Generation of 3-D FFTs
   submitted for publication
   

Hardware architecture 

1. D. B. Cousins, Y. Polyakov, A. Al Badawi, M. French, A. G. Schmidt, A. Jacob, B. Reynwar, K. Canida, A. Jaiswal, C. Mathew, H. Gamil, N. Neda, D. Soni, M. Maniatakos, B. Reagen, N. Zhang, Franz Franchetti, P. Brinich, Jeremy Johnson, P. Broderick, M. Franusich, B. Zhang, Z. Cheng and M. Pedram
   TREBUCHET: Fully Homomorphic Encryption Accelerator for Deep Computation
   arXiv, 2023
   

Heterogeneity 

1. Sanil Rao, M. Franusich, M. A. H. Monil, H. Mankad, J. Vetter and Franz Franchetti
   FortranX: Harnessing Code Generation, Portability, and Heterogeneity in Fortran
   Proc. Supercomputing (SC), 2024
   

High assurance 

1. Franz Franchetti, Tze-Meng Low, Stefan Mitsch, Juan Pablo Mendoza, Liangyan Gui, Amarin Phaosawasdi, David Padua, Soummya Kar, José M. F. Moura, M. Franusich, Jeremy Johnson, Andre' Platzer and Manuela Veloso
   High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
   IEEE Control Systems Magazine, 2017
   

High performance 

1. N. Zhang, A. Ebel, N. Neda, P. Brinich, B. Reynwar, A. G. Schmidt, M. Franusich, Jeremy Johnson, B. Reagen and Franz Franchetti
   Generating High-Performance Number Theoretic Transform Implementations for Vector Architectures
   Proc. IEEE High Performance Extreme Computing (HPEC), 2023
   
2. D. B. Cousins, Y. Polyakov, A. Al Badawi, M. French, A. G. Schmidt, A. Jacob, B. Reynwar, K. Canida, A. Jaiswal, C. Mathew, H. Gamil, N. Neda, D. Soni, M. Maniatakos, B. Reagen, N. Zhang, Franz Franchetti, P. Brinich, Jeremy Johnson, P. Broderick, M. Franusich, B. Zhang, Z. Cheng and M. Pedram
   TREBUCHET: Fully Homomorphic Encryption Accelerator for Deep Computation
   arXiv, 2023
   
3. Franz Franchetti, Daniele G. Spampinato, Anuva Kulkarni, Thom Popovici, Tze-Meng Low, M. Franusich, A. Canning, P. McCorquodale, B. Van Straalen and P. Colella
   FFTX and SpectralPack: A First Look
   Proc. IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC), 2018
   

Homomorphic encryption 

1. N. Zhang, H. Gamil, P. Brinich, B. Reynwar, A. Al Badawi, N. Neda, D. Soni, K. Canida, Y. Polyakov, P. Broderick, M. Maniatakos, A. G. Schmidt, M. Franusich, Jeremy Johnson, B. Reagen, D. B. Cousins and Franz Franchetti
   Towards Full-Stack Acceleration for Fully Homomorphic Encryption
   Proc. High Performance Extreme Computing (HPEC), 2022
   

Number theoretic transforms 

1. N. Zhang, A. Ebel, N. Neda, P. Brinich, B. Reynwar, A. G. Schmidt, M. Franusich, Jeremy Johnson, B. Reagen and Franz Franchetti
   Generating High-Performance Number Theoretic Transform Implementations for Vector Architectures
   Proc. IEEE High Performance Extreme Computing (HPEC), 2023
   

Portability 

1. Sanil Rao, M. Franusich, M. A. H. Monil, H. Mankad, J. Vetter and Franz Franchetti
   FortranX: Harnessing Code Generation, Portability, and Heterogeneity in Fortran
   Proc. Supercomputing (SC), 2024
   

Scientific computing 

1. N. Zhang, Sanil Rao, M. Franusich and Franz Franchetti
   Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
   Proc. ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025
   

Security 

1. D. B. Cousins, Y. Polyakov, A. Al Badawi, M. French, A. G. Schmidt, A. Jacob, B. Reynwar, K. Canida, A. Jaiswal, C. Mathew, H. Gamil, N. Neda, D. Soni, M. Maniatakos, B. Reagen, N. Zhang, Franz Franchetti, P. Brinich, Jeremy Johnson, P. Broderick, M. Franusich, B. Zhang, Z. Cheng and M. Pedram
   TREBUCHET: Fully Homomorphic Encryption Accelerator for Deep Computation
   arXiv, 2023
   

Semantics 

1. N. Zhang, Sanil Rao, M. Franusich and Franz Franchetti
   Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
   Proc. ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025
   

Semantics lifting 

1. N. Zhang, Sanil Rao, M. Franusich and Franz Franchetti
   Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
   Proc. ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025
   

SpectralPACK 

1. Franz Franchetti, Daniele G. Spampinato, Anuva Kulkarni, Tze-Meng Low, M. Franusich, Thom Popovici, A. Canning, P. McCorquodale, B. Van Straalen and P. Colella
   FFT and Solver Libraries for Exascale: FFTX and SpectralPack
   Exascale Computing Project (ECP) Annual Meeting, 2020, Poster
   
2. Franz Franchetti, Daniele G. Spampinato, Anuva Kulkarni, Tze-Meng Low, M. Franusich, Thom Popovici, A. Canning, P. McCorquodale, B. Van Straalen and P. Colella
   FFT and Solvers for Exascale: FFTX and SpectralPACK
   Exascale Computing Project (ECP) Annual Meeting, 2019
   

SPIRAL 

1. N. Zhang, Sanil Rao, M. Franusich and Franz Franchetti
   Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
   Proc. ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025
   
2. Franz Franchetti, Daniele G. Spampinato, Anuva Kulkarni, Tze-Meng Low, M. Franusich, Thom Popovici, A. Canning, P. McCorquodale, B. Van Straalen and P. Colella
   FFT and Solvers for Exascale: FFTX and SpectralPACK
   Exascale Computing Project (ECP) Annual Meeting, 2019
   
3. Franz Franchetti, Tze-Meng Low, Stefan Mitsch, Juan Pablo Mendoza, Liangyan Gui, Amarin Phaosawasdi, David Padua, Soummya Kar, José M. F. Moura, M. Franusich, Jeremy Johnson, Andre' Platzer and Manuela Veloso
   High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
   IEEE Control Systems Magazine, 2017
   

Static analysis 

1. N. Zhang, Sanil Rao, M. Franusich and Franz Franchetti
   Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
   Proc. ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025
   

Vector 

1. N. Zhang, A. Ebel, N. Neda, P. Brinich, B. Reynwar, A. G. Schmidt, M. Franusich, Jeremy Johnson, B. Reagen and Franz Franchetti
   Generating High-Performance Number Theoretic Transform Implementations for Vector Architectures
   Proc. IEEE High Performance Extreme Computing (HPEC), 2023
   

Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and Markus Püschel
Electrical and Computer Engineering, Carnegie Mellon University, 2007