| The Parallel and Distributed Systems Laboratory at the University of Texas at Austin ![]() ![]() |
|
Click here
for the restricted area (PDSL members only)Our current research interests are in the areas of Distributed Systems, Discrete Event Systems and Software Engineering. |
|
| Publications | Tools |
|
Simple PROMELA Interpreter
with Crucial Event Detection (SPICED) Partial Order Trace Analyzer (POTA) Distributed Program Simulator v0.1 MultiSlicer (Preliminary) |
|
| Faculty Members | Graduate Students |
| Craig M. Chase Vijay K. Garg |
Bharath Balasubramanian Selma Ikiz Sujatha Kashyap Vinit Ogale |
| Former Graduate Students | Miscellaneous |
|
Anurag Agarwal Arindam Chakraborty Alper Sen Neeraj Mittal Chakarat Skawratananont Om Damani Brian Grayson Richard Kilgore Roger Mitchell Venkatesh Murty Ashis Tarafdar Pawan Uppuluri Alex Tomlinson John Greer Omer Shakil |
BibTex file |