Ph.D. dissertations

1. Sundresh, Sameer. "Request-Based Mediated Execution," University of Illinois, 2009. [pdf] [bib]
2. Jang, Myeong-Wuk. "Efficient Communication and Coordination for Large-Scale Multi-Agent Systems," Ph.D. Dissertation, 2006. [pdf] [bib]
3. Kwon, YoungMin. "Probabilistic Modeling and Verification of Large Scale Systems," Technical Report, UIUCDCS-R-2006-2687, Department of Computer Science, University of Illinois at Urbana Champaign, 2006. [pdf] [ps] [bib]
4. Vardhan, Abhay. "Learning To Verify Systems," Ph.D. Thesis, Dept. of Computer Science, 2006. [pdf] [bib]
5. Sen, Koushik. "Scalable Automated Methods for Dynamic Program Analysis," PhD Dissertation, 2006. [pdf] [ps] [bib]
6. Thati, Prasanna. "A theory of testing for asynchronous concurrent systems," Phd Dissertation, University of Illinois at Urbana Champaign, October, 2003. [pdf] [ps] [bib]
7. Varela, Carlos A.. "Worldwide Computing with Universal Actors: Linguistic Abstractions for Naming, Migration, and Coordination," Ph.D. Thesis, University of Illinois at Urbana-Champaign, April, 2001. [pdf] [ps.gz] [bib]
8. Astley, Mark. "Customization and Composition of Distributed Objects: Policy Management in Distributed Software Architectures," PhD Thesis, University of Illinois at Urbana-Champaign, 1999. [pdf] [ps.gz] [bib]
9. Venkatasubramanian, Nalini. "Resource Management in Open Distributed Systems with Applications to Distributed Multimedia," University of Illinois at Urbana-Champaign, 1998. [pdf] [ps] [bib]
10. Ren, Shangping. "An Actor-Based Framework for Real-Time Coordination," PhD thesis, University of Illinois at Urbana-Champaign, 1997. [bib]
11. Kim, WooYoung. "ThAL: An Actor System for Efficient and Scalable Concurrent Computing," Ph.D. Thesis, University of Illinois at Urbana-Champaign, 1997. [pdf] [ps.gz] [bib]
12. Sturman, Daniel. "Modular Specification of Interaction Policies in Distributed Computing," PhD thesis, University of Illinois at Urbana-Champaign, 1996. [pdf] [ps] [bib]