book chapters | journal papers | conference papers | other technical papers | patents | theses

Book Chapters

1. J. Kepner, P. Aaltonen, D. Bader, A. Buluc, F. Franchetti, J. Gilbert, S. Hutchison, M. Kumar, A. Lumsdaine, H. Meyerhenke, S. McMillan, J. Moreira, J. D. Owens, C. Yang, M. Zalewski, T. G. Mattson.
   Introduction to GraphBLAS
   Massive Graph Analytics, pp. 507-524, Taylor & Francis, 2022.


2. Q. Zhu, L. Pileggi, F. Franchetti
   A Smart Memory Accelerated Computed Tomography Parallel Backprojection
   VLSI-SoC 2012: From Algorithms to Circuits and System-on-Chip Design, A. Burg, A. Coskun, M. Guthaus, S. Katkoori, R. Reis (Editors)
   IFIP Advances in Information and Communication Technology, Vol. 418, pp. 21-44, Springer, 2013.


3. M. Püschel, F. Franchetti, Y. Voronenko
   Spiral
   Encyclopedia of Parallel Computing, D. A. Padua (Editor).


4. F. Franchetti, M. Püschel
   Fast Fourier Transform
   Encyclopedia of Parallel Computing, D. A. Padua (Editor).

book chapters | journal papers | conference papers | other technical papers | patents | theses

Journal Papers

1. J. Rivera, F. Franchetti, M. Püschel
   Floating Point TVPI Abstract Domain
   Proceedings of the ACM on Programming Languages - PACMPL, 8PLDI, 2024.


2. D. T. Popovici, M. D. Schatz, F. Franchetti, T. M. Low
   A Flexible Framework for Multi-Dimensional DFTs
   SIAM Journal on Scientific Computing (SISC), Software and High-Performance Computing, 2020.


3. F. Franchetti, T. M. Low, D. T. Popovici, R. M. Veras, D. G. Spampinato, J. R. Johnson, M. Püschel, J. C. Hoe, J. M. F. Moura
   SPIRAL: Extreme Performance Portability
   Proceedings of the IEEE, Vol. 106, No. 11, 2018.
   Special Issue on From High Level Specification to High Performance Code


4. F. Franchetti, J. M. F. Moura, D. A. Padua, J. Dongarra
   Scanning the Issue: From High-Level Specification to High-Performance Code
   Proceedings of the IEEE, Vol. 106, No. 11, 2018.
   Special Issue on From High Level Specification to High Performance Code


5. F. Franchetti, T. M. Low, S. Mitsch, J. P. Mendoza, L. Gui, A. Phaosawasdi, D. Padua, S. Kar, J. M. F. Moura, M. Franusich, J. Johnson, A. Platzer, and M. Veloso
   High-Assurance SPIRAL:  End-to-End Guarantees for Robot and Car Control
   IEEE Control Systems Magazine, 2017, pages 82-103.


6. M. Bolten, F. Franchetti, P. Kelly, C. Lengauer, M. Mohr
   Algebraic Description and Automatic Generation of Multigrid Methods in SPIRAL
   Concurrency and Computation: Practice and Experience, 2017.


7. B. Akin, F. Franchetti, J. Hoe
   HAMLeT Architecture for Parallel Data Reorganization in Memory
   IEEE Micro, 36(1), 14-23, 2016.


8. Q. Guo, T. Chen, Y. Chen, F. Franchetti
   Accelerating Architectural Simulation Via Statistical Techniques: A Survey
   IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 35(3), 433-446, 2016.


9. M. M. Sabry Aly, M. Gao, G. Hills, C.-S. Lee, G. Pitner, M. M. Shulaker, T. F. Wu, M. Asheghi, J. Bokor, F. Franchetti, K. E. Goodson, C. Kozyrakis, I. Markov, K. Olukoton, L. Pileggi, E. Pop, J. Rabaey, C. Re, H.-S. Wong, S. Mitra.
   Energy-Efficient Abundant-Data Computing: The N3XT 1,000x
   Computer, 48(12), 24-33, 2015.


10. B.. Akin, F. Franchetti, J. C. Hoe
    FFTs with Near-Optimal Memory Access Through Block Data Layouts: Algorithm, Architecture and Design Automation
    Journal of Signal Processing Systems, Springer, 2015.


11. Q. Li, T. Cui, Y. Weng, R. Negi, F. Franchetti, M. D. Ilic:
    An Information-Theoretic Approach to PMU Placement in Electric Power Systems
    IEEE Transactions on Smart Grid, Vol. 4, No. 1, pp. 446-456, 2013.


12. P. A. Milder, F. Franchetti, J. C. Hoe, and M. Püschel
    Computer Generation of Hardware for Linear Digital Signal Processing Transforms
    ACM Transactions on Design Automation of Electronic Systems,17(2), Article 15, 2012.
    ACM TODAES Best Paper Award 2014


13. Q. Zhu, C. R. Berger, E. L. Turner, L. Pileggi, and F. Franchetti:
    Local Interpolation-based Polar Format SAR: Algorithm, Hardware Implementation and Design Automation
    The Journal of Signal Processing Systems, 2012.


14. W. Yu, T. Chen, F. Franchetti, and J. Hoe
    High Performance Stereo Vision Designed for Massively Data Parallel Platforms
    IEEE Transactions on Circuits and Systems for Video Technology (T-CSVT), 20(11):1509-1519, Nov 2010.


15. F. Franchetti, Y. Voronenko, S. Chellappa, J. M. F. Moura, and M. Püschel
    Discrete Fourier Transform on Multicores: Algorithms and Automatic Implementation
    IEEE Signal Processing Magazine, special issue on “Signal Processing on Platforms with Multiple Cores”, 2009.


16. B. R. de Supinski, M. Schulz, V. V. Bulatov, W. Cabot, B. Chan, A. W. Cook, E. W. Draeger, J. N. Glosli, J. A. Greenough, K. Henderson, A. Kubota, S. Louis, B. J. Miller, M. V. Patel, T. E. Spelce, F. H. Streitz, P. L. Williams, R. K. Yates, A. Yoo,  G. Almasi, G. Bhanot, A. Gara, J. A. Gunnels, M. Gupta, J. Moreira, J. Sexton, B. Walkup, C. Archer, F. Gygi, T. C. Germann, K. Kadau, P. S. Lomdahl, W. McLendon, B. Hendrickson, F. Franchetti, S. Kral, J. Lorenz, C. W. Ueberhuber, E. Chow, Ü. Çatalyürek
    BlueGene/L Applications: Parallelism on a Massive Scale
    International Journal of High Performance Computing Applications, Vol. 22, No. 1, 2008, pages 33-51.


17. J. Lorenz, S. Kral, F. Franchetti, C. W. Ueberhuber
    Vectorization Techniques for the Blue Gene/L double FPU
    IBM Journal of Research and Development, Vol. 49, No. 2/3, 2005, pages 437-446.


18. F. Franchetti, S. Kral, J. Lorenz, C. W. Ueberhuber
    Efficient Utilization of SIMD Extensions
    Proceedings of the IEEE Special Issue on "Program Generation, Optimization, and Adaptation," Vol. 93, No. 2, 2005, pages 409-425.


19. M. Püschel, J. Moura, J. Johnson, D. Padua, M. Veloso, B. Singer, J. Xiong, F. Franchetti, A. Gacic, Y. Voronenko, K. Chen, R. W. Johnson, N. Rizzolo
    SPIRAL: Code Generation for DSP Transforms
    Proceedings of the IEEE Special Issue on "Program Generation, Optimization, and Adaptation," Vol. 93, No. 2, 2005, pages 232-275.

