Verifying Data Integrity for Multi-Threaded Programs. - Imran Pinjari; Michael Shin; Pushkar Ogale (ICSOFT, 2023)

Integrity for Interfaces and Lambda Expressions with Static Analysis (S). - Imran Pinjari; Michael Shin; Pushkar Ogale (SEKE, 2024)