Research Projects

• Embedded / Real-Time Systems
  • TiME-ME: Providing Predictable Timing for Task Migration in Embedded Multi-Core Environments. (2009-)
  • 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
  • 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-)
  • Developing and Evaluating Advanced Methods for Resilience at Scale. (2010-2011)
  • ARC: A Root Cluster for Research into Scalable Computer Systems. (2010-)
  • BMK: Automatic Extraction of Parallel I/O Benchmarks from HEC Applications. (2009-)
  • 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
  • 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