book chapters | journal papers | conference papers | other technical papers | patents | theses

Conference Papers (Fully Reviewed)

1. Q. Oschatz, N. Zhang, M. Franusich, F. Franchetti
   Towards Automated Reasoning Chains for Verification of LLM-Generated Scientific Code
   IEEE High Performance Extreme Computing Conference (HPEC), 2025


2. S. Rao, L. Tang, F. Franchetti
   LibraryX-ASIC: A First Look
   International Parallel and Distributed Processing Symposium (IPDPS), Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS), 2025


3. E. Tang, T. Zhang, W. Bradford, F. A. Siddique, J. C. Hoe, K. Skadron, F. Franchetti
   Hardware-Software Co-Design of Iterative Filter-Update Numerical Methods Using Processing-In-Memory
   Proceedings of the Supercomputing Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis (SC), 2025.to appear


4. L. Tang, V. Kumar, M. Ngaw, S. Singh, D. Nadkarni, L. Tummala, K. Mai, F. Franchetti
   Towards an Algorithm-based Approach for Soft Error Tolerance using Interval Arithmetic
   IEEE High Performance Extreme Computing Conference (HPEC), 2025
   Best paper award


5. N. Zhang, F. Franchetti
   Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU
   The International Symposium on Code Generation and Optimization (CGO), 2025


6. T. Zhang, F. Franchetti
   Towards an End-to-End Processing-in-DRAM Acceleration of Spectral Library Search
   SRC TECHCON 2025, Paper with poster


7. K. Teranishi, H. Menon, W. F. Godoy, P. Balaprakash, D. Bau, T. Ben-Nun, A. Bathele, F. Franchetti, M. Franusich, T. Gamblin, G. Georgakoudis, T. Goldstein, A. Guha, S. Hahn, C. Iancu, Z. Jin, T. Jones, T. M. Low, H. Mankad, N. R. Miniskar, M. A. H. Monil, D. Nichols, K. Parasyris, S. Pophale, P. Valero-Lara, J. S. Vetter, S. Williams, A. Young
   Leveraging AI for Productive and Trustworthy HPC Software: Challenges and Research Directions
   The 1st International Workshop on Foundational Large Language Models Advances for HPC (LLM4HPC) held in conjunction with ISC High Performance 2025. arXiv 2505.08135


8. E. Tang, J. Hoe, F. Franchetti
   Magic Memory: A Memory-Centric Declarative Programming Paradigm to Enable High Productivity on Heterogeneous Systems
   SRC TECHCON 2024


9. H. Mankad, M. A. H. Monil, S. Rao, P. Colella, B. Van Straalen, F. Franchetti, J. S. Vetter
   A Performance-Portable MultiGPU Implementation of 3D Euler Equations using ProtoX and IRIS
   Proceedings of the Supercomputing Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis (SC), 2024


10. L. Tang, S. Chen, K. Harisrikanth, G. Xu, F. Franchetti, K. Mai
    A 1.19GHz 9.52Gsamples/sec Radix-8 FFT Hardware Accelerator in 28nm
    Hot Chips Symposium (HCS), 2024


11. S. Rao, M. A. H. Monil, H. Mankad, J. Vetter, F. Franchetti
    FFTX-IRIS: Towards Performance Portability and Heterogeneity for SPIRAL Generated Code
    Proceedings of the Supercomputing Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis (SC), 2023


12. H. Mankad, S. Rao, P. Colella, B. van Straalen, F. Franchetti
    ProtoX: A First Look
    IEEE High Performance Extreme Computing Conference (HPEC), 2023


13. N. Zhang, A. Ebel, N. Neda, P. Brinich, B. Reynwar, A. G. Schmidt, M. Franusich, J. Johnson, B. Reagen, F. Franchetti
    Generating High-Performance Number Theoretic Tansform Implementations for Vector Architectures
    IEEE High Performance Extreme Computing Conference (HPEC), 2023


14. D. Sun, N. Zhang, F. Franchetti
    Optimization and Performance Analysis of Shor's Algorithm in Qiskit
    IEEE High Performance Extreme Computing Conference (HPEC), 2023


15. B. Van Straalen, P. Colella, F. Franchetti, P. Broderick
    FFTX: Next-Generation Open-Source Software for Fast Fourier Transforms
    Exascale Computing Project Annual Meeting (ECPAM), 2023


16. D. Soni, N. Neda, N. Zhang, B. Reynwar, H. Gamil, B. Heyman, M. N. T. Moopan, A. Al Badawi, Y. Polyakov, K. Canida, M. Pedram, M. Maniatakos, D. B. Cousins, F. Franchetti, M. French, A. Schmidt, B. Reagen
    RPU: The Ring Processing Unit
    IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), 2023


17. G. Xu, J. C. Hoe, F. Franchetti
    Flexible Hardware Accelerator Design Generation with SPIRAL
    IEEE High Performance Extreme Computing Conference (HPEC), 2022


18. L. Tang, S. Chen, K. Harisrikanth, G. Xu, K. Mai, F. Franchetti
    A High Throughput Hardware Accelerator for FFTW Codelets: A First Look
    IEEE High Performance Extreme Computing Conference (HPEC), 2022


19. A. Kulkarni, J. Kovacevic, F. Franchetti
    A Framework for Low Communication Approaches for Large Scale 3D Convolution
    International Conference on Parallel Processing (ICPP), 2022


20. J. Rivera, F. Franchetti, M. Püschel
    A Compiler for Sound Floating-Point Computations using Affine Arithmetic
    International Symposium on Code Generation and Optimization (CGO), 2022


21. S. Mionis, F. Franchetti, J. Larkin
    Optimized Quantum Circuit Generation with SPIRAL
    IEEE High Performance Extreme Computing Conference (HPEC), 2021
    Outstanding Student Paper Award


22. P. Oostema, F. Franchetti
    Leveraging High Dimensional Spatial Graph Embedding as a Heuristic for Graph Algorithms
    IEEE Workshop on Parallel / Distributed Combinatorics and Optimization (PDCO), 2021


23. N. Kitai, D. Takahashi, F. Franchetti, T. Katagiri, S. Ohshima, T. Nagai
    An Auto-tuning with Adaptation of A64 Scalable Vector Extension for SPIRAL
    International Workshop on Automatic Performance Tuning (iWAPT), 2021


24. N. Kitai, D. Takahasi, F. Franchetti, T. Katagiri, S. Ohshima, T. Nagai
    Adaptation of A64 Scalable Vector Extension for Spiral
    SIGHPC High Performance Computing Conference (HPCC), Japan, 2021


25. J. Rivera, F. Franchetti, M. Püschel
    An Interval Compiler for Sound Floating Point Computations
    International Symposium on Code Generation and Optimization (CGO), 2021


26. S. Rao, A. Kutuluru, P. Brouwer, S. McMillan, F. Franchetti
    GBTLX: A First Look
    IEEE High Performance Extreme Computing Conference (HPEC), 2020
    Outstanding Student Paper Award


27. V. Zaliva, I. Zaichuk, F. Franchetti
    Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX
    12th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), 2020


28. J. Zhang, Y. Lu, D. G. Spampinato, F. Franchetti
    FESIA: A Fast and Efficient Set Intersection Approach on Modern CPUs
    IEEE International Conference on Data Engineering (ICDE), 2020 [video]
    


