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. Sanil Rao, L. Tang and Franz Franchetti
    LibraryX-ASIC: A First Look
    Proc. IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2025
  2. 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
  3. 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
  4. G. Xu, James C. Hoe and Franz Franchetti
    Flexible Hardware Accelerator Design Generation with SPIRAL
    Proc. High Performance Extreme Computing (HPEC), 2022
  5. 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
  6. 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
  7. Scott Mionis, Franz Franchetti and J. Larkin
    Optimized Quantum Circuit Generation with SPIRAL
    Proc. High Performance Extreme Computing (HPEC), 2021
  8. 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
  9. Scott Mionis, Franz Franchetti and J. Larkin
    Quantum Circuit Optimization with SPIRAL: A First Look
    Proc. Supercomputing (SC), 2020
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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. G. Xu, James C. Hoe and Franz Franchetti
    Flexible Hardware Accelerator Design Generation with SPIRAL
    Proc. High Performance Extreme Computing (HPEC), 2022
  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

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. Sanil Rao, L. Tang and Franz Franchetti
    LibraryX-ASIC: A First Look
    Proc. IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2025
  2. 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
  3. 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

Tang, L. 

  1. Sanil Rao, L. Tang and Franz Franchetti
    LibraryX-ASIC: A First Look
    Proc. IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2025

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

Xu, G. 

  1. G. Xu, James C. Hoe and Franz Franchetti
    Flexible Hardware Accelerator Design Generation with SPIRAL
    Proc. High Performance Extreme Computing (HPEC), 2022

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