Compiler Detection of Function Call Side Effects. - David A. Spuler; A. Sayed Muhammed Sajeev (Informatica (Slovenia), 1994)

Testing concurrency and communication in distributed objects. - Adnan Bader; A. Sayed Muhammed Sajeev; Sita Ramakrishnan (HiPC, 1998)