Gul Agha

According to our database, Gul Agha authored at least 129 papers between 1984 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems.

YoungMin Kwon, Eunhee Kim, Gul Agha

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Bounded Quantum Regular Language Generator.

YoungMin Kwon, Gul Agha

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

2022

Streaming Analytics with Adaptive Near-data Processing.

Atul Sandur, Chanho Park, Stavros Volos, Gul Agha, Myeongjae Jeon

Proceedings of the Companion of The Web Conference 2022, Virtual Event / Lyon, France, April 25, 2022

Performance, Energy and Parallelism: Using Near Data Processing in Utility and Cloud Computing.

Gul Agha, Dipayan Mukherjee, Atul Sandur

Proceedings of the 15th IEEE/ACM International Conference on Utility and Cloud Computing, 2022

Jarvis: Large-scale Server Monitoring with Adaptive Near-data Processing.

Atul Sandur, Chanho Park, Stavros Volos, Gul Agha, Myeongjae Jeon

Proceedings of the 38th IEEE International Conference on Data Engineering, 2022

2020

Scalable Termination Detection for Distributed Actor Systems.

Dan Plyukhin, Gul Agha

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Types for Progress in Actor Programs.

Minas Charalambides, Karl Palmskog, Gul Agha

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018

Targeted Test Generation for Actor Systems.

Sihan Li, Farah Hariri, Gul Agha

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces.

Gul Agha, Karl Palmskog

Proceedings of the Principles of Modeling, 2018

Concurrent garbage collection in the actor model.

Dan Plyukhin, Gul Agha

Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, 2018

DROPLET: Distributed Operator Placement for IoT Applications Spanning Edge and Cloud Resources.

Tarek Elgamal, Atul Sandur, Phuong Nguyen, Klara Nahrstedt, Gul Agha

Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018

2017

Actor-Oriented Programming for the Internet of Things.

Gul Agha

Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

2016

Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems - (Extended Abstract).

Gul Agha

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

2014

Actors Programming for the Mobile Cloud.

Gul Agha

Proceedings of the IEEE 13th International Symposium on Parallel and Distributed Computing, 2014

2013

Automated inference of atomic sets for safe concurrent execution.

Peter Dinges, Minas Charalambides, Gul Agha

Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2013

Realistic case studies of wireless structural control.

Bo Li, Zhuoxiong Sun, Kirill Mechitov, Gregory Hackmann, Chenyang Lu, Shirley Dyke, Gul Agha, Billie F. Spencer

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Introduction to Software Technology Track.

Rick Kazman, Gul Agha

Proceedings of the 46th Hawaii International Conference on System Sciences, 2013

Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems.

Gul Agha

Proceedings of the Algebraic Informatics - 5th International Conference, 2013

2012

Building portable middleware services for heterogeneous cyber-physical systems.

Kirill Mechitov, Gul Agha

Proceedings of the Third International Workshop on Software Engineering for Sensor Network Applications, 2012

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

Proceedings of the 9th Annual IEEE Communications Society Conference on Sensor, 2012

AGERE!: programming based on actors, agents, and decentralized control.

Alessandro Ricci, Assaf Marron, Rafael H. Bordini, Gul Agha

Proceedings of the SPLASH'12, 2012

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

Proceedings of the Formal Techniques for Distributed Systems, 2012

Scoped Synchronization Constraints for Large Scale Actor Systems.

Peter Dinges, Gul Agha

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

An Architecture for Dynamic Service-Oriented Computing in Networked Embedded Systems.

Kirill Mechitov, Gul Agha

Proceedings of the Software Service and Application Engineering, 2012

2011

Model Checking MDPs with a Unique Compact Invariant Set of Distributions.

Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

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

Proceedings of the SPLASH'11 Workshops, 2011

On the Energy Complexity of Parallel Algorithms.

Vijay Anand Korthikanti, Gul Agha, Mark R. Greenstreet

Proceedings of the International Conference on Parallel Processing, 2011

2010

Towards optimizing energy costs of algorithms for shared memory architectures.

Vijay Anand Korthikanti, Gul Agha

Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010

Basset: a tool for systematic testing of actor programs.

Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Reasoning about MDPs as Transformers of Probability Distributions.

Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon

Proceedings of the QEST 2010, 2010

Mutation Operators for Actor Systems.

Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha

Proceedings of the Third International Conference on Software Testing, 2010

Avoiding energy wastage in parallel applications.

Vijay Anand Korthikanti, Gul Agha

Proceedings of the International Green Computing Conference 2010, 2010

Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques.

Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha

Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009

