Publications

Filtered as: all types - all years - all authors - keyword: SPIRAL
Sorted by: author
Corresponding bibtex list 

Bolten, Matthias 

  1. Matthias Bolten, Franz Franchetti, P. H. J. Kelly, Christian Lengauer and Marcus Mohr
    Algebraic Description and Automatic Generation of Multigrid Methods in SPIRAL
    Concurrency and Computation: Practice and Experience, 2017

Canning, A. 

  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 Solvers for Exascale: FFTX and SpectralPACK
    Exascale Computing Project (ECP) Annual Meeting, 2019

Colella, P. 

  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 Solvers for Exascale: FFTX and SpectralPACK
    Exascale Computing Project (ECP) Annual Meeting, 2019

Franchetti, Franz 

  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. Sanil Rao, M. A. H. Monil, H. Mankad, J. Vetter and Franz Franchetti
    FFTX-IRIS: Towards Performance Portability and Heterogeneity for SPIRAL Generated Code
    Proc. Supercomputing (SC), 2023
  3. N. Kitai, Daisuke Takahashi, Franz Franchetti, T. Katagiri, S. Ohshima and T. Nagai
    Adaptation of A64 Scalable Vector Extension for Spiral
    Proc. High Performance Computing Conference (HPCC), Japan, 2021
  4. N. Kitai, Daisuke Takahashi, Franz Franchetti, T. Katagiri, S. Ohshima and T. Nagai
    An Auto-tuning with Adaptation of A64 Scalable Vector Extension for SPIRAL
    Proc. International Workshop on Automatic Performance Tuning (iWAPT), 2021
  5. Scott Mionis, Franz Franchetti and J. Larkin
    Optimized Quantum Circuit Generation with SPIRAL
    Proc. High Performance Extreme Computing (HPEC), 2021
  6. Daisuke Takahashi and Franz Franchetti
    FFTE on SVE: SPIRAL-Generated Kernels
    Proc. International Conference on High Performance Computing in Asia-Pacific Region (HPCAsia), pp. 114-122, 2020
  7. Scott Mionis, Franz Franchetti and J. Larkin
    Quantum Circuit Optimization with SPIRAL: A First Look
    Proc. Supercomputing (SC), 2020
  8. 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
  9. Franz Franchetti, Tze-Meng Low, Thom Popovici, Richard Veras, Daniele G. Spampinato, Jeremy Johnson, Markus Püschel, James C. Hoe and José M. F. Moura
    SPIRAL: Extreme Performance Portability
    Proceedings of the IEEE, special issue on ``From High Level Specification to High Performance Code'', Vol. 106, No. 11, 2018
  10. Matthias Bolten, Franz Franchetti, P. H. J. Kelly, Christian Lengauer and Marcus Mohr
    Algebraic Description and Automatic Generation of Multigrid Methods in SPIRAL
    Concurrency and Computation: Practice and Experience, 2017
  11. 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
  12. Thom Popovici, F. Russell, K. Wilkinson, C-K. Skylaris, P. H. J. Kelly and Franz Franchetti
    Generating Optimized Fourier Interpolation Routines for Density Functional Theory Using SPIRAL
    Proc. Workshop on Compilers for Parallel Computing (CPC), 2015
  13. Lingchuan Meng, Jeremy Johnson, Franz Franchetti, Yevgen Voronenko, Marc Moreno Maza and Yuzhen Xie
    Spiral-Generated Modular FFT Algorithms
    Proc. Parallel Symbolic Computation (PASCO), pp. 169-170, 2010

Franusich, M. 

  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

Gui, Liangyan 

  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

Hoe, James C. 

  1. Franz Franchetti, Tze-Meng Low, Thom Popovici, Richard Veras, Daniele G. Spampinato, Jeremy Johnson, Markus Püschel, James C. Hoe and José M. F. Moura
    SPIRAL: Extreme Performance Portability
    Proceedings of the IEEE, special issue on ``From High Level Specification to High Performance Code'', Vol. 106, No. 11, 2018

Johnson, Jeremy 

  1. Franz Franchetti, Tze-Meng Low, Thom Popovici, Richard Veras, Daniele G. Spampinato, Jeremy Johnson, Markus Püschel, James C. Hoe and José M. F. Moura
    SPIRAL: Extreme Performance Portability
    Proceedings of the IEEE, special issue on ``From High Level Specification to High Performance Code'', Vol. 106, No. 11, 2018
  2. 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
  3. Lingchuan Meng, Jeremy Johnson, Franz Franchetti, Yevgen Voronenko, Marc Moreno Maza and Yuzhen Xie
    Spiral-Generated Modular FFT Algorithms
    Proc. Parallel Symbolic Computation (PASCO), pp. 169-170, 2010

