[OSL@UIUC]

Open Systems Laboratory

Department of Computer Science, University of Illinois at Urbana-Champaign
Research
People
Publications
Utilities
 
 Research Theme 
 Application Areas 
 Complex Systems 
 Dependable Systems 
 Multi-Agent Systems 
 P2P and Web Computing 
 Sensor Networks and Real-Time Systems 
 Concurrent and Distributed Systems 
 Coordination Algorithms 
 Formal Methods 
 Programming Languages and Systems 
 Software Engineering 
 Software and Data 
 Actor Systems 
 Sensor Networks 
 Software Analysis and Testing Tools 

Programming Languages and Systems

[Bibliography in .bib format]
  1. Karmani, Rajesh Kumar, Amin Shali, Gul Agha. "Actor frameworks for the JVM platform: A Comparative Analysis," In the proceedings of the 7th International Conference on the Principles and Practice of Programming in Java, 2009. [pdf] [bib]
  2. Sundresh, Sameer. "Request-Based Mediated Execution," University of Illinois, 2009. [pdf] [bib]
  3. Shevlyagin, Sergei, Kirill Mechitov, Gul Agha. "Fault Tolerance in ActorNet," UIUC Department of Computer Science Undergraduate Research Symposium, 2008. [ppt-poster] [bib]
  4. Sundresh, Sameer. "Communication Across Levels of Abstraction," Workshop on Event-Based Semantics (WEBS), 2008. [pdf] [slides] [bib]
  5. Zwicky, William. "AJ: A Systems for Buildings Actors with Java," , 2008. [pdf] [bib]
  6. Razavi, Reza, Kirill Mechitov, Gul Agha, Jean-Francois Perrot. "Dynamic Macroprogramming of Wireless Sensor Networks with Mobile Agents," 2nd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI), 2007. [pdf] [bib]
  7. Mechitov, Kirill, Reza Razavi, Gul Agha. "Architecture Design Principles to Support Adaptive Service Orchestration in WSN Applications," International Workshop on Wireless Sensor Network Architectures (WWSNA), 2007. [pdf] [ps] [bib]
  8. Razavi, Reza, Kirill Mechitov, Gul Agha, Jean-Francois Perrot. "Ambiance: A Mobile Agent Platform for End-User Programmable Ambient Systems," J.C. Augusto and D. Shapiro (eds.), Advances in Ambient Intelligence, Frontiers in Artificial Intelligence and Applications (FAIA), vol. 164, IOS Press, 2007. [pdf] [bib]
  9. Donkervoet, Bill, Gul Agha. "Reflecting on Adaptive Distributed Monitoring," Formal Methods for Components and Objects, 2007. [pdf] [bib]
  10. Razavi, Reza, Kirill Mechitov, Sameer Sundresh, Gul Agha, Jean-Francois Perrot. "Ambiance: Adaptive Object Model-based Platform for Macroprogramming Sensor Networks," ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2006. [pdf] [poster] [bib]
  11. Escobar, Santiago, Jose Meseguer, Prasanna Thati. "Natural Narrowing for General Term Rewriting Systems," International Conference on Term Rewriting Techniques and Applications, 2005. [pdf] [ps] [bib]
  12. Kwon, YoungMin, Sameer Sundresh, Kirill Mechitov, Gul Agha. "ActorNet: An Actor Platform for Wireless Sensor Networks," Technical Report UIUCDCS-R-2005-2595, Department of Computer Science, University of Illinois at Urbana-Champaign, 2005. [pdf] [ps] [bib]
  13. Agha, Gul, Jose Meseguer, Koushik Sen. "PMaude: Rewrite-based Specification Language for Probabilistic Object Systems," Electronic Notes in Theoretical Computer Science, Elsevier Science, 2005. Expanded version of the paper that appeared in Proceedings of the 3rd Workshop on Quantitative Aspects of Programming Languages (To Appear)., 2005. [bib]
  14. Chang, Po-Hao, WooYoung Kim, Gul Agha. "An Adaptive Programming Framework for Web Applications," The IEEE/IPSJ Symposium on Applications and the Internet (SAINT '04), 2004. [pdf] [bib]
  15. Escobar, Santiago, Jose Meseguer, Prasanna Thati. "Natural Rewriting for General Term Rewriting Systems," Submitted to International Symposium on Logic Based Program Synthesis and Tranformation (LOPSTR), 2004. [pdf] [ps] [bib]
  16. Chang, Po-Hao. "An Adaptive Distributed Object Framework for the Web," The combined 14th Workshop for PhD Students in Object-Oriented Systems and Doctoral Symposium, 2004. [pdf] [bib]
  17. Sundresh, Sameer, WooYoung Kim, Gul Agha. "SENS: A Sensor, Environment and Network Simulator," The 37th Annual Simulation Symposium (ANSS37), Arlington, VA, April 21, 2004. [pdf] [ppt] [sxi] [bib]
  18. Tosic, Predrag. "A Perspective on the Future of Massively Parallel Computing: Fine Grain vs. Coarse-Grain Parallel Models," Proc. 1st ACM Conference on Computing Frontiers (CF'04), Ischia, Italy, April 14-16, 2004. [pdf] [ps] [bib]
  19. Ziaei, Reza, Gul Agha. "SynchNet: A Petri Net Based Coordination Language for Distributed Objects," Generative Programming and Component Engineering (GPCE), 2003. [pdf] [ps] [bib]
  20. Wendling, William. "THAL++: A Concurrent Language For The THAL Runtime System," , 2003. [pdf] [ps] [bib]
  21. Varela, Carlos A., Gul Agha. "Programming Dynamically Reconfigurable Open Systems with SALSA," 16th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications: Intriguing Technology Track, Tampa, FL, October, 2001. [pdf] [ps] [bib]
  22. Agha, Gul, WooYoung Kim. "Unifying Parallel and Distributed Computation: An Actor-Based Approach," Journal of Systems Architecture, 1999. [pdf] [bib]
  23. Kim, WooYoung, Gul Agha. "Parallel Programming and Complexity Analysis using Actors," in Proceedings of the Third International Working Conference on Massively Parallel Programming Models (MPPM '97), 1998. [pdf] [bib]
  24. Vardhan, Abhay. "Distributed Garbage Collection of Active Objects: A Transformation and its Applications to Java Programming," MS Thesis, University of Illinois, 1998. [pdf] [bib]
  25. 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]
  26. Kim, WooYoung, Rajendra Panwar, Gul Agha. "Efficient Compilation of Call/Return Communication for Actor-Based Programming Languages," Third International Conference on High Performance Computing, pp 62-67, Trivendarum, India, IEEE Computer Society, 1996. [pdf] [ps.gz] [bib]
  27. Kim, WooYoung, Gul Agha. "Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages," Proceedings of Supercomputing '95, 10 pp, IEEE, (worldwide web accessible), 1995. [pdf] [bib]
  28. Mishra, Neelkanth, Prasanna Thati, Mukesh P. Singh, Bal K. Birla, Devendra Vidhani, Aditya N. Lal, Amitabha Mukerjee. "Experiments on gesture-based user interfaces," International Conference on Cognitive Science, 1995. [bib]