The PDSLAB (Parallel and Distributed Systems Laboratory), supervised by Dr. Vijay K. Garg conducts research in the broad areas of distributed systems, discrete event systems and software engineering. Our current projects focus on fault-tolerant distributed systems, Byzantine Agreement, Predicate Detection, Model Checking of Distributed Programs and Distributed Debugging.

(list of all papers)
Distributed Systems
Discrete Event Systems
Software Engineering
Technical Reports

Simple PROMELA Interpreter with Crucial Event Detection (SPICED)
Partial Order Trace Analyzer (POTA)
Distributed Program Simulator v0.1
MultiSlicer (Preliminary)
Fused Backup Library

Hung Wei-Lun
Yen-Jung Chang
John Bridgman
Bharath Balasubramanian
Selma Ikiz
Roopsha Samantha (co-supervisor Alan Emerson)

Vijay K. Garg
Craig M. Chase

(list of all students)
Vinit Ogale
Sujatha Kashyap
Zhengting He (co-supervisor Al Mok)
Alper Sen
Neeraj Mittal

BibTex file
Administrative Associate
RoseAnna Goewey,Executive Assistant, ARiSE
Email address: rgoewey@mail.utexas.edu
Phone: 512-232-3343, Fax: 512-471-5120