Research Projects

• Embedded / Real-Time Systems
  • NSF ERC for Future Renewable Electric Energy Delivery and Management (FREEDM) Systems: Distributed Systems Management. (2008-)
  • Developing a Methodology for Deeply Embedded Security in Real-Time Systems. (2008-2009)
  • Checker: CSR--EHS: Collaborative Research: Hybrid Timing Analysis via Multi-Mode Execution. (2007-)
  • 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-)

• Parallel / Distributed Systems
  • Reliability, Availability and Serviceability (RAS) for Petascale High-End Computing and Beyond. (2008-)
  • 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-)
  • 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)
  • Gnu Ada Runtime Library (GNARL) of the Gnu Ada Translator (GNAT). (1991-1995)

• Compilers / Code Optimization
  • 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-2008)
  • CAREER (Binary Rewriting to Analyze and Alleviate Memory Bottlenecks). (2003-)
  • Control-Flow Analysis and Optimization. (1991-2002)

• Publications