Kar, Soummya 

  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

Katagiri, T. 

  1. N. Kitai, Daisuke Takahashi, Franz Franchetti, T. Katagiri, S. Ohshima and T. Nagai
    Adaptation of A64 Scalable Vector Extension for Spiral
    Proc. High Performance Computing Conference (HPCC), Japan, 2021
  2. N. Kitai, Daisuke Takahashi, Franz Franchetti, T. Katagiri, S. Ohshima and T. Nagai
    An Auto-tuning with Adaptation of A64 Scalable Vector Extension for SPIRAL
    Proc. International Workshop on Automatic Performance Tuning (iWAPT), 2021

Kelly, P. H. J. 

  1. Matthias Bolten, Franz Franchetti, P. H. J. Kelly, Christian Lengauer and Marcus Mohr
    Algebraic Description and Automatic Generation of Multigrid Methods in SPIRAL
    Concurrency and Computation: Practice and Experience, 2017
  2. Thom Popovici, F. Russell, K. Wilkinson, C-K. Skylaris, P. H. J. Kelly and Franz Franchetti
    Generating Optimized Fourier Interpolation Routines for Density Functional Theory Using SPIRAL
    Proc. Workshop on Compilers for Parallel Computing (CPC), 2015

Kitai, N. 

  1. N. Kitai, Daisuke Takahashi, Franz Franchetti, T. Katagiri, S. Ohshima and T. Nagai
    Adaptation of A64 Scalable Vector Extension for Spiral
    Proc. High Performance Computing Conference (HPCC), Japan, 2021
  2. N. Kitai, Daisuke Takahashi, Franz Franchetti, T. Katagiri, S. Ohshima and T. Nagai
    An Auto-tuning with Adaptation of A64 Scalable Vector Extension for SPIRAL
    Proc. International Workshop on Automatic Performance Tuning (iWAPT), 2021

Kulkarni, Anuva 

  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 Solvers for Exascale: FFTX and SpectralPACK
    Exascale Computing Project (ECP) Annual Meeting, 2019

Larkin, J. 

  1. Scott Mionis, Franz Franchetti and J. Larkin
    Optimized Quantum Circuit Generation with SPIRAL
    Proc. High Performance Extreme Computing (HPEC), 2021
  2. Scott Mionis, Franz Franchetti and J. Larkin
    Quantum Circuit Optimization with SPIRAL: A First Look
    Proc. Supercomputing (SC), 2020

Lengauer, Christian 

  1. Matthias Bolten, Franz Franchetti, P. H. J. Kelly, Christian Lengauer and Marcus Mohr
    Algebraic Description and Automatic Generation of Multigrid Methods in SPIRAL
    Concurrency and Computation: Practice and Experience, 2017

Low, Tze-Meng 

  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 Solvers for Exascale: FFTX and SpectralPACK
    Exascale Computing Project (ECP) Annual Meeting, 2019
  2. Franz Franchetti, Tze-Meng Low, Thom Popovici, Richard Veras, Daniele G. Spampinato, Jeremy Johnson, Markus Püschel, James C. Hoe and José M. F. Moura
    SPIRAL: Extreme Performance Portability
    Proceedings of the IEEE, special issue on ``From High Level Specification to High Performance Code'', Vol. 106, No. 11, 2018
  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

Mankad, H. 

  1. Sanil Rao, M. A. H. Monil, H. Mankad, J. Vetter and Franz Franchetti
    FFTX-IRIS: Towards Performance Portability and Heterogeneity for SPIRAL Generated Code
    Proc. Supercomputing (SC), 2023

Maza, Marc Moreno 

  1. Lingchuan Meng, Jeremy Johnson, Franz Franchetti, Yevgen Voronenko, Marc Moreno Maza and Yuzhen Xie
    Spiral-Generated Modular FFT Algorithms
    Proc. Parallel Symbolic Computation (PASCO), pp. 169-170, 2010

McCorquodale, P. 

  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 Solvers for Exascale: FFTX and SpectralPACK
    Exascale Computing Project (ECP) Annual Meeting, 2019

Mendoza, Juan Pablo 

  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