Actor frameworks for the JVM platform: a comparative analysis.

Rajesh K. Karmani, Amin Shali, Gul Agha

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

An agent-based framework for inhabitants' untraceability in ubiquitous environments.

Sherin M. Moussa, Mohamed Hashem, Gul Agha

Proceedings of the MoMM'2009, 2009

Analysis of Parallel Algorithms for Energy Conservation in Scalable Multicore Architectures.

Vijay Anand Korthikanti, Gul Agha

Proceedings of the ICPP 2009, 2009

2008

Passive Localization: Large Size Sensor Network Localization Based on Environmental Events.

YoungMin Kwon, Gul Agha

Proceedings of the 7th International Conference on Information Processing in Sensor Networks, 2008

LTLC: Linear Temporal Logic for Control.

YoungMin Kwon, Gul Agha

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2007

On Scaling Multi-Agent Task Reallocation Using Market-Based Approach.

Rajesh K. Karmani, Timo Latvala, Gul Agha

Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

Supporting reconfigurable object distribution for customized web applications.

Po-Hao Chang, Gul Agha

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

A Markov Reward Model for Software Reliability.

YoungMin Kwon, Gul Agha

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Software Technology Track Introduction.

Rick Kazman, Gul Agha

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

Towards Context-Aware Web Applications.

Po-Hao Chang, Gul Agha

Proceedings of the Distributed Applications and Interoperable Systems, 2007

2006

Model-Checking Markov Chains in the Presence of Uncertainties.

Koushik Sen, Mahesh Viswanathan, Gul Agha

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Scalable Modeling and Performance Evaluation of Wireless Sensor Networks.

YoungMin Kwon, Gul Agha

Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

State Aware Data Dissemination over Structured Overlays.

Liping Chen, Gul Agha

Proceedings of the Sixth IEEE International Conference on Peer-to-Peer Computing (P2P 2006), 2006

Supporting Reconfigurable Object Distribution for Customizable Web Applications.

Po-Hao Chang, Gul Agha

Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Ambiance: adaptive object model-based platform for macroprogramming sensor networks.

Reza Razavi, Kirill Mechitov, Sameer Sundresh, Gul Agha, Jean-François Perrot

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Decentralized runtime analysis of multithreaded applications.

Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs.

Koushik Sen, Gul Agha

Proceedings of the Hardware and Software, 2006

Track Introduction.

Gul Agha

Proceedings of the 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), 2006

Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring.

Bill Donkervoet, Gul Agha

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Automated Systematic Testing of Open Distributed Programs.

Koushik Sen, Gul Agha

Proceedings of the Fundamental Approaches to Software Engineering, 2006

CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools.

Koushik Sen, Gul Agha

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

ActorNet: an actor platform for wireless sensor networks.

YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, Gul Agha

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

Actor Model and Knowledge Management Systems: Social Interaction as a Framework for Knowledge Integration.

Irma Becerra-Fernandez, Te Wei Wang, Gul Agha, Thant Sin

Proceedings of the Professional Knowledge Management, Third Biennial Conference, 2005

Using Language Inference to Verify Omega-Regular Properties.

Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

CUTE: a concolic unit testing engine for C.

Koushik Sen, Darko Marinov, Gul Agha

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

ARA: A Robust Audit to Prevent Free-Riding in P2P Networks.

MyungJoo Ham, Gul Agha

Proceedings of the Fifth IEEE International Conference on Peer-to-Peer Computing (P2P 2005), 31 August, 2005

Software Technology Track.

Gul Agha

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions.

Koushik Sen, Grigore Rosu, Gul Agha

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

On Statistical Model Checking of Stochastic Systems.

Koushik Sen, Mahesh Viswanathan, Gul Agha

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Online Efficient Predictive Safety Analysis of Multithreaded Programs.

Koushik Sen, Grigore Rosu, Gul Agha

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Efficient Agent Communication in Multi-agent Systems.

Myeong-Wuk Jang, Amr Ahmed Momen, Gul Agha

Proceedings of the Software Engineering for Multi-Agent Systems III, 2004

An Adaptive Programming Framework for Web Applications.

Po-Hao Chang, WooYoung Kim, Gul Agha

Proceedings of the 2004 Symposium on Applications and the Internet (SAINT 2004), 2004

Learning Continuous Time Markov Chains from Sample Executions.

Koushik Sen, Mahesh Viswanathan, Gul Agha

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

DecisionQoS: An Adaptive, Self-Evolving QoS Arbitration Module for Storage Systems.

