PSP stands for Programs, Specifications and Proofs. The emphasis of the work of our group is to derive parallel and distributed programs in a rigorous manner.

CODE is a visual parallel programming system that composes sequential programs into parallel programs for shared-memory multiprocessors and workstations running MPI or PVM.

By Inderjit S. Dhillon, Subramanyam Mallela and Rahul Kumar, University of Texas, Austin, USA. Proceedings of the eighth ACM SIGKDD international conference on Knowledge discovery and data mining, 2002. The authors propose a new information-theoretic ...

Manuscripts of Edsger W. Dijkstra, a collection of over 1, 300 written works, famously known as EWDs. Also, In Pursuit of Simplicity symposium. Format: PDF.

University of Texas at Austin.

University of Texas at Austin.

University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.

Includes articles, past and present, search function and links.

Research focus includes file systems, media transmission protocols, and operating system support for multimedia networking.

Department of Computer Sciences. Research areas: Formal Methods; AI and Robotics; Operating, Distributed, and Software Systems; Networking and Multimedia; Compilers, Architecture, and Technology; Theoretical Computer Science; Graphics and Visualizatio...