Stephen Neuendorffer
- Parallel Programming for FPGAs
2018/05/09 by Ryan Kastner, Janarbek Matai, Kastner, Ryan +3 · 3 voices · 3 citations
Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Interconnection Networks and Systems #Parallel Computing and Optimization Techniques #cs.AR
- ScaleHLS: A New Scalable High-Level Synthesis Framework on Multi-Level Intermediate Representation
2021/07/24 by Hanchen Ye, Ye, Hanchen, Cong Hao +11 · 10 citations
Computer Science · Engineering · #Parallel Computing and Optimization Techniques #Embedded Systems Design Techniques #Ferroelectric and Negative Capacitance Devices
- High-Level Synthesis for FPGAs: From Prototyping to Deployment
2011/03/22 by Jason Cong, Bin Liu, Stephen Neuendorffer +3 · 4 citations
Computer Science · #Embedded Systems Design Techniques #Parallel Computing and Optimization Techniques #Interconnection Networks and Systems
- CHARM: Composing Heterogeneous Accelerators for Matrix Multiply on Versal ACAP Architecture
2023/01/06 by Jinming Zhuang, Jason Lau, Zhuang, Jinming +23 · 7 citations
Computer Science · #Parallel Computing and Optimization Techniques #Network Packet Processing and Optimization #Algorithms and Data Compression
- Fleet: Hierarchical Task-based Abstraction for Megakernels on Multi-Die GPUs
2026/04/15 by Sangeeta Chowdhary, Ryan Swann, Sean Siddens +7 · 5 voices
Computer Science · #cs.AR
- Compiler-Driven Simulation of Reconfigurable Hardware Accelerators
2022/02/01 by Zhijing Li, Yuwei Ye, Li, Zhijing +5 · 2 citations
Decision Sciences · Computer Science · #Simulation Techniques and Applications #Parallel Computing and Optimization Techniques #Embedded Systems Design Techniques
- Efficiency, Expressivity, and Extensibility in a Close-to-Metal NPU Programming Interface
2025/04/25 by Erika Hunhoff, Hunhoff, Erika, Joseph Melber +19 · 9 citations
Computer Science · Engineering · #Advanced Memory and Neural Computing #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Parallel Computing and Optimization Techniques #Software Engineering (cs.SE)
- Practical Formal Verification for MLIR Programs
2026/05/01 by Emily Tucker, Louis-Noël Pouchet, Erika Hunhoff +2 · 1 voice
Computer Science · #cs.PL