29. A. Kulkarni, J. Kovacevic, F. Franchetti
    Massive Scaling of MASSIF: Algorithm Development and Analysis for Simulation on GPUs
    Proceedings of the Platform for Advanced Scientific Computing (PASC), 2020. Association for Computing Machinery, New York, NY, Article 13, 1-10.
    


30. D. Takahashi, F. Franchetti
    FFTE on SVE: SPIRAL-Generated Kernels
    International Conference on High Performance Computing in Asia-Pacific Region (HPCAsia), January 2020, pp. 114-122


31. F. Sadi, J. Sweeney, T. M. Low, J. C. Hoe, L. Pileggi, F. Franchetti
    Efficient SpMV Operation for Large and Highly Sparse Matrices Using Scalable Multi-way Merge Parallelization
    IEEE/ACM International Symposium on Microarchitecture (MICRO), 2019


32. F. Franchetti, D. G. Spampinato, A. Kulkarni, D. T. Popovici, T. M. Low, M. Franusich, A. Canning, P. McCorquodale, B. Van Straalen, P. Colella
    FFTX and SpectralPack: A First Look
    IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC), 2018


33. V. Zaliva, F. Franchetti
    HELIX: A Case Study of a Formal Verification of High Performance Program Generation
    Workshop on Functional High Performance Computing (FHPC), 2018


34. V. Ruzicka, F. Franchetti
    Fast and Accurate Object Detection in High Resolution 4K and 8K Video Using GPUs
    IEEE High Performance Extreme Computing Conference (HPEC), 2018
    Best Paper Finalist


35. F. Sadi, J. Sweeney, S. McMillan, T. M. Low, J. C. Hoe, L. Pileggi, F. Franchetti
    PageRank Acceleration for Large Graphs with Scalable Hardware and Two-Step SpMV
    IEEE High Performance Extreme Computing Conference (HPEC), 2018
    Student Innovation Award


36. J. Zhang, D. G. Spampinato, S. McMillan, F. Franchetti
    Preliminary Exploration on Large-Scale Triangle Counting in Shared-Memory Multicore System
    IEEE High Performance Extreme Computing Conference (HPEC), 2018
    MIT GraphChallenge Finalist


37. T. M. Low, D. G. Spampinato, A. Kutuluru, U. Sridhar, D. T. Popovici, F. Franchetti, S. McMillan
    Linear Algebraic Formulation of Edge-Centric K-truss Algorithms with Adjacency Matrices
    IEEE High Performance Extreme Computing Conference (HPEC), 2018
    MIT GraphChallenge Finalist


38. J. Zhang, F. Franchetti, T. M. Low
    High Performance Zero-Memory Overhead Direct Convolutions
    International Conference on Machine Learning (ICML), 2018


39. D. T. Popovici, T. M. Low, F. Franchetti
    Large Bandwidth-Efficient FFTs on Multicore and Multi-Socket Systems
    IEEE International Parallel & Distributed Processing Symposium (IPDPS), 2018


40. H. V. Koops, K. Garg, M. Kim, J. Li, A. Volk, F. Franchetti
    Multirotor UAV State Prediction Through Multi-microphone Side-Channel Fusion
    IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI), 2017


41. R. M. Veras, F. Franchetti
    A Scale-Free Structure for Real World Networks
    IEEE High Performance Extreme Computing Conference (HPEC), 2017


42. F. Sadi, L. Pileggi, F. Franchetti
    Algorithm and Harware Co-optimized Solution for Large SpMV Problems
    IEEE High Performance Extreme Computing Conference (HPEC), 2017


43. D. T. Popovici, F. Franchetti, T. M. Low
    Mixed Data Layout Kernels for Vectorized Complex Arithmetic
    IEEE High Performance Extreme Computing Conference (HPEC), 2017


44. T. M. Low, V. N. Rao, M. Lee, D. Popovici, F. Franchetti, S. McMillan
    First Look: Linear Algebra-based Triangle Counting without Matrix Multiplication
    IEEE High Performance Extreme Computing (HPEC), 2017


45. T. M. Low, F. Franchetti
    High Assurance Code Generation for Cyber-Physical Systems
    Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering (HASE 2017), Jan 2017


46. J. A. Deri, F. Franchetti, J. M. F. Moura
    Big Data Computation of Taxi Movement in New York City
    IEEE International Conference on Big Data (IEEE BigData), 2016


47. J. Kepner, P. Aaltonen, D. Bader, A. Buluc, F. Franchetti, J. Gilbert, D. Hutchison, M. Kumar, A. Lumsdaine, H. Meyerhenke, S. McMillan, J. Moreira, J. D. Owens, C. Yang, M. Zalewski, T. Mattson
    Mathematical Foundations of the GraphBLAS
    IEEE High Performance Extreme Computing Conference (HPEC), 2016


48. R. Veras, T. M. Low, F. Franchetti
    A Scale-Free Structure for Power-Law Graphs
    IEEE High Performance Extreme Computing Conference (HPEC), 2016


49. Q. Guo, T. M. Low, N. Alachiotis, B. Akin, L. Pileggi, J. C. Hoe, F. Franchetti
    Enabling Portable Energy Efficiency with Memory Accelerated Library
    48th IEEE/ACM International Symposium on Microarchitecture (MICRO-48), 2015


50. T. M. Low, Q. Guo, F. Franchetti
    Optimizing Space Time Adaptive Processing Through Accelerating Memory-Bounded Operations
    IEEE High Performance Extreme Computing Conference (HPEC), 2015


51. H. V. Koops, F. Franchetti
    An Ensemble Technique for Estimating Vehicle Speed and Gear Position from Acoustic Data
    Proceedings of the 20th International Conference on Digital Signal Processing (DSP), 2015


52. B. Akin, F. Franchetti, J. C. Hoe
    Data Reorganization in Memory Using 3D-stacked DRAM
    42nd International Symposium on Computer Architecture (ISCA), 2015


53. H. E. Sumbul, K. Vaidyanathan, Q. Zhu, F. Franchetti, L. Pileggi
    A Synthesis Methodology for Application-Specific Logic-in-Memory Designs
    Proceedings of the 52nd Design Automation Conference (DAC), 2015


54. D. A. Popovici, F. Russell, K. Wilkinson, C-K. Skylaris, P. H. J. Kelly, F. Franchetti
    Generating Optimized Fourier Interpolation Routines for Density Functional Theory Using SPIRAL
    29th International Parallel & Distributed Processing Symposium (IPDPS), 2015


55. F. Franchetti, A. Sandryhaila, J. R. Johnson
    High Assurance SPIRAL
    Proceedings of SPIE 2014


56. K. Vaidyanathan, R. Liu, H. E. Sumbul, Q. Zhu, F. Franchetti, L. Pileggi
    Efficient and Secure Intellectual Property (IP) Design with Split Fabrication
    HOST 2014


57. Q. Guo, N. Alachiotis, B. Akin, F. Sadi, G. Xu, T-M. Low, L. Pileggi, J. Hoe, F. Franchetti
    3D-Stacked Memory-Side Acceleration: Accelerator and System Design
    2nd Workshop on Near Data Processing (WONDP) in conjunction with the 47th International Symposium on Microarchitecture (MICRO-47), 2014


58. B. Akin, F. Franchetti, J. C. Hoe
    Understanding the Design Space of DRAM-optimized Hardware FFT Accelerators
    Proceedings of the 25th International Conference on Application-Specific Systems, Architectures and Processors (ASAP) 2014, pages 248-255


