Model Checking of Java Programs
January 2017 - May 2017
Lahore University of Management Sciences
- Worked with Java PathFinder (JPF) for Model Checking and Partial Order Reduction of concurrent Java programs to detect data races
- Received a brief introduction to LLVM, including writing LLVM passes