Sandeep Uttamchandani, Guillermo A. Alvarez, Gul Agha

Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004

Adaptive Agent Allocation for Massively Multi-agent Applications.

Myeong-Wuk Jang, Gul Agha

Proceedings of the Massively Multi-Agent Systems I, First International Workshop, 2004

Concurrency vs. Sequential Interleavings in 1-D Threshold Cellular Automata.

Predrag T. Tosic, Gul Agha

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Efficient Decentralized Monitoring of Safety in Distributed Systems.

Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Learning to Verify Safety Properties.

Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha

Proceedings of the Formal Methods and Software Engineering, 2004

Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains.

YoungMin Kwon, Gul Agha

Proceedings of the Formal Methods and Software Engineering, 2004

ATSpace: A Middle Agent to Support Application Oriented Matchmaking and Brokering Services.

Myeong-Wuk Jang, Amr Abdel Momen, Gul Agha

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

Software Technology Track Introduction.

Gul Agha

Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

Actively Learning to Verify Safety for FIFO Automata.

Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

Statistical Model Checking of Black-Box Probabilistic Systems.

Koushik Sen, Mahesh Viswanathan, Gul Agha

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language.

Gul Agha, Prasanna Thati

Proceedings of the From Object-Orientation to Formal Methods, 2004

Decentralized Resource Control for Multi-Agent Systems.

Nadeem Jamali, Indratmo, Xinghui Zhao, Gul Agha

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

SENS: A Sensor, Environment and Network Simulator.

Sameer Sundresh, WooYoung Kim, Gul Agha

Proceedings of the Proceedings 37th Annual Simulation Symposium (ANSS-37 2004), 2004

Techniques for Executing and Reasoning about Specification Diagrams.

Prasanna Thati, Carolyn L. Talcott, Gul Agha

Proceedings of the Algebraic Methodology and Software Technology, 2004

Characterizing Configuration Spaces of Simple Threshold Cellular Automata.

Predrag T. Tosic, Gul Agha

Proceedings of the Cellular Automata, 2004

2003

Automated Verification of the Dependability of Object-Oriented Real-Time Systems.

Hui Ding, Can Zheng, Gul Agha, Lui Sha

Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

Runtime safety analysis of multithreaded programs.

Koushik Sen, Grigore Rosu, Gul Agha

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Cooperative tracking with binary-detection sensor networks.

Kirill Mechitov, Sameer Sundresh, YoungMin Kwon, Gul Agha

Proceedings of the 1st International Conference on Embedded Networked Sensor Systems, 2003

Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model.

Hui Ding, Can Zheng, Lui Sha, Gul Agha

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

SynchNet: A Petri Net Based Coordination Language for Distributed Objects.

Reza Ziaei, Gul Agha

Proceedings of the Generative Programming and Component Engineering, 2003

A Rewriting Based Model for Probabilistic Distributed Object Systems.

Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Generating Optimal Linear Temporal Logic Monitors by Coinduction.

Koushik Sen, Grigore Rosu, Gul Agha

Proceedings of the Advances in Computing Science, 2003

2002

Using passive object garbage collection algorithms for garbage collection of active objects.

Abhay Vardhan, Gul Agha

Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002

A Theory of May Testing for Actors.

Prasannaa Thati, Reza Ziaei, Gul Agha

Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching.

Prasannaa Thati, Reza Ziaei, Gul Agha

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Crawlets: Agents for High Performance Web Search Engines.

Prasannaa Thati, Po-Hao Chang, Gul Agha

Proceedings of the Mobile Agents, 5th International Conference, 2001

A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware.

Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

The World Wide Computer: Prospects for Parallel and Distributed Computing on the Web.

Gul Agha

Proceedings of the First IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2001), 2001

2000

Object Oriented Architectures, Tools, and Applications.

Gul Agha

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999

A Hierarchical Model for Coordination of Concurrent Activities.

Carlos A. Varela, Gul Agha

Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998

Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management.

Mark Astley, Gul Agha

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

Modular Construction and Composition of Distributed Software Architectures.

Mark Astley, Gul Agha

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

Specification of Real-Time Interaction Constraints.

Brian Nielsen, Shangping Ren, Gul Agha

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Modular Heterogeneous System Development: A Critical Analysis of Java.

Gul Agha, Mark Astley, Jamil A. Sheikh, Carlos A. Varela

Proceedings of the Seventh Heterogeneous Computing Workshop, 1998

Case Studies in Security and Resource Management for Mobile Objects.

Dejan S. Milojicic, Gul Agha, Philippe Bernadat, Deepika Chauhan, Shai Guday, Nadeem Jamali, Dan Lambright

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997