59. B. Akın, F. Franchetti, J. C. Hoe
    HAMLeT: Hardware Accelerated Memory Layout Transform within 3D-stacked DRAM
    IEEE High Performance Extreme Computing Conference (HPEC) 2014
    Best Paper Award


60. F. Sadi, B. Akin, D. T. Popovici, J. C. Hoe, L. Pileggi, F. Franchetti
    Algorithm/Hardware Co-optimized SAR Image Reconstruction with 3D-stacked Logic in Memory
    IEEE High Performance Extreme Computing Conference (HPEC) 2014
    Rising Stars Session


61. T. Cui, F. Franchetti, G. Hug, R. Yang
    Accelerated AC Contingency Calculation on Commodity Multi-Core SIMD CPUs
    Proceedings of IEEE Power and Energy Society General Meeting (PES-GM), 2014


62. B. Akin, F. Franchetti, J. Hoe
    FFTs with Near-Optimal Memory Access Through Block Data Layouts
    Proceedings of IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2014


63. V. Zaliva, F. Franchetti
    Barometric and GPS Altitude Sensor Fusion
    Proceedings of IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2014


64. T. Cui, F. Franchetti
    Power System Probabilistic and Security Analysis on Commodity High Performance Computing Systems
    Proceedings of the 3rd Intenational Workshop on High Performance Computing, Networking and Analytics for the Power Grid (HiPCNA-PG), 2013


65. T. Henretty, R. Veras, F. Franchetti, L.-N. Pouchet, J. Ramanujam, P. Sadayappan
    A Stencil Compiler for Short-Vector SIMD Architectures
    Proceedings of International Conference on Supercomputing (ICS), 2013


66. Q. Zhu, B. Akin, H. E. Sumbul, F. Sadi, J. Hoe, L. Pileggi, F. Franchetti
    A 3D-Stacked Logic-in-Memory Accelerator for Application-Specific Data Intensive Computing
    Proceedings of IEEE International 3D Systems Integration Conference (3DIC) 2013, pages 1-7


67. Q. Zhu, H. E. Sumbul, F. Sadi, J. Hoe, L. Pileggi, F. Franchetti
    Accelerating Sparse Matrix-Matrix Multiplication with 3D-Stacked Logic-in-Memory Hardware
    IEEE High Performance Extreme Computing Conference (HPEC), 2013, pages 1-6


68. C. Thoma, T. Cui, and F. Franchetti
    Privacy Preserving Smart Meter System Based Retail Level Electricity Market
    Proceedings of the 2013 IEEE PES General Meeting, July 2013, Vancouver, Canada


69. M. Kong, R. Veras, K. Stock, F. Franchetti, L.-N. Pouchet, and P. Sadayappan
    When Polyhedral Transformations Meet SIMD Code Generation
    ACM SIGPLAN PLDI, 2013


70. Q. Zhu, L. Pileggi, and F. Franchetti
    Smart Memory Synthesis for Energy-Efficient Computed Tomography Reconstruction
    SRC TECHCON, 2012


71. T. Cui and F. Franchetti
    A Quasi-Monte Carlo Approach for Radial Distribution System Probabilistic Load Flow
    IEEE Innovative Smart Grid Technologies Conference (ISGT), 2012


72. Q. Zhu, C. R. Berger, E. L. Turner, L. Pileggi, F. Franchetti
    Polar Format Synthetic Aperture Radar in Energy Efficient Application-Specific Logic-in-Memory
    Proceedings of International Conference on Acoustics, Speech, and Signal Processing (ICASSP), 1557-1560, 2012


73. W. Yu, F. Franchetti, J. C. Hoe, T. Chen
    Highly Efficient Performance Portable Tracking of Evolving Surfaces
    Proceedings of the 26th International Parallel and Distributed Processing Symposium (IPDPS), 296-307, 2012


74. T. Cui, F. Franchetti
    Optimized Parallel Distribution Load Flow Solver on Commodity Multi-core CPU
    Proceedings of IEEE High Performance Extreme Computing Conference, 2012


75. T. Cui and F. Franchetti
    A Multi-Core High Performance Computing Framework for Probabilistic Solutions of Distribution Systems
    IEEE Power and Energy Society General Meeting, 1-6, 2012


76. F. Franchetti, Y. Voronenko, and G. Almasi
    Automatic Generation of the HPC Challenges Global FFT Benchmark for BlueGene/P
    In Proceedings of High Performance Computing for Computational Science (VECPAR) 2012


77. Q. Zhu, L. Pileggi, and F. Franchetti
    Cost-Effective Smart Memory Implementation for Parallel Backprojection in Computed Tomography
    IFIP/IEEE International Conference on Very Large Scale Integration, 111-116, 2012


78. Q. Zhu, K. Vaidyanathan, O. Shacham, M. Horowitz, L. Pileggi, and F. Franchetti
    Design Automation Framework for Application-Specific Logic-in-Memory Blocks
    23rd IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP), 125-132, 2012


79. C. Thoma, T. Cui, and F. Franchetti
    Secure Multiparty Computation Based Privacy Preserving Smart Metering System
    NAPS: North American Power Symposium, 1-6, 2012


80. B. Akin, P.A. Milder, F. Franchetti, and J. Hoe
    Memory Bandwidth Efficient Two-Dimensional Fast Fourier Transform Algorithm and Implementation for Large Problem Sizes
    IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM), 188-191, 2012


81. T. Cui, F. Franchetti
    A Multi-core High Performance Computing Framework for Distribution Power Flow
    Proceedings 43rd North American Power Symposium (NAPS), 2011


82. T. Cui, F. Franchetti
    Autotuning a Random Walk Boolean Satisfiability Solver
    Proceedings of The Sixth International Workshop on Automatic Performance Tuning (iWAPT), 2011


83. D. S. McFarlin, V. Arbatov, F. Franchetti, M. Püschel
    Automatic SIMD Vectorization of Fast Fourier Transforms for the Larrabee and AVX Instruction Sets
    Proceedings of International Conference on Supercomputing (ICS), 2011


84. C. R. Berger, V. Arbatov, Y. Voronenko, F. Franchetti, M. Püschel
    Real-Time Software Implementation of an IEEE 802.11a Baseband Receiver on Intel Multicore
    Proceedings of International Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2011


85. T. Henretty, K. Stock, L.-N. Pouchet, F. Franchetti, J. Ramanujam, and P. Sadayappan
    Data Layout Transformation for Stencil Computations on Short SIMD Architectures
    Proceedings of International Conference on Compiler Construction (CC), 2011


86. Y. Voronenko, V. Arbatov, C. Berger, R. Peng, M. Püschel, and F. Franchetti
    Computer Generation of Platform-Adapted Physical Layer Software
    Proceedings of Software Defined Radio (SDR), 2010


87. W. Yu, F. Franchetti, J. C. Hoe, Y.-J. Chang, T. Chen
    Fast Bilateral Filtering By Adapting Block Size
    Proceedings IEEE International Conference on Image Processing (ICIP), 2010


88. W. Yu, F. Franchetti, J. C. Hoe, T. Chen
    Fast And Robust Active Contours For Image Segmentation
    Proceedings IEEE International Conference on Image Processing (ICIP), 2010


89. P. A. Milder, F. Franchetti, J. C. Hoe, and M. Püschel
    Hardware Implementation of the Discrete Fourier Transform With Non-Power-Of-Two Problem Size
    Proceedings of International Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2010


