Program Analysis Lab @ Iowa State University





Our research interests

  • Automatically detecting, diagnosing and fixing bugs/vulnerabilities in software
  • Machine learning for code
  • Analyzing machine learning systems for reliability, safety and effective learning


  

Students



    
Ashwin Kallingal Joshy

    
Eliska Kloberdanz

    
Yaojie(Jason) Hu (Co-advising with Prof Jin Tian)

    
Benjamin Steenhoek

    
Xueyuan Chen

    
Ekene Okeke

    
Alex Schwarte

    
Jason McInerney

    
Mohammad Wardat (Co-advising with Prof Hridesh Rajan)

    
Usman Gohar



  

Alumni

Danilo Perez Dominguez, PhD, 2019
Stroh Leslie, Master, 2019


  

Projects

    
        

Hydrogen: Analyzing software changes and versions

        
Helium: Dynamic analysis for code fragments

    
        

Lithium: Analyzing event-driven, framework based systems


        

Symbolic analysis for bugs and specifications

    
  

Acknowledgment

     We thank NSF, SEI@CMU, Google and DARPA for sponsoring our research, and we also thank Gramma Tech, ABB for their support and industrial advice.