Welcome!

Due to the increasing complexity and scale of software systems today, ensuring their stability, safety, and efficiency is a growing challenge. The iProgress lab, headed by Dr. Peter Pirkelbauer, aims to meet that challenge by developing tools and techniques to verify and optimize software systems.

Our areas of research include:

  • Static Analysis
  • Source Code Transformation Systems
  • Runtime Systems and Continuous Optimizations
  • Software Verification Systems
  • Non-Blocking Software Design.

Hadia Ahmed defended dissertation

Congratulations to Dr. Hadia Ahmed, who defended her dissertation on Improving Performance Portability and Productivity of Parallel Scientific Applications for Exascale.

Read more

Kyle Alexander Third in ASEF Competition 2017

Congratulations to ASFA/iProgress Student Kyle Alexander, who obtained 3rd place in the Embedded Systems/Systems Software Category and received the Intel Excellence in Computer Science Award at the Alabama Science and Engineering Fair (ASEF) 2017. In her project, she analyzes JAVA for loops and reports code that may prevent loop termination.

Read more