90. F. de Mesmay, S. Chellappa, F. Franchetti and M. Püschel
    Computer Generation of Efficient Software Viterbi Decoders
    Proceedings of International Conference on High-Performance Embedded Architectures and Compilers (HIPEAC), 2010


91. F. Franchetti, F. de Mesmay, Daniel McFarlin, and M. Püschel
    Operator Language: A Program Generation Framework for Fast Kernels
    Proceedings of IFIP Working Conference on Domain Specific Languages (DSL WC), 2009
    Best Paper Award


92. S. Chellappa, F. Franchetti and M. Püschel
    Computer Generation of Fast FFTs for the Cell Broadband Engine
    Proceedings of International Conference on Supercomputing (ICS), 2009


93. D. McFarlin, F. Franchetti, M. Püschel and J.M.F. Moura
    High Performance Synthetic Aperture Radar Image Formation On Commodity Architectures
    Proceedings of SPIE Conference on Defense, Security, and Sensing, 2009


94. F. Franchetti and M. Püschel
    Generating High-Performance Pruned FFT Implementations
    Proceedings of International Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2009


95. P. A. Milder, F. Franchetti, J. C. Hoe, and M. Püschel
    Formal Datapath Representation and Manipulation for Implementing DSP Transforms
    Proceedings of Design Automation Conference (DAC), 2008


96. F. Franchetti and M. Püschel
    Generating SIMD Vectorized Permutations
    Proceedings of International Conference on Compiler Construction (CC) 2008


97. S. Chellappa, F. Franchetti, and M. Püschel
    FFT Program Generation for the Cell BE
    Proceedings of International Workshop on State-of-the-Art in Scientific and Parallel Computing (PARA), 2008


98. P. D’Alberto, F. Franchetti, P. A. Milder, A. Sandryhaila, J. C. Hoe, J. M. F. Moura, and M. Püschel
    Generating FPGA Accelerated DFT Libraries
    Proceedings of Field-Programmable Custom Computing Machines (FCCM) 2007


99. F. Franchetti and M. Püschel
    SIMD Vectorization of Non-Two-Power Sized FFTs
    Proceedings of International Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2007


100. P. D'Alberto, M. Püschel, and F. Franchetti
     Performance/Energy Optimization of DSP Transforms on the XScale Processor
     Proceedings Conference on High Performance Embedded Architectures & Compilers (HiPEAC) 2007


101. A. Bonelli, F. Franchetti, J. Lorenz, M. Püschel, and C. W. Ueberhuber
     Automatic Performance Optimization of the Discrete Fourier Transform on Distributed Memory Computers
     Proceedings of ISPA 06. Lecture Notes in Computer Science, Volume 4330, 2006, Pages 818 –832
     Best Paper Award


102. S. Chellappa, F. Franchetti, and M. Püschel
     How To Write Fast Numerical Code: A Small Introduction
     Proceedings of the Generative and Transformational Techniques in Software Engineering (GTTSE) 2007


103. F. Franchetti, Y. Voronenko, and M. Püschel
     FFT Program Generation for Shared Memory: SMP and Multicore
     Proceedings Supercomputing 2006


104. F. Gygi, E. W. Draeger, M. Schulz, B. R. de Supinski, J. A. Gunnels, V. Austel, J. C. Sexton, F. Franchetti, S. Kral, C. W. Ueberhuber, J. Lorenz
     Large-Scale Electronic Structure Calculations of High-Z Metals on the BlueGene/L Platform
     Proceedings Supercomputing 2006
     Gordon Bell Prize Winner 2006 (Peak Performance Award)


105. S. Han, F. Franchetti, and M. Püschel
     Program Generation for the All-Pairs Shortest Path Problem
     Proceedings of The Fifteenth International Conference on Parallel Architectures and Compilation Techniques (PACT), 2006, pages 222-232


106. F. Franchetti, Y. Voronenko, M. Püschel
     A Rewriting System for the Vectorization of Signal Transforms
     Proceedings High Performance Computing for Computational Science (VECPAR) 2006, LNCS 4395, pages 363-377


107. F. Gygi, E. Draeger, B. R. de Supinski, R. K. Yates, F. Franchetti, S. Kral, J. Lorenz, C. W. Ueberhuber, J. Gunnels, J. Sexton
     Large-Scale First-Principles Molecular Dynamics Simulations on the BlueGene/L Platform using the Qbox Code
     Proceedings of Supercomputing 2005
     Gordon Bell Prize Finalist 2005


108. F. Franchetti, Y. Voronenko, M. Püschel
     Loop Merging for Signal Transforms
     Proceedings Programming Language Design and Implementation (PLDI) 2005, pages 315-326


109. T. Pipatsrisawat, A. Gacic, F. Franchetti, M. Püschel, J. Moura
     Performance Analysis of the Filtered Backprojection Image Reconstruction Algorithms
     Proceedings of ICASSP 2005,International Conference on Acoustics, Speech, and Signal Processing, Volume 5, pages 153–156


110. F. Franchetti, S. Kral, J. Lorenz, M. Püschel, C. W. Ueberhuber
     Automatically Tuned FFTs for BlueGene/L’s Double FPU
     Proceedings of High Performance Computing for Computational Science (VECPAR) 2004, LNCS 3402, pages 23-36


111. S. Kral, F. Franchetti, J. Lorenz, C. W. Ueberhuber
     FFT Compiler Techniques
     Proceedings of International Conference on Compiler Construction (CC) 2004, LNCS 2985, pages 217-231


112. S. Kral, F. Franchetti, J. Lorenz, C. W. Ueberhuber
     SIMD Vectorization of Straight Line Code
     Proceedings of the Euro-Par ’03 Conference on Parallel and Distributed Computing, 2003, LNCS 2790, page 251-260


113. T. Fahringer, F. Franchetti, M. Geissler, G. Madsen, H. Moritsch, R. Prodan
     On Using ZENTURIO for Performance and Parameter Studies on Cluster and Grids
     Proceedings of the 11th Euromicro Conference on Parallel Distributed and Network based Processing (Euro PDP 2003 ), pages 185-192


114. F. Franchetti, M. Püschel
     Short Vector Code Generation and Adaptation for DSP Algorithms
     Proceedings of ICASSP 2003, International Conference on Acoustics, Speech, and Signal Processing, volume 2, pages 537-540


115. F. Franchetti, M. Püschel
     Short Vector Code Generation for the Discrete Fourier Transform
     Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS '03), pages 58-67


116. F. Franchetti, M. Püschel
     A SIMD Vectorizing Compiler for Digital Signal Processing Algorithms
     Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS '02), pages 20-26


117. F. Franchetti, H. Karner, S. Kral, C.W. Ueberhuber
     Architecture Independent Short Vector FFTs
     Proceedings of ICASSP 2001, International Conference on Acoustics, Speech, and Signal Processing, volume 2, pages 1109-1112

book chapters | journal papers | conference papers | other technical papers | patents | theses

Other Conference Papers, Technical Reports, Posters, and Extended Abstracts

1. Z. Barbeau, H. Mankad, S. Reeve, P. Colella, F. Franchetti, J. Vetter, K. Teranishi
   A Case Study of Combining Motif-Based Performance-Portable Libraries for Particle-Particle Particle-Mesh Method
   ORNL Software and Data Expo (OSDX), 2025, Poster


