Person: Gul Agha

DBLP: Agha:Gul

Contributed to:

2013

2010

2010

2007

2006

2006

2006

2005

2005

2005

2004

2004

2004

2003

2003

2003

2002

2001

1998

1995

1993

1993

1992

1992

2018

Wrote 25 papers:

PASTE-2013-DingesCA #automation #concurrent #execution #set

Automated inference of atomic sets for safe concurrent execution (PD, MC, GA), pp. 1–8.

FASE-2010-LauterburgKMA #heuristic #partial order #reduction

Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques (SL, RKK, DM, GA), pp. 308–322.

FSE-2010-LauterburgKMA #named #source code #testing

Basset: a tool for systematic testing of actor programs (SL, RKK, DM, GA), pp. 363–364.

SAC-2007-ChangA #configuration management #web

Supporting reconfigurable object distribution for customized web applications (PHC, GA), pp. 1286–1292.

CAV-2006-SenA #model checking #testing #tool support

CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools (KS, GA), pp. 419–423.

FASE-2006-SenA #automation #distributed #source code #testing

Automated Systematic Testing of Open Distributed Programs (KS, GA), pp. 339–356.

TACAS-2006-SenVA #markov #model checking #nondeterminism

Model-Checking Markov Chains in the Presence of Uncertainties (KS, MV, GA), pp. 394–410.

CAV-2005-SenVA #model checking #on the #probability #statistics

On Statistical Model Checking of Stochastic Systems (KS, MV, GA), pp. 266–280.

ESEC-FSE-2005-SenMA #c #named #testing

CUTE: a concolic unit testing engine for C (KS, DM, GA), pp. 263–272.

TACAS-2005-VardhanSVA #using #verification

Using Language Inference to Verify ω-Regular Properties (AV, KS, MV, GA), pp. 45–60.

CAV-2004-SenVA #black box #model checking #probability #statistics

Statistical Model Checking of Black-Box Probabilistic Systems (KS, MV, GA), pp. 202–215.

ICSE-2004-SenVAR #distributed #monitoring #performance #safety

Efficient Decentralized Monitoring of Safety in Distributed Systems (KS, AV, GA, GR), pp. 418–427.

TACAS-2004-SenRA #analysis #online #parallel #performance #predict #safety #source code #thread

Online Efficient Predictive Safety Analysis of Multithreaded Programs (KS, GR, GA), pp. 123–138.

ESEC-FSE-2003-SenRA #analysis #parallel #runtime #safety #source code #thread

Runtime safety analysis of multithreaded programs (KS, GR, GA), pp. 337–346.

GPCE-2003-ZiaeiA #coordination #distributed #named #petri net

SynchNet: A Petri Net Based Coordination Language for Distributed Objects (RZ, GA), pp. 324–343.

SEKE-2003-DingZSA #architecture #fault tolerance #specification #validation

Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model (HD, CZ, LS, GA), pp. 458–466.

ISMM-2002-VardhanA #algorithm #garbage collection #using

Using passive object garbage collection algorithms for garbage collection of active objects (AV, GA), pp. 213–220.

FME-2001-VenkatasubramanianTA #adaptation #formal method #middleware #reasoning

A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware (NV, CLT, GA), pp. 197–221.

FSE-1998-AstleyA #abstraction #distributed #middleware #policy

Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management (MA, GA), pp. 1–9.

LCT-RTS-1995-RenA #distributed #named #realtime #specification

RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems (SR, GA), pp. 50–59.

ECOOP-1993-FrolundA #coordination #framework #multi

A Language Framework for Multi-Object Coordination (SF, GA), pp. 346–360.

PPoPP-1993-AghaC #distributed #named #paradigm #programming

ActorSpaces: An Open Distributed Programming Paradigm (GA, CJC), pp. 23–32.

ECOOP-1992-JagannathanA #inheritance

A Reflective Model of Inheritance (SJ, GA), pp. 350–371.

IWMM-1992-VenkatasubramanianAT #distributed #garbage collection #scalability

Scalable Distributed Garbage Collection for Systems of Active Objects (NV, GA, CLT), pp. 134–147.

ECOOP-2018-LiHA #generative #testing

Targeted Test Generation for Actor Systems (SL, FH, GA), p. 31.