Research Projects

Quantum Computing
Embedded / Real-Time Systems
- Combining Real-time Tasking and Data Parallelism within OpenMP under Linux(2023-2024)
- SaTC: CORE: Small: Enhanced Security and Reliability for Embedded Control Systems (SERECS) (2018-2023)
- CPS: Synergy: Collaborative Research: Distributed Asynchronous Algorithms and Software Systems for Wide-Area Monitoring of Power Systems (2013-2018)
- CPS: Breakthrough: Collaborative Research: Bringing the Multicore Revolution to Safety-Critical Cyber-Physical Systems. (2013-2018)
- TiME-ME: Providing Predictable Timing for Task Migration in Embedded Multi-Core Environments. (2009-2014)
- FREEDM: NSF ERC for Future Renewable Electric Energy Delivery and Management Systems: Distributed Systems Management. (2008-2011)
- Developing a Methodology for Deeply Embedded Security in Real-Time Systems. (2008-2010)
- Checker: Hybrid Timing Analysis via Multi-Mode Execution. (2007-2011)
- SPARTA: Static Parametric Timing Analysis. (2003-2008)
- VISA: Virtual Simple Architecture. (2003-2007)
- PowerT: Reducing Frequency via Speculation and Fall-Back Recovery. (2002-2006)
- Timing Analysis. (1997-2000)
- LegoSim, a LegOS simulator. (1998-2000)
Parallel / Distributed Systems
- Improving Checkpoint/Restart for HPC Applications (2024-2025)
- Collaborative Research on Quantum Tensor Network Deployment to OLCF Supercomputers (2023-2024)
- Workflow Scheduling with Heterogeneous Resources and Fault Propagation for Flux (2022-2025)
- Exploiting Persistent Memories within Deep Hierarchies in the Edge Cloud (2022-2024)
- Large-Scale Automatic Analysis of the OAI Magnetic Resonance Image Dataset (2017-2023)
- PowerCap: HPC Power Modeling and Active Control (2016-2021)
- Failure Prediction with Exact Localization (2017-2018)
- Resilience for Global Address Spaces (2013-2016)
- Hobbes: OS and Runtime Support for Application Composition (2013-2017)
- Pico-kernel Adaptive and Scalable Operating Systems Phase II (PICASO2). (2013-2015)
- Application Skelleton Generation for Exascale HPC Simulation (2012)
- Co-Design of Hardware / Software for Predicting MAV Aerodynamics (2012-2015)
- ScalaJack: Scalable Trace-Based Tools for In-Situ Data Analysis of HPC Applications (2012-2017)
- Operating System Mechanisms For Many-Core Systems (PICASO). (2012)
- Operating and Runtime System Resilience on the Path to Exascale. (2012)
- RESYST: Resilience via Synergistic Redundancy and Fault Tolerance for High-End Computing. (2010-2016)
- Developing and Evaluating Advanced Methods for Resilience at Scale. (2010-2011)
- ARC: A Root Cluster for Research into Scalable Computer Systems. (2010-2013)
- BMK: Automatic Extraction of Parallel I/O Benchmarks from HEC Applications. (2009-2014)
- Data Streaming on GPU Clusters. (2009-2010)
- BLCR Support for Job Pause, Live Migration and Incremental Checkpointing. (2009-2012)
- RAS: Reliability, Availability and Serviceability for Petascale High-End Computing and Beyond . (2008-2011)
- Mining Text using GPU Clusters. (2008-2009)
- Online Data Reconstruction for Supercomputers. (2007)
- MOLAR: Modular Linux and Adaptive Runtime Support for HEC OS/R Research. (2005-2009)
- Scal-A: Detecting and Alleviating Sources of Scalability Problems. (2004-2009)
- ROSES: Runtime/Operating System Synergy to Exploit Simultaneous Multithreading. (2004-2008)
- CAREER: Binary Rewriting to Analyze and Alleviate Memory Bottlenecks. (2003-2010)
- Xstim: Cross-Platform Performance Estimation for Parallel Applications. (2004-2006)
- DyPat: Dynamic Performance Analysis and Tuning. (2004)
- SPAN: Shared-Memory Performance Analysis. (2002-2003)
- Performance Analysis and Optimization for Scientific Applications. (2002-2003)
- DSM-Threads: Distributed Shared Memory Threads. (1996-2000)
- FSU Pthreads (POSIX Threads). (1991-2000)
- GNARL: Gnu Ada Runtime Library of the Gnu Ada Translator (GNAT). (1991-1995)
Compilers / Code Optimization
- Collaborative Research: PPoSS: LARGE: Cross-layer Coordination and Optimization for Scalable and Sparse Tensor Networks (CROSS) (2023-2028)
- Collaborative Research: PPoSS: Planning: Cross-layer Coordination and Optimization for Scalable and Sparse Tensor Networks (CROSS) (2022-2024)
- Compiler and Runtime Support for Deep Memories (2021)
- Software Support for Heterogeneous Memories in HPC (2018-2021)
- Auto-Tuned Per-Loop Compilation (2018-2019)
- A Deep-Learning Approach Towards Auto-Tuning CFD Codes (2017-2018)
- Improving Memory Performance on Fused Architectures through Compiler and Runtime Innovations (2015-2020)
- P-Fetch: Prefetching Guided by Cross-Instruction Dynamic Access Patterns on the Power5. (2006-2007)
- Scal-A: Detecting and Alleviating Sources of Scalability Problems. (2004-2009)
- CAREER: Binary Rewriting to Analyze and Alleviate Memory Bottlenecks. (2003-2010)
- Control-Flow Analysis and Optimization. (1991-2002)
Publications