2. N. Zhang, S. Rao, M. Franusich, F. Franchetti
   Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
   Theory and Practice of Static Analysis Workshop (TPSA), in conjunction with the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025, Extended abstract with presentation


3. S. Rao, A. Prakash, F. Franchetti
   Towards LibraryX: A Framework for Cross-Library Call Optimization
   IEEE High Performance Extreme Computing Conference (HPEC), 2024, Extended abstract
   Outstanding Short Student Paper Award


4. S. Rao, M. Franusich, M. A. H. Monil, H. Mankad, J. S. Vetter, F. Franchetti
   FortranX: Harnessing Code Generation, Portability, and Heterogeneity in Fortran
   Supercomputing (SC), 2024, Poster


5. L. Tang, S. Chen, K. Harisrikanth, G. Xu, F. Franchetti and K. Mai
   A 1.19GHz 9.52Gsamples/sec Radix-8 FFT Hardware Accelerator in 28nm
   Hot Chips 36 Symposium (HCS), 2024, Poster


6. S. Fu, N. Zhang, F. Franchetti
   Accelerating High-Precision Number Theoretic Transforms using Intel AVX-512
   International Conference on Parallel Architectures and Compilation Techniques (PACT), 2024, Poster with extended abstract
   1st Place in ACM Student Research Competition
   Best Poster Runner-up at PRISM Annual Review, Systems & Software track


7. D. B. Cousins, Y. Polyakov, A. A. Badawi, M. French, A. Schmidt, A. Jacob, B. Reynwar, K. Canida, A. Jaiswal, C. Mathew, A. Ebel, N. Neda, B. Reagen, N. Zhang, F. Franchetti, P. Brinich, J. Johnson, M. Franusich, B. Zhang, Z. Chang, M. Pedram.
   TREBUCHET Fully Homomorphic Encryption Accelerator: Phase Two Performance Estimation Results
   GOMACTech 2024


8. Y. Eum, N. Zhang, L. Tang, F. Franchetti
   Towards a RISC-V Instruction Set Extension for Multi-word Arithmetic
   IEEE High Performance Extreme Computing Conference (HPEC), 2024, Poster with extended abstract


9. T. Zhang, E. Tang, F. Siddique, K. Skadron, F. Franchetti
   Towards an End-to-End Processing-in-DRAM Acceleration of Spectral Library Search
   IEEE High Performance Extreme Computing Conference (HPEC), 2024, Extended abstract with poster presentation


10. H. Mankad, A. Rovinelli, M. Zecevic, P. McCorquodale, F. Franchetti, N. Zhang, S. Rao, R. A. Lebensohn, L. Capolungo
    EVPFFTX: A First Look at FFTX Applications in Material Science
    IEEE High Performance Extreme Computing Conference (HPEC), 2023, Poster with extended abstract


11. P. Brinich, N. Zhang, A. Ebel, F. Franchetti, J. Johnson
    Twiddle Factor Generation for a Vectorized Number Theoretic Transform
    IEEE High Performance Extreme Computing Conference (HPEC), 2023, Extended abstract
    Outstanding Short Paper Award


12. N. Zhang, F. Franchetti
    Generating Number Theoretic Transforms for Multi-Word Integer Data Types
    IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2023, Poster with extended abstract
    2nd Place in ACM Student Research Competition


13. D. Soni, N. Neda, N. Zhang, B. Reynwar, H. Gamil, B. Heyman, M. N. T. Moopan, A. Al Badawi, Y. Polyakov, K. Canida, M. Pedram, M. Maniatakos, D. B. Cousins, F. Franchetti, M. French, A. Schmidt, B. Reagen
    RPU: The Ring Processing Unit
    Cryptology ePrint Archive, 2023


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


15. Z. Gong, N. Zhu, M. Ngaw, J. Rivera, L. Tang, E. Tang, H. Mankad, F. Franchetti
    Interval Arithmetic-based FFT for Large Integer Multiplication
    IEEE High Performance Extreme Computing Conference (HPEC), 2022, Poster with extended abstract


16. H. Mankad, S. Rao, P. Colella, B. Van Straalen, F. Franchetti
    ProtoX: A First Look
    IEEE High Performance Extreme Computing Conference (HPEC), 2022, Poster with extended abstract


17. J. Nguyen, M. Cai, Z. Zuo, L. Tang, K. Mai, F. Franchetti
    LIMA: Hardware for FFT based Large Integer Multiplication
    IEEE High Performance Extreme Computing Conference (HPEC), 2022, Extended abstract


18. J. Nguyen, S. Rao, J. Moreira, F. Franchetti
    Automatic Generation of Matrix-Vector Code Using SPIRAL for the Power10 ISA
    IEEE High Performance Extreme Computing Conference (HPEC), 2022, Extended abstract


19. P. Oostema, F. Franchetti
    Approximating Manifolds and Geodesics with Curved Surfaces
    IEEE High Performance Extreme Computing Conference (HPEC), 2022, Extended abstract


20. P. Oostema, F. Franchetti
    On Manifold Graph Embedding
    IEEE High Performance Extreme Computing Conference (HPEC), 2022, Poster


21. E. Tang, F. Franchetti
    Magic Memory: A Programming Model For Big Data Analytics
    IEEE High Performance Extreme Computing Conference (HPEC), 2022, Poster with extended abstract


22. 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, J. Johnson, B. Reagen, D. B. Cousins, F. Franchetti
    Towards Full-Stack Acceleration for Fully Homomorphic Encryption
    IEEE High Performance Extreme Computing Conference (HPEC), 2022, Extended abstract


23. Y. Franchetti, T. D. Nolin, F. Franchetti
    Indirect Measurement of Hepatic Drug Clearance by Fitting Dynamical Models
    arXiv, 2020, Preprint


24. S. Mionis, F. Franchetti, J. Larkin
    Quantum Circuit Optimization with SPIRAL: A First Look
    Supercomputing (SC) 2020. Poster with extended abstract
    Best Poster Award


25. F. Franchetti, D. G. Spampinato, A. Kulkarni, T. M. Low, M. Franusich, D. T. Popovici, A. Canning, P. McCorquodale, B. Van Straalen, P. Collela
    FFT and Solver Libraries for Exascale: FFTX and SpectralPack
    Exascale Computing Project (ECP) Annual Meeting 2020, Poster


26. J. Zhang, D. Spampinato, F. Franchetti
    FESIA: A Fast and SIMD-Efficient Set Intersection Approach on Modern CPUs
    North East Database Day (NEDB) 2020, Poster


27. Y. Franchetti, T. Nolin, F. Franchetti
    Towards Precision Medicine: Simulation Based Parameter Estimation for Drug Metabolism
    SIAM Conference on Computational Science and Engineering (CSE) 2019, Poster


