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.

Girls Can Code

In Spring 2016, Amalee Wilson hosts Girls Can Code (GCC). GCC is an outreach event to expose  girls in high school and middle school to the field of computer science. More information can be found on the GCC website – http://iprogress.cis.uab.edu/girls-can-code/ .

Read more

Symposium on Applied Computing 2016

The 31st ACM Symposium on Applied Computing will hold a technical track on Programming Languages. The PL track will be a forum for engineers, researchers and practitioners throughout the world to share technical ideas and experiences relating to implementation and application of programming languages. The submission deadline is September 11. http://www.cse.unt.edu/~bryant/sac2016/

Read more