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]
Daniel, Brett, Vilas Shekhar Bangalore Jagannath, Danny Dig, Darko Marinov. "ReAssert: Suggesting Repairs for Broken Unit Tests," 24rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2009. [bib]
Sundresh, Sameer. "Request-Based Mediated Execution," University of Illinois, 2009. [pdf] [bib]
Bangalore Jagannath, Vilas Shekhar, Yun Young Lee, Brett Daniel, Darko Marinov. "Reducing the Costs of Bounded-Exhaustive Testing," Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering (FASE), 2009. [Paper] [Presentation] [bib]
Karmani, Rajesh Kumar, Gul Agha. "Debugging Wireless Sensor Networks Using Mobile Actors," RTAS Poster Session, 2008. [abstract] [poster] [bib]
Mechitov, Kirill, Reza Razavi, Gul Agha. "Architecture Design Principles to Support Adaptive Service Orchestration in WSN Applications," ACM SIGBED Review, vol. 4, no. 3, 2007. [pdf] [bib]
Kwon, YoungMin, Gul Agha. "A Markov Reward Model for Software Reliability," The Next Generation Software (NGS) Workshop at International Parallel and Distributed Processing Symposium (IPDPS), pages 1-6, 2007. [pdf] [ps] [bib]
Chang, Po-Hao, Gul Agha. "Towards Context-Aware Web Applications," 7th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), 2007. [pdf] [bib]
Chang, Po-Hao, Gul Agha. "Supporting Reconfigurable Object Distribution for Customized Web Applications," The 22nd Annual ACM Symposium on Applied Computing (SAC), 2007. [pdf] [pdf] [bib]
Sen, Koushik, Abhay Vardhan, Gul Agha, Grigore Rosu. "Efficient Decentralized Monitoring of Safety in Distributed Systems," Submitted to ACM TOSEM [invited], 2006. [pdf] [ps] [bib]
Sen, Koushik, Gul Agha. "Automated Systematic Testing of Open Distributed Programs," FASE, 2006. [pdf] [ps] [bib]
Sen, Koushik, Gul Agha. "CUTE and jCUTE : Concolic Unit Testing and Explicit Path Model-Checking Tools," CAV. Tool Paper, 2006. [pdf] [ps] [bib]
Sen, Koushik, Mahesh Viswanathan. "Model Checking Multithreaded Programs with Asynchronous Atomic Methods," CAV, 2006. [pdf] [ps] [bib]
Sen, Koushik. "Scalable Automated Methods for Dynamic Program Analysis," PhD Dissertation, 2006. [pdf] [ps] [bib]
Rosu, Grigore, Koushik Sen. "An Instrumentation Technique for Online Analysis of Multithreaded Programs," Special Issue of Concurrency and Computation: Practice and Experience (CC:PE), 2006. [pdf] [ps] [bib]
Chang, Po-Hao, Gul Agha. "Supporting Reconfigurable Object Distribution for Customizable Web Applications (poster)," The 8th International Symposium on Distributed Objects, Middleware, and Applications (DOA), 2006. [pdf] [pdf] [bib]
Sen, Koushik, Grigore Rosu, Gul Agha. "Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions," FMOODS, 2005. [pdf] [ps] [bib]
Sen, Koushik, Mahesh Viswanathan, Gul Agha. "VESTA: A Statistical Model Checker and Analyzer for Probabilistic Systems," In 2nd International Conference on the Quantitative Evaluation of Systems, IEEE, (Tool paper), 2005. [pdf] [ps] [bib]
Artho, Cyrille, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael Lowry, Corina Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Rich Washington. "Combining Test Case Generation and Runtime Verification," Theoretical Computer Science (TCS), 2005. [pdf] [ps] [bib]
Vardhan, Abhay, Mahesh Viswanathan. "Learning to Verify Branching Time Properties," Techincal Report UIUCDCS-R-2004-2445, UILU-ENG-2004-1747 (this is a long version of a paper to appear at the 20th IEEE/ACM International Conference on Automated Software Engineering, Long Beach, California, USA), 2005. [pdf] [bib]
Godefroid, Patrice, Nils Klarlund, Koushik Sen. "DART: Directed Automated Random Testing," PLDI, 2005. [pdf] [ps] [bib]
Sen, Koushik, Grigore Rosu, Gul Agha. "Online Efficient Predictive Safety Analysis of Multithreaded Programs," International Journal on Software Technology and Tools Transfer (STTT) (To Appear), 2005. [pdf] [ps] [bib]
Sen, Koushik, Darko Marinov, Gul Agha. "CUTE: A Concolic Unit Testing Engine for C," ESEC/FSE. ACM SIGSOFT Distinguished Paper Award Winner, 2005. [pdf] [pdf] [ps] [ps] [bib]
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]
Sen, Koushik, Abhay Vardhan, Gul Agha, Grigore Rosu. "Efficient Decentralized Monitoring of Safety in Distributed Systems," In Proceedings of 26th International Conference on Software Engineering (ICSE'04), pages 418-427, Edinburgh, UK, May 2004. IEEE., 2004. [pdf] [ps] [bib]
Barringer, Howard, Allen Goldberg, Klaus Havelund, Koushik Sen. "Program Monitoring with LTL in Eagle," In Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD'04) (Satellite workshop of IPDPS'04), Santa Fe, New Mexico, USA, April 2004. IEEE digital library., 2004. [pdf] [ps] [bib]
Rosu, Grigore, Koushik Sen. "An Instrumentation Technique for Online Analysis of Multithreaded Programs," In Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD'04) (Satellite workshop of IPDPS'04), Santa Fe, New Mexico, USA, April 2004. IEEE digital library. Invited Paper., 2004. [pdf] [ps] [bib]
Barringer, Howard, Allen Goldberg, Klaus Havelund, Koushik Sen. "Rule-Based Runtime Verification," In Proceedings of 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'04), volume 2937 of Lecture Notes in Computer Science, pages 44-57, Venice, Italy, January 2004. Springer., 2004. [pdf] [ps] [bib]
Sen, Koushik, Abhay Vardhan, Gul Agha, Grigore Rosu. "On Specifying and Monitoring Epistemic Properties of Distributed Systems," In 2nd International Workshop on Dynamic Analysis (WODA'04), Satellite workshop of ICSE 2004, pages 32-35. British Institution of Electrical Engineers (IEE), May 2004., 2004. [pdf] [ps] [bib]
Naldurg, Prasad, Koushik Sen, Prasanna Thati. "A Temporal Logic Based Approach to Intrusion Detection," In 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'04), volume 3235 of Lecture Notes in Computer Science, pages 359-376, Madrid, Spain, September 2004. Springer., 2004. [pdf] [ps] [bib]
Thati, Prasanna, Carolyn Talcott, Gul Agha. "Techniques for Executing and Reasoning About Specification Diagrams," International Conference on Algebraic Methodology and Software Technology (AMAST), 2004. [pdf] [ps] [bib]
Sen, Koushik, Grigore Rosu, Gul Agha. "Runtime Safety Analysis of Multithreaded Programs," 9th European Software Engineering Conference and 11th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE'03), pages 337{346, Helsinki, Finland, September, 2003. ACM., 2003. [pdf] [ps] [bib]
Sen, Koushik, Grigore Rosu. "Generating Optimal Monitors for Extended Regular Expressions," In Proceedings of the 3rd Workshop on Runtime Verification (RV'03), volume 89(2) of Electronic Notes in Theoretical Computer Science, Boulder, Colorado, USA, July 2003. Elsevier Science., 2003. [pdf] [ps] [bib]
Sen, Koushik. "Predictive Safety Analysis of Concurrent Programs," Master's thesis, Supervisor Gul Agha, University of Illinois at Urbana-Champaign, May, 2003. [pdf] [ps] [bib]
Ziaei, Reza, Gul Agha. "SynchNet: A Petri Net Based Coordination Language for Distributed Objects," Generative Programming and Component Engineering (GPCE), 2003. [pdf] [ps] [bib]
Wendling, William. "THAL++: A Concurrent Language For The THAL Runtime System," , 2003. [pdf] [ps] [bib]
D'Amorim, Marcelo Bezerra, Clovis Nogueira, Gustavo Santos, Adeline Souza, Paulo Borba. "Integrating Code Generation and Refactoring. ," In Workshop on Generative Programming, ECOOP'02, Malaga, Spain, June 2002. Springer Verlag. , 2002. [pdf] [bib]
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]
Jamali, Nadeem, Prasanna Thati, Gul Agha. "An Actor-based architecture for customizing and controlling agent ensembles," IEEE Intelligent Systems, vol. 14, no. 2, April, 1999. [pdf] [ps] [bib]
Venkatasubramanian, Nalini, Gul Agha, Carolyn Talcott. "Scalable Distributed Garbage Collection for Systems of Active Objects," in Y. Bekkers and J. Cohen (editors), International Workshop on Memory Management, ACM SIGPLAN and INRIA, St. Malo, France, Lecture Notes in Computer Science, vol. 637, pp 134-148, Springer-Verlag, September, 1992. [pdf] [ps] [bib]
Venkatasubramanian, Nalini. "Hierarchical Garbage Collection in Scalable Distributed Systems," University of Illinois at Urbana-Champaign, 1992. [pdf] [ps] [bib]