Dependable distributed object systems.

Rachid Guerraoui, Jean-Charles Fabre, Gul Agha

Proceedings of the Addendum to the 1997 ACM SIGPLAN Conference on Object-Oriented Programming, 1997

Workshop on Software Engineering for Parallel and Distributed Systems.

Gul Agha, Stefano Russo

Proceedings of the Pulling Together, 1997

1996

Parallel Implementations of Irregular Problems Using High-Level Actor Language.

Rajendra Panwar, WooYoung Kim, Gul Agha

Proceedings of IPPS '96, 1996

A Modular Approach for Programming Embedded Systems.

Shangping Ren, Gul Agha

Proceedings of the Lectures on Embedded Systems, European Educational Forum, 1996

Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition.

Gul Agha

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995

Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages.

WooYoung Kim, Gul Agha

Proceedings of the Proceedings Supercomputing '95, San Diego, CA, USA, December 4-8, 1995, 1995

RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems.

Shangping Ren, Gul Agha

Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, 1995

1994

A Protocol Description Language for Customizing Semantics.

Daniel C. Sturman, Gul Agha

Proceedings of the 13th Symposium on Reliable Distributed Systems, 1994

Abstracting Interactions Based on Message Sets.

Svend Frølund, Gul Agha

Proceedings of the Object-Based Models and Languages for Concurrent Systems, 1994

1993

ActorSpaces: An Open Distributed Programming Paradigm.

Gul Agha, Christian J. Callsen

Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1993

A Language Framework for Multi-Object Coordination.

Svend Frølund, Gul Agha

Proceedings of the ECOOP'93, 1993

1992

Comilation of a Highly Parallel Actor-Based Language.

Won Kim, Gul Agha

Proceedings of the Languages and Compilers for Parallel Computing, 1992

Scalable Distributed Garbage Collection for Systems of Active Objects.

Nalini Venkatasubramanian, Gul Agha, Carolyn L. Talcott

Proceedings of the Memory Management, 1992

HAL: A High-Level Actor Language and Its Distributed Implementation.

Christopher R. Houck, Gul Agha

Proceedings of the 1992 International Conference on Parallel Processing, 1992

Formal methods for Actor systems: A progress report.

Gul Agha

Proceedings of the Formal Description Techniques, 1992

A Reflective Model of Inheritance.

Suresh Jagannathan, Gul Agha

Proceedings of the ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29, 1992

Towards a Theory of Actor Computation.

Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott

Proceedings of the CONCUR '92, 1992

1991

Distributed Execution of Actor Programs.

Gul Agha, Christopher R. Houck, Rajendra Panwar

Proceedings of the Languages and Compilers for Parallel Computing, 1991

Scalability of Parallel Sorting on Mesh Multicomputers.

Vineet Singh, Vipin Kumar, Gul Agha, Chris Tomlinson

Proceedings of the Fifth International Parallel Processing Symposium, Proceedings, Anaheim, California, USA, April 30, 1991

1990

The Structure and Semantics of Actor Languages.

Gul Agha

Proceedings of the Foundations of Object-Oriented Languages, 1990

Foundations of Concurrent Object-Oriented Programming (Panel).

Gul Agha, Samson Abramsky, Carl Hewitt, Robin Milner, Peter Wegner, Akinori Yonezawa

Proceedings of the Conference on Object-Oriented Programming Systems, 1990

Foundations of object-based concurrent programming (panel session).

Gul Agha, Akinori Yonezawa, Peter Wegner, Samson Abramsky

Proceedings of the European Conference on Object-Oriented Programming Addendum: Systems, 1990

1989

Supporting Multiparadigm Programming on Actor Architectures.

Gul Agha

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

1988

Guarded Horn Clause Languages: Are They Deductive and Logical?

Carl Hewitt, Gul Agha

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

The Relation between Problems in Large-Scale Concurrent Systems and Distributed Databases.

Gul Agha

Proceedings of the International Symposium on Databases in Parallel and Distributed Systems, 1988

1985

Concurrent Programming Using Actors: Exploiting large-Scale Parallelism.

Gul Agha, Carl Hewitt

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

1984

Linguistic Support of Receptionists for Shared Resources.

Carl Hewitt, Tom Reinhardt, Gul Agha, Giuseppe Attardi

Proceedings of the Seminar on Concurrency, 1984

Semantic Considerations in the Actor Paradigm of Concurrent Computation.

Gul Agha

Proceedings of the Seminar on Concurrency, 1984