Gul Agha - RankMe

191 papers A* 6A 13B 13C 11Misc 4Journal 44Unranked 92

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A finite state automaton for quantum computing. Quantum Inf. Process. YoungMin Kwon, Gul Agha
2026	—	`conf`	Hamiltonian Formulation of a Finite-State Automaton. Concurrent Programming, Open Systems and Formal Methods YoungMin Kwon, Gul Agha
2025	A	`conf`	CRAVE: Analyzing Cross-Resource Interaction to Improve Energy Efficiency in Systems-on-Chip. EuroSys Dipayan Mukherjee, Sam Hachem, Jeremy Bao, Curtis Madsen, Tian Ma, Saugata Ghose, Gul Agha
2025	J	`jnl`	CRGC: Fault-Recovering Actor Garbage Collection in Pekko. Proc. ACM Program. Lang. Dan Plyukhin, Gul Agha, Fabrizio Montesi
2024	J	`jnl`	eScope: A Fine-Grained Power Prediction Mechanism for Mobile Applications. CoRR Dipayan Mukherjee, Atul Sandur, Kirill Mechitov, Pratik Lahiri, Gul Agha
2023	—	`conf`	A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems. QEST YoungMin Kwon, Eunhee Kim, Gul Agha
2023	Misc	`conf`	Bounded Quantum Regular Language Generator. QCE YoungMin Kwon, Gul Agha
2023	J	`jnl`	Eventual consensus in Synod: verification using a failure-aware actor model. Innov. Syst. Softw. Eng. Saswata Paul, Gul Agha, Stacy Patterson, Carlos A. Varela
2022	J	`jnl`	A Scalable Algorithm for Decentralized Actor Termination Detection. Log. Methods Comput. Sci. Dan Plyukhin, Gul Agha
2022	A*	`conf`	Jarvis: Large-scale Server Monitoring with Adaptive Near-data Processing. ICDE Atul Sandur, Chanho Park, Stavros Volos, Gul Agha, Myeongjae Jeon
2022	J	`jnl`	Jarvis: Large-scale Server Monitoring with Adaptive Near-data Processing. CoRR Atul Sandur, Chanho Park, Stavros Volos, Gul Agha, Myeongjae Jeon
2022	Misc	`conf`	Performance, Energy and Parallelism: Using Near Data Processing in Utility and Cloud Computing. UCC Gul Agha, Dipayan Mukherjee, Atul Sandur
2022	—	`conf`	Streaming Analytics with Adaptive Near-data Processing. WWW (Companion Volume) Atul Sandur, Chanho Park, Stavros Volos, Gul Agha, Myeongjae Jeon
2021	J	`jnl`	A Scalable Algorithm for Decentralized Actor Termination Detection. CoRR Dan Plyukhin, Gul Agha
2020	B	`conf`	Scalable Termination Detection for Distributed Actor Systems. CONCUR Dan Plyukhin, Gul Agha
2020	J	`jnl`	Scalable Termination Detection for Distributed Actor Systems. CoRR Dan Plyukhin, Gul Agha
2019	J	`jnl`	Programming Languages for Distributed Systems (NII Shonan Meeting 149). NII Shonan Meet. Rep. Philipp Haller, Guido Salvaneschi, Takuo Watanabe, Gul Agha
2019	—	`conf`	Types for Progress in Actor Programs. Models, Languages, and Tools for Concurrent and Distributed Programming Minas Charalambides, Karl Palmskog, Gul Agha
2018	J	`jnl`	A Survey of Statistical Model Checking. ACM Trans. Model. Comput. Simul. Gul Agha, Karl Palmskog
2018	—	`conf`	Concurrent garbage collection in the actor model. AGERE!@SPLASH Dan Plyukhin, Gul Agha
2018	J	`jnl`	Costless: Optimizing Cost of Serverless Computing through Function Fusion and Placement. CoRR Tarek Elgamal, Atul Sandur, Klara Nahrstedt, Gul Agha
2018	—	`conf`	DROPLET: Distributed Operator Placement for IoT Applications Spanning Edge and Cloud Resources. IEEE CLOUD Tarek Elgamal, Atul Sandur, Phuong Nguyen, Klara Nahrstedt, Gul Agha
2018	J	`jnl`	Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking. Int. J. Softw. Tools Technol. Transf. Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov, Gul Agha
2018	A	`conf`	Targeted Test Generation for Actor Systems. ECOOP Sihan Li, Farah Hariri, Gul Agha
2018	—	`conf`	Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces. Principles of Modeling Gul Agha, Karl Palmskog
2017	J	`jnl`	A compositional approach for modeling and timing analysis of wireless sensor and actuator networks. SIGBED Rev. Marjan Sirjani, Ehsan Khamespanah, Kirill Mechitov, Gul Agha
2017	C	`conf`	Actor-Oriented Programming for the Internet of Things. SEKE Gul Agha
2016	B	`conf`	Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems - (Extended Abstract). SEFM Gul Agha
2016	—	`ed.`	Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings QEST Gul Agha, Benny Van Houdt
2016	J	`jnl`	Victim Localization and Assessment System for Emergency Responders. J. Comput. Civ. Eng. Hyungchul Yoon, Reza Shiftehfar, Soojin Cho, Billie F. Spencer, Mark E. Nelson, Gul Agha
2015	J	`jnl`	A Novel Technique for Human Traffic based Radio Map Updating in Wi-Fi Indoor Positioning Systems. KSII Trans. Internet Inf. Syst. Yun Mo, Zhongzhao Zhang, Yang Lu, Gul Agha
2015	—	`conf`	Introduction to the Software Technology Track. HICSS Rick Kazman, Gul Agha
2014	C	`conf`	Actors Programming for the Mobile Cloud. ISPDC Gul Agha
2014	—	`conf`	Introduction to Software Technology Track. HICSS Rick Kazman, Gul Agha
2013	—	`conf`	Automated inference of atomic sets for safe concurrent execution. PASTE Peter Dinges, Minas Charalambides, Gul Agha
2013	—	`conf`	Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems. CAI Gul Agha
2013	—	`conf`	Introduction to Software Technology Track. HICSS Rick Kazman, Gul Agha
2013	J	`jnl`	Performance evaluation of sensor networks by statistical modeling and euclidean model checking. ACM Trans. Sens. Networks YoungMin Kwon, Gul Agha
2013	J	`jnl`	Preface to the special issue on Coordination Models and Languages (Coordination 2010). Sci. Comput. Program. Dave Clarke, Gul Agha
2013	—	`conf`	Realistic case studies of wireless structural control. ICCPS Bo Li, Zhuoxiong Sun, Kirill Mechitov, Gregory Hackmann, Chenyang Lu, Shirley Dyke, Gul Agha, Billie F. Spencer
2012	—	`conf`	AGERE!: programming based on actors, agents, and decentralized control. SPLASH Alessandro Ricci, Assaf Marron, Rafael H. Bordini, Gul Agha
2012	—	`conf`	An Architecture for Dynamic Service-Oriented Computing in Networked Embedded Systems. Software Service and Application Engineering Kirill Mechitov, Gul Agha
2012	—	`conf`	Building portable middleware services for heterogeneous cyber-physical systems. SESENA Kirill Mechitov, Gul Agha
2012	—	`conf`	Parameterized Concurrent Multi-Party Session Types FOCLASA Minas Charalambides, Peter Dinges, Gul Agha
2012	C	`conf`	Scoped Synchronization Constraints for Large Scale Actor Systems. COORDINATION Peter Dinges, Gul Agha
2012	B	`conf`	The time-keeping anomaly of energy-saving sensors: Manifestation, solution, and a structural monitoring case study. SECON Paria Moinzadeh, Kirill Mechitov, Reza Shiftehfar, Tarek F. Abdelzaher, Gul Agha, Billie F. Spencer
2012	—	`conf`	TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. FMOODS/FORTE Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha
2011	—	`ch.`	Actors. Encyclopedia of Parallel Computing Rajesh K. Karmani, Gul Agha
2011	—	`conf`	Agere! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control. SPLASH Workshops Alessandro Ricci, Gul Agha, Rafael H. Bordini
2011	J	`jnl`	Energy-performance trade-off analysis of parallel algorithms for shared memory architectures. Sustain. Comput. Informatics Syst. Vijay Anand Korthikanti, Gul Agha
2011	—	`ed.`	Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday Formal Modeling: Actors, Open Systems, Biological Systems Gul Agha, Olivier Danvy, José Meseguer
2011	—	`conf`	Model Checking MDPs with a Unique Compact Invariant Set of Distributions. QEST Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon
2011	B	`conf`	On the Energy Complexity of Parallel Algorithms. ICPP Vijay Anand Korthikanti, Gul Agha, Mark R. Greenstreet
2010	—	`conf`	Avoiding energy wastage in parallel applications. Green Computing Conference Vijay Anand Korthikanti, Gul Agha
2010	—	`conf`	Basset: a tool for systematic testing of actor programs. SIGSOFT FSE Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha
2010	B	`conf`	Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. FASE Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha
2010	—	`conf`	Mutation Operators for Actor Systems. ICST Workshops Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha
2010	—	`conf`	Reasoning about MDPs as Transformers of Probability Distributions. QEST Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon
2010	J	`jnl`	Resilient localization for sensor networks in outdoor environments. ACM Trans. Sens. Networks YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, Wooyoung Kim, Gul Agha
2010	B	`conf`	Towards optimizing energy costs of algorithms for shared memory architectures. SPAA Vijay Anand Korthikanti, Gul Agha
2009	—	`conf`	Actor frameworks for the JVM platform: a comparative analysis. PPPJ Rajesh K. Karmani, Amin Shali, Gul Agha
2009	C	`conf`	An agent-based framework for inhabitants' untraceability in ubiquitous environments. MoMM Sherin M. Moussa, Mohamed Hashem, Gul Agha
2009	B	`conf`	Analysis of Parallel Algorithms for Energy Conservation in Scalable Multicore Architectures. ICPP Vijay Anand Korthikanti, Gul Agha
2008	J	`jnl`	Computing in pervasive cyberspace. Commun. ACM Gul Agha
2008	—	`conf`	LTLC: Linear Temporal Logic for Control. HSCC YoungMin Kwon, Gul Agha
2008	J	`jnl`	Market-based coordination strategies for physical multi-agent systems. SIGBED Rev. MyungJoo Ham, Gul Agha
2008	—	`conf`	Passive Localization: Large Size Sensor Network Localization Based on Environmental Events. IPSN YoungMin Kwon, Gul Agha
2007	A	`conf`	A Markov Reward Model for Software Reliability. IPDPS YoungMin Kwon, Gul Agha
2007	J	`jnl`	Architecture design principles to support adaptive service orchestration in WSN applications. SIGBED Rev. Kirill Mechitov, Reza Razavi, Gul Agha
2007	—	`conf`	On Scaling Multi-Agent Task Reallocation Using Market-Based Approach. SASO Rajesh K. Karmani, Timo Latvala, Gul Agha
2007	—	`conf`	Software Technology Track Introduction. HICSS Rick Kazman, Gul Agha
2007	Misc	`conf`	Supporting reconfigurable object distribution for customized web applications. SAC Po-Hao Chang, Gul Agha
2007	C	`conf`	Towards Context-Aware Web Applications. DAIS Po-Hao Chang, Gul Agha
2006	—	`conf`	A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs. Haifa Verification Conference Koushik Sen, Gul Agha
2006	A	`conf`	ActorNet: an actor platform for wireless sensor networks. AAMAS YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, Gul Agha
2006	J	`jnl`	Agent framework services to reduce agent communication overhead in large-scale agent-based simulations. Simul. Model. Pract. Theory Myeong-Wuk Jang, Gul Agha
2006	—	`conf`	Ambiance: adaptive object model-based platform for macroprogramming sensor networks. OOPSLA Companion Reza Razavi, Kirill Mechitov, Sameer Sundresh, Gul Agha, Jean-François Perrot
2006	B	`conf`	Automated Systematic Testing of Open Distributed Programs. FASE Koushik Sen, Gul Agha
2006	A*	`conf`	CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. CAV Koushik Sen, Gul Agha
2006	A	`conf`	Decentralized runtime analysis of multithreaded applications. IPDPS Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
2006	A	`conf`	Model-Checking Markov Chains in the Presence of Uncertainties. TACAS Koushik Sen, Mahesh Viswanathan, Gul Agha
2006	J	`jnl`	Online efficient predictive safety analysis of multithreaded programs. Int. J. Softw. Tools Technol. Transf. Koushik Sen, Grigore Rosu, Gul Agha
2006	—	`conf`	Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring. FMCO Bill Donkervoet, Gul Agha
2006	—	`conf`	Scalable Modeling and Performance Evaluation of Wireless Sensor Networks. IEEE Real Time Technology and Applications Symposium YoungMin Kwon, Gul Agha
2006	—	`conf`	State Aware Data Dissemination over Structured Overlays. Peer-to-Peer Computing Liping Chen, Gul Agha
2006	—	`conf`	Supporting Reconfigurable Object Distribution for Customizable Web Applications. OTM Workshops (1) Po-Hao Chang, Gul Agha
2006	—	`conf`	Track Introduction. HICSS Gul Agha
2005	—	`conf`	ARA: A Robust Audit to Prevent Free-Riding in P2P Networks. Peer-to-Peer Computing MyungJoo Ham, Gul Agha
2005	—	`conf`	Actor Model and Knowledge Management Systems: Social Interaction as a Framework for Knowledge Integration. Wissensmanagement (LNCS Volume) Irma Becerra-Fernandez, Te Wei Wang, Gul Agha, Thant Sin
2005	—	`conf`	CUTE: a concolic unit testing engine for C. ESEC/SIGSOFT FSE Koushik Sen, Darko Marinov, Gul Agha
2005	—	`conf`	Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. FMOODS Koushik Sen, Grigore Rosu, Gul Agha
2005	A*	`conf`	On Statistical Model Checking of Stochastic Systems. CAV Koushik Sen, Mahesh Viswanathan, Gul Agha
2005	—	`conf`	Software Technology Track. HICSS Gul Agha
2005	A	`conf`	Using Language Inference to Verify Omega-Regular Properties. TACAS Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
2004	J	`jnl`	A formal model for reasoning about adaptive QoS-enabled middleware. ACM Trans. Softw. Eng. Methodol. Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha
2004	—	`conf`	ATSpace: A Middle Agent to Support Application Oriented Matchmaking and Brokering Services. IAT Myeong-Wuk Jang, Amr Abdel Momen, Gul Agha
2004	—	`conf`	Actively Learning to Verify Safety for FIFO Automata. FSTTCS Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
2004	—	`conf`	Adaptive Agent Allocation for Massively Multi-agent Applications. MMAS Myeong-Wuk Jang, Gul Agha
2004	—	`conf`	An Adaptive Programming Framework for Web Applications. SAINT Po-Hao Chang, Wooyoung Kim, Gul Agha
2004	—	`conf`	An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language. Essays in Memory of Ole-Johan Dahl Gul Agha, Prasanna Thati
2004	—	`conf`	Characterizing Configuration Spaces of Simple Threshold Cellular Automata. ACRI Predrag T. Tosic, Gul Agha
2004	A	`conf`	Concurrency vs. Sequential Interleavings in 1-D Threshold Cellular Automata. IPDPS Predrag T. Tosic, Gul Agha
2004	A	`conf`	Decentralized Resource Control for Multi-Agent Systems. AAMAS Nadeem Jamali, Indratmo, Xinghui Zhao, Gul Agha
2004	—	`conf`	DecisionQoS: An Adaptive, Self-Evolving QoS Arbitration Module for Storage Systems. POLICY Sandeep Uttamchandani, Guillermo A. Alvarez, Gul Agha
2004	—	`conf`	Efficient Agent Communication in Multi-agent Systems. SELMAS Myeong-Wuk Jang, Amr Ahmed Momen, Gul Agha
2004	A*	`conf`	Efficient Decentralized Monitoring of Safety in Distributed Systems. ICSE Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
2004	—	`conf`	Learning Continuous Time Markov Chains from Sample Executions. QEST Koushik Sen, Mahesh Viswanathan, Gul Agha
2004	C	`conf`	Learning to Verify Safety Properties. ICFEM Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
2004	C	`conf`	Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains. ICFEM YoungMin Kwon, Gul Agha
2004	A	`conf`	Online Efficient Predictive Safety Analysis of Multithreaded Programs. TACAS Koushik Sen, Grigore Rosu, Gul Agha
2004	—	`conf`	SENS: A Sensor, Environment and Network Simulator. Annual Simulation Symposium Sameer Sundresh, Wooyoung Kim, Gul Agha
2004	—	`conf`	Software Technology Track Introduction. HICSS Gul Agha
2004	A*	`conf`	Statistical Model Checking of Black-Box Probabilistic Systems. CAV Koushik Sen, Mahesh Viswanathan, Gul Agha
2004	—	`conf`	Techniques for Executing and Reasoning about Specification Diagrams. AMAST Prasanna Thati, Carolyn L. Talcott, Gul Agha
2003	—	`conf`	A Rewriting Based Model for Probabilistic Distributed Object Systems. FMOODS Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha
2003	—	`conf`	Automated Verification of the Dependability of Object-Oriented Real-Time Systems. WORDS Fall Hui Ding, Can Zheng, Gul Agha, Lui Sha
2003	Misc	`conf`	Cooperative tracking with binary-detection sensor networks. SenSys Kirill Mechitov, Sameer Sundresh, YoungMin Kwon, Gul Agha
2003	—	`conf`	Generating Optimal Linear Temporal Logic Monitors by Coinduction. ASIAN Koushik Sen, Grigore Rosu, Gul Agha
2003	—	`conf`	Runtime safety analysis of multithreaded programs. ESEC / SIGSOFT FSE Koushik Sen, Grigore Rosu, Gul Agha
2003	C	`conf`	Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model. SEKE Hui Ding, Can Zheng, Lui Sha, Gul Agha
2003	B	`conf`	SynchNet: A Petri Net Based Coordination Language for Distributed Objects. GPCE Reza Ziaei, Gul Agha
2002	—	`conf`	A Theory of May Testing for Actors. FMOODS Prasannaa Thati, Reza Ziaei, Gul Agha
2002	—	`conf`	A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching. AMAST Prasannaa Thati, Reza Ziaei, Gul Agha
2002	J	`jnl`	Case Studies in Security and Resource Management for Mobile Object Systems. Auton. Agents Multi Agent Syst. Dejan S. Milojicic, Gul Agha, Philippe Bernadat, Deepika Chauhan, Shai Guday, Nadeem Jamali, Dan Lambright, Franco Travostino
2002	J	`jnl`	Introduction. Commun. ACM Gul Agha
2002	—	`conf`	Using passive object garbage collection algorithms for garbage collection of active objects. MSP/ISMM Abhay Vardhan, Gul Agha
2001	—	`conf`	A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware. FME Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha
2001	—	`ch.`	Agent Naming and Coordination: Actor Based Models and Infrastructures. Coordination of Internet Agents: Models, Technologies, and Applications Gul Agha, Nadeem Jamali, Carlos A. Varela
2001	—	`ed.`	Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. Gul Agha, Fiorella de Cindio, Grzegorz Rozenberg
2001	—	`conf`	Crawlets: Agents for High Performance Web Search Engines. Mobile Agents Prasannaa Thati, Po-Hao Chang, Gul Agha
2001	J	`jnl`	Customizable middleware for modular distributed software. Commun. ACM Mark Astley, Daniel C. Sturman, Gul Agha
2001	J	`jnl`	Programming Dynamically Reconfigurable Open systems with SALSA. ACM SIGPLAN Notices Carlos A. Varela, Gul Agha
2001	B	`conf`	The World Wide Computer: Prospects for Parallel and Distributed Computing on the Web. CCGRID Gul Agha
2000	—	`conf`	Object Oriented Architectures, Tools, and Applications. Euro-Par Gul Agha
1999	C	`conf`	A Hierarchical Model for Coordination of Concurrent Activities. COORDINATION Carlos A. Varela, Gul Agha
1999	J	`jnl`	Towards Reusable Real-Time Objects. Ann. Softw. Eng. Brian Nielsen, Gul Agha
1998	—	`conf`	Case Studies in Security and Resource Management for Mobile Objects. ECOOP Workshops Dejan S. Milojicic, Gul Agha, Philippe Bernadat, Deepika Chauhan, Shai Guday, Nadeem Jamali, Dan Lambright
1998	—	`conf`	Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management. SIGSOFT FSE Mark Astley, Gul Agha
1998	J	`jnl`	Editorial - High Availability in CORBA. Theory Pract. Object Syst. Rachid Guerraoui, Gul Agha
1998	—	`conf`	Modular Construction and Composition of Distributed Software Architectures. PDSE Mark Astley, Gul Agha
1998	—	`conf`	Modular Heterogeneous System Development: A Critical Analysis of Java. Heterogeneous Computing Workshop Gul Agha, Mark Astley, Jamil A. Sheikh, Carlos A. Varela
1998	C	`conf`	Specification of Real-Time Interaction Constraints. ISORC Brian Nielsen, Shangping Ren, Gul Agha
1998	J	`jnl`	What after Java? From Objects to Actors. Comput. Networks Carlos A. Varela, Gul Agha
1997	J	`jnl`	A Foundation for Actor Computation. J. Funct. Program. Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
1997	—	`conf`	Dependable distributed object systems. OOPSLA Addendum Rachid Guerraoui, Jean-Charles Fabre, Gul Agha
1997	A*	`conf`	Workshop on Software Engineering for Parallel and Distributed Systems. ICSE Gul Agha, Stefano Russo
1996	—	`conf`	A Modular Approach for Programming Embedded Systems. European Educational Forum: School on Embedded Systems Shangping Ren, Gul Agha
1996	J	`jnl`	A Modular Approach to Programming Distributed Real-Time Systems. J. Parallel Distributed Comput. Shangping Ren, Gul Agha, Masahiko Saito
1996	J	`jnl`	A Visualization Model for Concurrent Systems. Inf. Sci. Mark Astley, Gul Agha
1996	J	`jnl`	A modular approach to real-time synchronization. OOPS Messenger Masahiko Saito, Gul Agha
1996	J	`jnl`	Linguistic Paradigms for Programming Complex Distributed Systems. ACM Comput. Surv. Gul Agha
1996	—	`conf`	Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition. Application and Theory of Petri Nets Gul Agha
1996	—	`conf`	Parallel Implementations of Irregular Problems Using High-Level Actor Language. IPPS Rajendra Panwar, Wooyoung Kim, Gul Agha
1995	A	`conf`	Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages. SC Wooyoung Kim, Gul Agha
1995	—	`conf`	RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems. Workshop on Languages, Compilers, & Tools for Real-Time Systems Shangping Ren, Gul Agha
1994	J	`jnl`	A Methodology for Programming Scalable Architectures. J. Parallel Distributed Comput. Rajendra Panwar, Gul Agha
1994	B	`conf`	A Protocol Description Language for Customizing Semantics. SRDS Daniel C. Sturman, Gul Agha
1994	—	`conf`	Abstracting Interactions Based on Message Sets. ECOOP Workshop Svend Frølund, Gul Agha
1994	J	`jnl`	Open Heterogeneous Computing in Actor Space. J. Parallel Distributed Comput. Christian J. Callsen, Gul Agha
1993	A	`conf`	A Language Framework for Multi-Object Coordination. ECOOP Svend Frølund, Gul Agha
1993	J	`jnl`	Abstraction and modularity mechanisms for concurrent computing. IEEE Parallel Distributed Technol. Syst. Appl. Gul Agha, Svend Frølund, Wooyoung Kim, Rajendra Panwar, Anna Patterson, Daniel C. Sturman
1993	B	`conf`	ActorSpaces: An Open Distributed Programming Paradigm. PPoPP Gul Agha, Christian J. Callsen
1992	A	`conf`	A Reflective Model of Inheritance. ECOOP Suresh Jagannathan, Gul Agha
1992	—	`conf`	Comilation of a Highly Parallel Actor-Based Language. LCPC Won Kim, Gul Agha
1992	C	`conf`	Formal methods for Actor systems: A progress report. FORTE Gul Agha
1992	—	`conf`	HAL: A High-Level Actor Language and Its Distributed Implementation. ICPP (2) Christopher R. Houck, Gul Agha
1992	—	`conf`	Scalable Distributed Garbage Collection for Systems of Active Objects. IWMM Nalini Venkatasubramanian, Gul Agha, Carolyn L. Talcott
1992	B	`conf`	Towards a Theory of Actor Computation. CONCUR Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
1992	J	`jnl`	Visualizing actor programs using predicate transition nets. J. Vis. Lang. Comput. Shakuntala Miriyala, Gul Agha, Yamina Sami
1991	—	`conf`	Distributed Execution of Actor Programs. LCPC Gul Agha, Christopher R. Houck, Rajendra Panwar
1991	J	`jnl`	Efficient algorithms for parallel sorting on mesh multicomputers. Int. J. Parallel Program. Vineet Singh, Vipin Kumar, Gul Agha, Chris Tomlinson
1991	—	`ed.`	Proceedings of the Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990, Ottawa, Canada, October 21-25, 1990 OOPSLA/ECOOP Workshop on Object-based Concurrent Programming Paul R. Wilson, Gul Agha, Carl Hewitt, Peter Wegner, Akinori Yonezawa
1991	—	`conf`	Scalability of Parallel Sorting on Mesh Multicomputers. IPPS Vineet Singh, Vipin Kumar, Gul Agha, Chris Tomlinson
1990	J	`jnl`	Concurrent Object-Oriented Programming. Commun. ACM Gul Agha
1990	—	`conf`	Foundations of Concurrent Object-Oriented Programming (Panel). OOPSLA/ECOOP Gul Agha, Samson Abramsky, Carl Hewitt, Robin Milner, Peter Wegner, Akinori Yonezawa
1990	—	`conf`	Foundations of object-based concurrent programming (panel session). OOPSLA/ECOOP Addendum Gul Agha, Akinori Yonezawa, Peter Wegner, Samson Abramsky
1990	—	`conf`	OOPSLA panel on object-based concurrent programming. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming Gul Agha, Akinori Yonezawa, Peter Wegner, Samson Abramsky
1990	—	`conf`	The Structure and Semantics of Actor Languages. REX Workshop Gul Agha
1989	—	`conf`	Supporting Multiparadigm Programming on Actor Architectures. PARLE (2) Gul Agha
1988	—	`conf`	Foundational issues in concurrent computing. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming Gul Agha
1988	—	`conf`	Guarded Horn Clause Languages: Are They Deductive and Logical? FGCS Carl Hewitt, Gul Agha
1988	—	`ed.`	Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988 OOPSLA/ECOOP Workshop on Object-based Concurrent Programming Gul Agha, Peter Wegner, Akinori Yonezawa
1988	—	`conf`	Rosette: An object-oriented concurrent systems architecture. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming Chris Tomlinson, Won Kim, Mark Scheevel, Vineet Singh, Becky Will, Gul Agha
1988	—	`conf`	The Relation between Problems in Large-Scale Concurrent Systems and Distributed Databases. DPDS Gul Agha
1987	—	`ch.`	Actors: A Conceptual Foundation for Concurrent Object-Oriented Programming. Research Directions in Object-Oriented Programming Gul Agha, Carl Hewitt
1986	—	`conf`	An overview of actor languages. OOPWORK Gul Agha
1986	—	`conf`	Fair concurrency in actors (abstract only): eager evaluation producers strong convergence. OOPWORK Gul Agha
1985	J	`jnl`	A Message-Passing Paradigm for Object Management. IEEE Database Eng. Bull. Gul Agha
1985	—	`conf`	Concurrent Programming Using Actors: Exploiting large-Scale Parallelism. FSTTCS Gul Agha, Carl Hewitt
1984	—	`conf`	Linguistic Support of Receptionists for Shared Resources. Seminar on Concurrency Carl Hewitt, Tom Reinhardt, Gul Agha, Giuseppe Attardi
1984	—	`conf`	Semantic Considerations in the Actor Paradigm of Concurrent Computation. Seminar on Concurrency Gul Agha