Search results for: Suresh Jagannathan
Journal of Automated Reasoning > 2019 > 63 > 2 > 489-515
Lecture Notes in Computer Science > High Performance Computing - HiPC 2004 > Session IV - Peer-to-Peer and Storage Systems > 252-261
Lecture Notes in Computer Science > Static Analysis > 232-249
Lecture Notes in Computer Science > Coordination Models and Languages > Contributed Papers > 183-198
Lecture Notes in Computer Science > High Performance Computing - HiPC 2008 > Session VI: Distributed Algorithms > 415-426
Lecture Notes in Computer Science > Reasearch Directions in High-Level Parallel Programming Languages > 77-92
Lecture Notes in Computer Science > ECOOP 2006 – Object-Oriented Programming > Ownership and Concurrency > 148-173
Lecture Notes in Computer Science > Coordination Models and Languages > Languages and Systems > 47-65