Meng, Lingchuan 

  1. Lingchuan Meng, Jeremy Johnson, Franz Franchetti, Yevgen Voronenko, Marc Moreno Maza and Yuzhen Xie
    Spiral-Generated Modular FFT Algorithms
    Proc. Parallel Symbolic Computation (PASCO), pp. 169-170, 2010

Mionis, Scott 

  1. Scott Mionis, Franz Franchetti and J. Larkin
    Optimized Quantum Circuit Generation with SPIRAL
    Proc. High Performance Extreme Computing (HPEC), 2021
  2. Scott Mionis, Franz Franchetti and J. Larkin
    Quantum Circuit Optimization with SPIRAL: A First Look
    Proc. Supercomputing (SC), 2020

Mitsch, Stefan 

  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

Mohr, Marcus 

  1. Matthias Bolten, Franz Franchetti, P. H. J. Kelly, Christian Lengauer and Marcus Mohr
    Algebraic Description and Automatic Generation of Multigrid Methods in SPIRAL
    Concurrency and Computation: Practice and Experience, 2017

Monil, M. A. H. 

  1. Sanil Rao, M. A. H. Monil, H. Mankad, J. Vetter and Franz Franchetti
    FFTX-IRIS: Towards Performance Portability and Heterogeneity for SPIRAL Generated Code
    Proc. Supercomputing (SC), 2023

Moura, José M. F. 

  1. Franz Franchetti, Tze-Meng Low, Thom Popovici, Richard Veras, Daniele G. Spampinato, Jeremy Johnson, Markus Püschel, James C. Hoe and José M. F. Moura
    SPIRAL: Extreme Performance Portability
    Proceedings of the IEEE, special issue on ``From High Level Specification to High Performance Code'', Vol. 106, No. 11, 2018
  2. 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

Nagai, T. 

  1. N. Kitai, Daisuke Takahashi, Franz Franchetti, T. Katagiri, S. Ohshima and T. Nagai
    Adaptation of A64 Scalable Vector Extension for Spiral
    Proc. High Performance Computing Conference (HPCC), Japan, 2021
  2. N. Kitai, Daisuke Takahashi, Franz Franchetti, T. Katagiri, S. Ohshima and T. Nagai
    An Auto-tuning with Adaptation of A64 Scalable Vector Extension for SPIRAL
    Proc. International Workshop on Automatic Performance Tuning (iWAPT), 2021

Ohshima, S. 

  1. N. Kitai, Daisuke Takahashi, Franz Franchetti, T. Katagiri, S. Ohshima and T. Nagai
    Adaptation of A64 Scalable Vector Extension for Spiral
    Proc. High Performance Computing Conference (HPCC), Japan, 2021
  2. N. Kitai, Daisuke Takahashi, Franz Franchetti, T. Katagiri, S. Ohshima and T. Nagai
    An Auto-tuning with Adaptation of A64 Scalable Vector Extension for SPIRAL
    Proc. International Workshop on Automatic Performance Tuning (iWAPT), 2021

Padua, David 

  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

Phaosawasdi, Amarin 

  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

Platzer, Andre' 

  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

Popovici, Thom 

  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 Solvers for Exascale: FFTX and SpectralPACK
    Exascale Computing Project (ECP) Annual Meeting, 2019
  2. Franz Franchetti, Tze-Meng Low, Thom Popovici, Richard Veras, Daniele G. Spampinato, Jeremy Johnson, Markus Püschel, James C. Hoe and José M. F. Moura
    SPIRAL: Extreme Performance Portability
    Proceedings of the IEEE, special issue on ``From High Level Specification to High Performance Code'', Vol. 106, No. 11, 2018
  3. Thom Popovici, F. Russell, K. Wilkinson, C-K. Skylaris, P. H. J. Kelly and Franz Franchetti
    Generating Optimized Fourier Interpolation Routines for Density Functional Theory Using SPIRAL
    Proc. Workshop on Compilers for Parallel Computing (CPC), 2015

Püschel, Markus 

  1. Franz Franchetti, Tze-Meng Low, Thom Popovici, Richard Veras, Daniele G. Spampinato, Jeremy Johnson, Markus Püschel, James C. Hoe and José M. F. Moura
    SPIRAL: Extreme Performance Portability
    Proceedings of the IEEE, special issue on ``From High Level Specification to High Performance Code'', Vol. 106, No. 11, 2018

Rao, Sanil 

  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. Sanil Rao, M. A. H. Monil, H. Mankad, J. Vetter and Franz Franchetti
    FFTX-IRIS: Towards Performance Portability and Heterogeneity for SPIRAL Generated Code
    Proc. Supercomputing (SC), 2023

