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.

View full post

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.

View full post

Symposium on Applied Computing – Programming Language Track – accepting papers

http://www.cse.unt.edu/~bryant/sac2018/

View full post

Paper Accepted by EuroMPI’17

Hadia Ahmed, Anthony Skjellum, Purushotham Bangalore, Peter Pirkelbauer. Transforming Blocking MPI Collectives to Nonblocking and Persistent Operations, EuroMPI, 2017, to appear.

View full post
Hadia Ahmed defended dissertationKyle Alexander Third in ASEF Competition 2017Symposium on Applied Computing – Programming Language Track – accepting papersPaper Accepted by EuroMPI’17

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