28. A. Kulkarni, D. Spampinato, F. Franchetti
    Design and Specification of Large-scale Simulations for GPUs using FFTX
    Supercomputing 2019 (SC'19), Poster


29. A. Kulkarni, D. Spampinato, F. Franchetti
    FFTX for Micromechanical Stress-Strain Analysis
    IEEE High Performance Extreme Computing Conference (HPEC) 2019, Poster with extended abstract


30. D. T. Popovici, M. D. Schatz, F. Franchetti, T. M. Low
    A Flexible Framework for Parallel Multi-Dimensional DFTs
    arXiv, 2019, Technical report


31. F. Franchetti, D. G. Spampinato, A. Kulkarni, T. M. Low, M. Franusich, D. T. Popovici, A. Canning, P. McCorquodale, B. Van Straalen, P. Colella
    FFT and Solvers for Exascale: FFTX and SpectralPACK
    Exascale Computing Project (ECP) Annual Meeting, 2019, Poster


32. A. Kulkarni, J. Kovacevic, F. Franchetti
    Algorithm Design at Scale: Porting Parallel FFT-based Fortran Simulations to GPUs
    SIAM Conference on Computational Science and Engineering (CSE) 2019, Poster


33. A. Kulkarni, F. Franchetti, J. Kovacevic
    Algorithm Design for Large Scale Parallel FFT-Based Simulations on Heterogeneous Platforms
    IEEE High Performance Extreme Computing Conference (HPEC), 2018, Poster with abstract


34. A. Kulkarni, F. Franchetti, J. Kovacevic
    Algorithm Design for Large Scale FFT-Based Simulations on CPU-GPU Platforms
    International Conference on Parallel Processing (ICPP), 2018, Poster


35. F. Sadi, J. Sweeney, S. McMillan, T. M. Low, J. C. Hoe, L. Pileggi, F. Franchetti
    PageRank Acceleration for Large Graphs with Scalable Hardware and Two-Step SpMV
    IEEE High Performance Extreme Computing Conference (HPEC), 2018, Poster


36. G. Xu, T. M. Low, J. C. Hoe, F. Franchetti
    Optimizing FFT Resource Efficiency of FPGA using High-level Synthesis
    IEEE High Performance Extreme Computing Conference (HPEC), 2017, Poster


37. H. V. Koops, K. Garg, M. Kim, J. Li, A. Volk, F. Franchetti
    Prediction of Quadcopter State through Multi-Microphone Side-Channel Fusion
    Technical Report UU-CS-2017-001, Dept. of Information and Computing Sciences, Utrecht University, 2017


38. F. Sadi, L. Pileggi, F. Franchetti
    3D DRAM Based Application Specific Hardware Accelerator for SpMV
    IEEE High Performance Extreme Computing Conference (HPEC), 2016, Poster


39. R. Veras, D. Popovici, T. M. Low, F. Franchetti
    Compilers, Hands-Off My Hands-On Optimizations
    3rd International Workshop on Programming Models for SIMD/Vector Programming (WPMVP), 2016


40. J. Zhang, T. M. Low, Q. Guo, F. Franchetti
    A 3D-Stacked Memory Manycore Stencil Accelerator System
    3rd Workshop on Near-Data Processing. In conjuction with the 48th IEEE/ACM International Symposium on Microarchitecture (MICRO-48), 2015


41. T. Popovici, F. Russel,, K. Wilkinson, C.-K Skylaris, P.H. J. Kelly, F. Franchetti
    Generating Optimized Fourier Interpolation Routines for Density Functional Theory Using SPIRAL
    CPC: Workshop on Compilers for Parallel Computing, 2015


42. T. Ozturk, C. Stein, R. Pokharel, T. Popovici, R. Suter, F. Franchetti, A. Rollett
    Spectral Full-Field Deformation Modeling of Polycrystalline Materials
    Neutron and X-Ray Studies of Advanced Materials VIII: Deffraction Limit and Beyond, TMS Annual Meeting and Exhibition, 2015, Poster


43. T. Ozturk, C. Stein, R. Pokharel, T. Popovici, F. Franchetti, R. Suter, A. Rollett
    Performance Evaluation, Algorithm Optimization and Sensitivity Analysis of the Spectral Full-Field Deformation Modeling of Polycrystalline Materials
    3rd World Congress on Integrated Computational Materials Engineering, Poster, 2015


44. B. Duff, J. Larkin, M. Franusich, F. Franchetti
    Automatic Generation of 3-D FFTs
    Abstract, 2014


45. T. Ozturk, T. Popovici, C. Stein, R. Pokharel, F. Franchetti, A. Rollett
    Fast Fourier Transform Based Mechanical Behavior Formulation: Optimized Implementation and Sensitivity Analysis of the Method
    Multiscale Modeling of Microstructure Deformation in Material Processing (Materials Science & Technology 2014), oral presentation


46. H. E. Sumbul, A. Patterson, A. Tazzoli, G. Fedder, F. Franchetti, G. Piazza, L. Pileggi
    Trusted Split-Fabrication System-on-Chip Design Technology and Methodology
    Government Applications & Critical Technology Conference (GOMACTech-13), Poster, 2013


47. T. Cui and F. Franchetti
    A Software Performance Engineering Approach to Fast Transmission Probabilistic Load Flow
    IEEE PES General Meeting, Vancouver, Canada, July 2013, Poster


48. C. Angelopoulos, F. Franchetti, and M. Pueschel
    Automatic Generation of FFT Libraries for GPUs
    NVIDIA Research Summit at the GPU Technology Conference, 2012, Poster


49. B. Akin, P. Milder, F. Franchetti, and J. C. Hoe
    Algorithm and Architecture Optimization for Large Size Two Dimensional Discrete Fourier Transform
    FPGA: Proceedings of the 20th ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2012, Poster


50. Q. Zhu, E. L. Turner, C. R. Berger, L. Pileggi, and F. Franchetti
    Application-Specific Logic-in-Memory for Polar Format Synthetic Aperture Radar
    Proceedings of High Performance Embedded Computing Conference (HPEC), MIT Lincoln Laboratory, 2011
    Best paper session


51. W. Yu, F. Franchetti, J. C. Hoe, J. M. F. Moura, T. Chen
    Performance Portable Tracking of Evolving Surfaces
    Proceedings of High Performance Embedded Computing Conference (HPEC), MIT Lincoln Laboratory, 2011
    Best paper session


52. T. Cui, F. Franchetti
    A Monte Carlo Framework for Probabilistic Distribution Power Flow
    Seventh Annual CMU Conference on the Electricity Industry, 2011, Poster


53. Q. Li, T. Cui, R. Negi, F. Franchetti, M. D. Ilic
    On-line Decentralized Charging of Plug-In Electric Vehicles in Power Systems
    Online manuscript


54. L. Meng, J. R. Johnson, F. Franchetti, Y. Voronenko, M. Moreno Maza, and Y. Xie
    Spiral-Generated Modular FFT Algorithms
    Proceedings 4th International Workshop on Parallel Symbolic Computation (PASCO), 2010, pages 169–170


55. S. Chellappa, F. Franchetti, and M. Püschel
    High Performance Linear Transform Program Generation for the Cell BE
    Proceedings of High Performance Embedded Computing Conference (HPEC), MIT Lincoln Laboratory, 2009


56. D. McFarlin, F. Franchetti, and M. Püschel
    Vectorized Fast Fourier Transform Libraries for the Larrabee and AVX Instruction Set Extension
    Proceedings of High Performance Embedded Computing Conference (HPEC), MIT Lincoln Laboratory, 2009
    Best paper award


57. S. Chellappa, F. Franchetti, and M. Püschel
    FFT Program Generation for the Cell BE
    In Proceedings of the 14th Workshop on Compilers for Parallel Computers (CPC), 2009


58. S. Chellappa, F. Franchetti, and M. Püschel
    Automatic Linear Transform Program Generation for the Cell BE
    Proceedings of Supercomputing 2008


59. F. Franchetti, D. McFarlin, F. de Mesmay, H. Shen, T. Wlodarczyk, S. Chellappa, M. Telgarsky, P. Milder, Y. Voronenko, Q. Yu, J. Hoe, J. Moura, and M. Püschel
    Program Generation with Spiral: Beyond Transforms
    Proceedings of High Performance Embedded Computing Conference (HPEC), MIT Lincoln Laboratory, 2008


60. Y. Voronenko, F. Franchetti, F. de Mesmay, and M. Püschel
    Generating High-Performance General Size Linear Transform Libraries Using Spiral
    Proceedings of High Performance Embedded Computing Conference (HPEC), MIT Lincoln Laboratory, 2008
    Best paper award


61. P. A. Milder, F. Franchetti, J. C. Hoe, and M. Püschel
    Linear Transforms: From Math to Efficient Hardware
    Proceedings of Design Automation Conference (DAC) High-Level Synthesis Workshop, 2008


62. F. de Mesmay, F. Franchetti, Y. Voronenko, and M. Püschel
    Automatic Generation of Multithreaded Vectorized Adaptive Libraries for Matrix Multiplication
    Proceedings of the 5th International Workshop on Parallel Matrix Algorithms and Applications (PMAA), 2008


63. Y. Voronenko, F. Franchetti, F. de Mesmay, and M. Püschel
    System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries
    Proceedings of the 12th International Conference on Algebraic Methodology and Software Technology (AMAST), 2008, pages 407-412


64. F. Franchetti, Y. Voronenko, P. A. Milder, S. Chellappa, M. Telgarsky, H. Shen, P. D'Alberto, F. de Mesmay, J. C. Hoe, J. M. F. Moura, M. Püschel
    Domain-Specific Library Generation for Parallel Software and Hardware Platforms
    Proceedings of the NSF Next Generation Software (NGS) Workshop, 2008


65. P. A. Milder, F. Franchetti, J. C. Hoe, and M. Püschel
    FFT Compiler: From Math to Efficient Hardware
    IEEE International High Level Design Validation and Test Workshop (HLDVT), 2007
    Invited short paper


66. F. Franchetti, Y. Voronenko, and M. Püschel
    FFT Program Generation for Shared Memory: SMP and Multicore
    Proceedings of the 13th Workshop on Compilers for Parallel Computers (CPC), 2007


67. P. A. Milder, F. Franchetti, J. C. Hoe, and M. Püschel
    Fast Fourier Transform on FPGA: Design Choices and Evaluation
    [abstract] [poster] [technical report]
    Proceedings of FPGA, 2007


68. P. D’Alberto, P. Milder, F. Franchetti, J. C. Hoe, M. Püschel, J. M. F. Moura
    Discrete Fourier Transform Compiler for FPGA and CPU/FPGA Partitioned Implementations
    Proceedings of High Performance Embedded Computing Conference (HPEC), MIT Lincoln Laboratory, 2006, on CD-ROM


69. F. Franchetti, A. Bonelli, E. Chuangsuwanich, Y. J. Lee, J. Lorenz, T. Peter, H. Shen, M. Telgarsky, Y. Voronenko, M. Püschel, J. M. F. Moura, C. W. Ueberhuber
    Parallelism in Spiral
    Proceedings of Workshop on Programming Models for Ubiquitous Parallelism (PMUP), 2006, pages 28-32


70. F. Franchetti, Y. Voronenko, M. Püschel
    Spiral: Generating Signal Processing Kernels for New Commodity Architectures
    Proceedings of EDGE Workshop 2006, pages D49-D50


71. F. Franchetti
    Top Performance in Signal Processing
    International Workshop on Numerical and Symbolic Scientific Computing, 2003


72. F. Franchetti
    A Portable Short Vector Version of FFTW
    Proceedings of MATHMOD 2003 - Fourth IMACS Symposium on Mathematical Modeling, volume 2, pages 1539-1548


73. F. Franchetti, F. Kaltenberger, C.W. Ueberhuber
    FFT Kernels with FMA Utilization
    Proceedings of the APLIMAT 2002 Conference, pages 333-339


74. F. Franchetti, M. Püschel, J. Moura, C.W. Ueberhuber
    Short Vector SIMD Code Generation for DSP Algorithms
    Proceedings of High Performance Embedded Computing Conference (HPEC), MIT Lincoln Laboratory, 2002, on CD-ROM

book chapters | journal papers | conference papers | other technical papers | patents | theses

Patents

1. F. Franchetti, Q. Zhu, L. T. Pileggi
   3DIC memory chips including computational logic-in-memory for performing accelerated data processing
   U.S. Patent 9286216. March 15, 2016

book chapters | journal papers | conference papers | other technical papers | patents | theses

Theses by Research Group Members

1. G. Xu
   An Approach to Generating Customized Load-Store Architectures
   Ph.D. Thesis, Electrical & Computer Engineering, Carnegie Mellon University 2023 (Ref. Prof. F. Franchetti and Prof. J. Hoe)


2. V. Zaliva
   HELIX: From Math to Verified Code
   Ph.D. Thesis, Electrical & Computer Engineering, Carnegie Mellon University 2020 (Ref.: Prof. F. Franchetti)


3. J. Zhang
   Accelerating the Motifs of Machine Learning Applications on Modern Processors
   Ph.D. Thesis, Electrical & Computer Engineering, Carnegie Mellon University 2020 (Ref.: Prof. F. Franchetti)


4. A. Kulkarni
   An Approach for Large-Scale Three-Dimensional FFT-Based Approximate Convolutions on GPUs
   Ph.D. Thesis, Electrical & Computer Engineering, Carnegie Mellon University 2020 (Ref.: Prof. F. Franchetti and Prof. J. Kovacevic)


5. D. Popovici
   An Approach to Specifying and Automatically Optimizing Fourier Transform Based Operations
   Ph.D. Thesis, Electrical & Computer Engineering, Carnegie Mellon University 2018 (Ref.: Prof. F. Franchetti)


6. F. Sadi
   Accelerating Sparse Matrix Kernels with Co-optimized Architecture
   Ph.D. Thesis, Electrical & Computer Engineering, Carnegie Mellon University 2018 (Ref.: Prof. L. Pileggi and Prof. F. Franchetti)


7. B. Akin
   A Formal Approach to Memory Access Optimization: Data Layout, Reorganization, and Near-Data Processing
   Ph.D. Thesis, Electrical & Computer Engineering, Carnegie Mellon University 2015 (Ref.: Prof. J. C. Hoe and Prof. F. Franchetti)


8. T. Cui
   Power System Probabilistic and Security Analysis Using Commodity High Performance Computing Systems
   Ph.D. Thesis, Electrical & Computer Engineering, Carnegie Mellon University 2013 (Ref.: Prof. F. Franchetti)


9. Q. Zhu
   Application Specific Logic in Memory
   Ph.D. Thesis, Electrical & Computer Engineering, Carnegie Mellon University 2013 (Ref.: Prof. F. Franchetti and Prof. L. Pileggi)


10. W. Yu
    Performance Portable Tracking of Evolving Surfaces
    Ph.D. Thesis, Electrical & Computer Engineering, Carnegie Mellon University 2011 (Ref.: Prof. F. Franchetti and Prof. J. C. Hoe)


11. F. Franchetti
    Performance Portable Short Vector Transforms
    Ph.D. Thesis Computational Mathematics, Vienna University of Technology 2003 (Ref.: Prof. Dr. C. W. Ueberhuber, 223 pages)


12. F. Franchetti
    Short Vector FFTs
    Diploma Thesis Technical Mathematics, Vienna University of Technology 2000 (Ref.: Prof. Dr. C. W. Ueberhuber, 148 pages)