Russell, F. 

  1. Thom Popovici, F. Russell, K. Wilkinson, C-K. Skylaris, P. H. J. Kelly and Franz Franchetti
    Generating Optimized Fourier Interpolation Routines for Density Functional Theory Using SPIRAL
    Proc. Workshop on Compilers for Parallel Computing (CPC), 2015

Skylaris, C-K. 

  1. Thom Popovici, F. Russell, K. Wilkinson, C-K. Skylaris, P. H. J. Kelly and Franz Franchetti
    Generating Optimized Fourier Interpolation Routines for Density Functional Theory Using SPIRAL
    Proc. Workshop on Compilers for Parallel Computing (CPC), 2015

Spampinato, Daniele G. 

  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 Solvers for Exascale: FFTX and SpectralPACK
    Exascale Computing Project (ECP) Annual Meeting, 2019
  2. Franz Franchetti, Tze-Meng Low, Thom Popovici, Richard Veras, Daniele G. Spampinato, Jeremy Johnson, Markus Püschel, James C. Hoe and José M. F. Moura
    SPIRAL: Extreme Performance Portability
    Proceedings of the IEEE, special issue on ``From High Level Specification to High Performance Code'', Vol. 106, No. 11, 2018

Takahashi, Daisuke 

  1. N. Kitai, Daisuke Takahashi, Franz Franchetti, T. Katagiri, S. Ohshima and T. Nagai
    Adaptation of A64 Scalable Vector Extension for Spiral
    Proc. High Performance Computing Conference (HPCC), Japan, 2021
  2. N. Kitai, Daisuke Takahashi, Franz Franchetti, T. Katagiri, S. Ohshima and T. Nagai
    An Auto-tuning with Adaptation of A64 Scalable Vector Extension for SPIRAL
    Proc. International Workshop on Automatic Performance Tuning (iWAPT), 2021
  3. Daisuke Takahashi and Franz Franchetti
    FFTE on SVE: SPIRAL-Generated Kernels
    Proc. International Conference on High Performance Computing in Asia-Pacific Region (HPCAsia), pp. 114-122, 2020

Van Straalen, B. 

  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 Solvers for Exascale: FFTX and SpectralPACK
    Exascale Computing Project (ECP) Annual Meeting, 2019

Veloso, Manuela 

  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

Veras, Richard 

  1. Franz Franchetti, Tze-Meng Low, Thom Popovici, Richard Veras, Daniele G. Spampinato, Jeremy Johnson, Markus Püschel, James C. Hoe and José M. F. Moura
    SPIRAL: Extreme Performance Portability
    Proceedings of the IEEE, special issue on ``From High Level Specification to High Performance Code'', Vol. 106, No. 11, 2018
  2. Richard Veras
    The Automatic Generation of High-Performance Graph Analytic Code using Spiral
    PhD. thesis, Electrical and Computer Engineering, Carnegie Mellon University, 2017

Vetter, J. 

  1. Sanil Rao, M. A. H. Monil, H. Mankad, J. Vetter and Franz Franchetti
    FFTX-IRIS: Towards Performance Portability and Heterogeneity for SPIRAL Generated Code
    Proc. Supercomputing (SC), 2023

Voronenko, Yevgen 

  1. Lingchuan Meng, Jeremy Johnson, Franz Franchetti, Yevgen Voronenko, Marc Moreno Maza and Yuzhen Xie
    Spiral-Generated Modular FFT Algorithms
    Proc. Parallel Symbolic Computation (PASCO), pp. 169-170, 2010

Wilkinson, K. 

  1. Thom Popovici, F. Russell, K. Wilkinson, C-K. Skylaris, P. H. J. Kelly and Franz Franchetti
    Generating Optimized Fourier Interpolation Routines for Density Functional Theory Using SPIRAL
    Proc. Workshop on Compilers for Parallel Computing (CPC), 2015

Xie, Yuzhen 

  1. Lingchuan Meng, Jeremy Johnson, Franz Franchetti, Yevgen Voronenko, Marc Moreno Maza and Yuzhen Xie
    Spiral-Generated Modular FFT Algorithms
    Proc. Parallel Symbolic Computation (PASCO), pp. 169-170, 2010

Zhang, N. 

  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
Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and Markus Püschel
Electrical and Computer Engineering, Carnegie Mellon University, 2007