| 2025 | EuroSys | CRAVE: Analyzing Cross-Resource Interaction to Improve Energy Efficiency in Systems-on-Chip. | Dipayan Mukherjee, Sam Hachem, Jeremy Bao, Curtis Madsen, Tian Ma, Saugata Ghose, Gul Agha |
| 2023 | QCE | Bounded Quantum Regular Language Generator. | YoungMin Kwon, Gul Agha |
| 2022 | ICDE | Jarvis: Large-scale Server Monitoring with Adaptive Near-data Processing. | Atul Sandur, Chanho Park, Stavros Volos, Gul Agha, Myeongjae Jeon |
| 2022 | WWW | Streaming Analytics with Adaptive Near-data Processing. | Atul Sandur, Chanho Park, Stavros Volos, Gul Agha, Myeongjae Jeon |
| 2022 | UCC | Performance, Energy and Parallelism: Using Near Data Processing in Utility and Cloud Computing. | Gul Agha, Dipayan Mukherjee, Atul Sandur |
| 2020 | CONCUR | Scalable Termination Detection for Distributed Actor Systems. | Dan Plyukhin, Gul Agha |
| 2018 | ECOOP | Targeted Test Generation for Actor Systems. | Sihan Li, Farah Hariri, Gul Agha |
| 2017 | SEKE | Actor-Oriented Programming for the Internet of Things. | Gul Agha |
| 2016 | SEFM | Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems - (Extended Abstract). | Gul Agha |
| 2014 | ISPDC | Actors Programming for the Mobile Cloud. | Gul Agha |
| 2012 | Coordination | Scoped Synchronization Constraints for Large Scale Actor Systems. | Peter Dinges, Gul Agha |
| 2012 | FORTE | TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. | Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha |
| 2012 | OOPSLA | AGERE!: programming based on actors, agents, and decentralized control. | Alessandro Ricci, Assaf Marron, Rafael H. Bordini, Gul Agha |
| 2012 | SECON | The time-keeping anomaly of energy-saving sensors: Manifestation, solution, and a structural monitoring case study. | Paria Moinzadeh, Kirill Mechitov, Reza Shiftehfar, Tarek F. Abdelzaher, Gul Agha, Billie F. Spencer |
| 2011 | ICPP | On the Energy Complexity of Parallel Algorithms. | Vijay Anand Korthikanti, Gul Agha, Mark R. Greenstreet |
| 2011 | OOPSLA | Agere! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control. | Alessandro Ricci, Gul Agha, Rafael H. Bordini |
| 2010 | FASE | Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. | Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha |
| 2010 | ICST | Mutation Operators for Actor Systems. | Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha |
| 2010 | SPAA | Towards optimizing energy costs of algorithms for shared memory architectures. | Vijay Anand Korthikanti, Gul Agha |
| 2009 | ICPP | Analysis of Parallel Algorithms for Energy Conservation in Scalable Multicore Architectures. | Vijay Anand Korthikanti, Gul Agha |
| 2009 | MOMM | An agent-based framework for inhabitants' untraceability in ubiquitous environments. | Sherin M. Moussa, Mohamed Hashem, Gul Agha |
| 2007 | DAIS | Towards Context-Aware Web Applications. | Po-Hao Chang, Gul Agha |
| 2007 | SAC | Supporting reconfigurable object distribution for customized web applications. | Po-Hao Chang, Gul Agha |
| 2006 | CAV | CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. | Koushik Sen, Gul Agha |
| 2006 | FASE | Automated Systematic Testing of Open Distributed Programs. | Koushik Sen, Gul Agha |
| 2006 | OOPSLA | Ambiance: adaptive object model-based platform for macroprogramming sensor networks. | Reza Razavi, Kirill Mechitov, Sameer Sundresh, Gul Agha, Jean-Franois Perrot |
| 2006 | RTAS | Scalable Modeling and Performance Evaluation of Wireless Sensor Networks. | YoungMin Kwon, Gul Agha |
| 2006 | TACAS | Model-Checking Markov Chains in the Presence of Uncertainties. | Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2005 | CAV | On Statistical Model Checking of Stochastic Systems. | Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2005 | TACAS | Using Language Inference to Verify Omega-Regular Properties. | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2004 | CAV | Statistical Model Checking of Black-Box Probabilistic Systems. | Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2004 | ICFEM | Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains. | YoungMin Kwon, Gul Agha |
| 2004 | ICFEM | Learning to Verify Safety Properties. | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2004 | ICSE | Efficient Decentralized Monitoring of Safety in Distributed Systems. | Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu |
| 2004 | TACAS | Online Efficient Predictive Safety Analysis of Multithreaded Programs. | Koushik Sen, Grigore Rosu, Gul Agha |
| 2003 | GPCE | SynchNet: A Petri Net Based Coordination Language for Distributed Objects. | Reza Ziaei, Gul Agha |
| 2003 | SEKE | Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model. | Hui Ding, Can Zheng, Lui Sha, Gul Agha |
| 2003 | SENSYS | Cooperative tracking with binary-detection sensor networks. | Kirill Mechitov, Sameer Sundresh, YoungMin Kwon, Gul Agha |
| 2001 | CCGRID | The World Wide Computer: Prospects for Parallel and Distributed Computing on the Web. | Gul Agha |
| 2001 | FM | A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware. | Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha |
| 2000 | EuroPar | Object Oriented Architectures, Tools, and Applications. | Gul Agha |
| 1999 | Coordination | A Hierarchical Model for Coordination of Concurrent Activities. | Carlos A. Varela, Gul Agha |
| 1998 | HCW | Modular Heterogeneous System Development: A Critical Analysis of Java. | Gul Agha, Mark Astley, Jamil A. Sheikh, Carlos A. Varela |
| 1998 | ISORC | Specification of Real-Time Interaction Constraints. | Brian Nielsen, Shangping Ren, Gul Agha |
| 1997 | ICSE | Workshop on Software Engineering for Parallel and Distributed Systems. | Gul Agha, Stefano Russo |
| 1997 | OOPSLA | Dependable distributed object systems. | Rachid Guerraoui, Jean-Charles Fabre, Gul Agha |
| 1995 | SC | Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages. | WooYoung Kim, Gul Agha |
| 1994 | SRDS | A Protocol Description Language for Customizing Semantics. | Daniel C. Sturman, Gul Agha |
| 1993 | ECOOP | A Language Framework for Multi-Object Coordination. | Svend Frlund, Gul Agha |
| 1993 | PPoPP | ActorSpaces: An Open Distributed Programming Paradigm. | Gul Agha, Christian J. Callsen |
| 1992 | CONCUR | Towards a Theory of Actor Computation. | Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott |
| 1992 | ECOOP | A Reflective Model of Inheritance. | Suresh Jagannathan, Gul Agha |
| 1992 | FORTE | Formal methods for Actor systems: A progress report. | Gul Agha |
| 1992 | ICPP | HAL: A High-Level Actor Language and Its Distributed Implementation. | Christopher R. Houck, Gul Agha |
| 1990 | ECOOP | Foundations of object-based concurrent programming (panel session). | Gul Agha, Akinori Yonezawa, Peter Wegner, Samson Abramsky |
| 1990 | OOPSLA | Foundations of Concurrent Object-Oriented Programming (Panel). | Gul Agha, Samson Abramsky, Carl Hewitt, Robin Milner, Peter Wegner, Akinori Yonezawa |
| 1984 | CONCUR | Semantic Considerations in the Actor Paradigm of Concurrent Computation. | Gul Agha |
| 1984 | CONCUR | Linguistic Support of Receptionists for Shared Resources. | Carl Hewitt, Tom Reinhardt, Gul Agha, Giuseppe Attardi |