default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGul A. Agha
Gul Agha
Person information
- affiliation: University of Illinois, Urbana, IL, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[i7]Dipayan Mukherjee, Atul Sandur, Kirill Mechitov, Pratik Lahiri, Gul Agha:
eScope: A Fine-Grained Power Prediction Mechanism for Mobile Applications. CoRR abs/2405.08819 (2024)- 2023
- [j47]Saswata Paul
, Gul Agha, Stacy Patterson, Carlos A. Varela:
Eventual consensus in Synod: verification using a failure-aware actor model. Innov. Syst. Softw. Eng. 19(4): 395-410 (2023) - [c168]YoungMin Kwon, Gul Agha:
Bounded Quantum Regular Language Generator. QCE 2023: 580-590 - [c167]YoungMin Kwon, Eunhee Kim, Gul Agha:
A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems. QEST 2023: 65-81 - 2022
- [j46]Dan Plyukhin, Gul Agha:
A Scalable Algorithm for Decentralized Actor Termination Detection. Log. Methods Comput. Sci. 18(1) (2022) - [c166]Atul Sandur, Chanho Park, Stavros Volos, Gul Agha, Myeongjae Jeon:
Jarvis: Large-scale Server Monitoring with Adaptive Near-data Processing. ICDE 2022: 1408-1422 - [c165]Gul Agha, Dipayan Mukherjee, Atul Sandur:
Performance, Energy and Parallelism: Using Near Data Processing in Utility and Cloud Computing. UCC 2022: 173-180 - [c164]Atul Sandur, Chanho Park, Stavros Volos, Gul Agha, Myeongjae Jeon:
Streaming Analytics with Adaptive Near-data Processing. WWW (Companion Volume) 2022: 563-566 - [i6]Atul Sandur, Chanho Park, Stavros Volos, Gul Agha, Myeongjae Jeon:
Jarvis: Large-scale Server Monitoring with Adaptive Near-data Processing. CoRR abs/2202.06021 (2022) - 2021
- [c163]Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela:
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. NFM 2021: 249-267 - [i5]Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela:
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. CoRR abs/2103.14576 (2021) - [i4]Dan Plyukhin, Gul Agha:
A Scalable Algorithm for Decentralized Actor Termination Detection. CoRR abs/2104.05128 (2021) - 2020
- [c162]Dan Plyukhin, Gul Agha:
Scalable Termination Detection for Distributed Actor Systems. CONCUR 2020: 11:1-11:23 - [i3]Dan Plyukhin, Gul Agha:
Scalable Termination Detection for Distributed Actor Systems. CoRR abs/2007.10553 (2020)
2010 – 2019
- 2019
- [c161]Minas Charalambides, Karl Palmskog, Gul Agha:
Types for Progress in Actor Programs. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 315-339 - [i2]Philipp Haller, Guido Salvaneschi, Takuo Watanabe, Gul Agha:
Programming Languages for Distributed Systems (NII Shonan Meeting 149). NII Shonan Meet. Rep. 2019 (2019) - 2018
- [j45]Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov, Gul Agha:
Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking. Int. J. Softw. Tools Technol. Transf. 20(5): 547-561 (2018) - [j44]Gul Agha, Karl Palmskog:
A Survey of Statistical Model Checking. ACM Trans. Model. Comput. Simul. 28(1): 6:1-6:39 (2018) - [c160]Tarek Elgamal, Atul Sandur, Phuong Nguyen, Klara Nahrstedt, Gul Agha:
DROPLET: Distributed Operator Placement for IoT Applications Spanning Edge and Cloud Resources. IEEE CLOUD 2018: 1-8 - [c159]Dan Plyukhin, Gul Agha:
Concurrent garbage collection in the actor model. AGERE!@SPLASH 2018: 44-53 - [c158]Gul Agha, Karl Palmskog:
Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces. Principles of Modeling 2018: 16-37 - [c157]Sihan Li, Farah Hariri, Gul Agha:
Targeted Test Generation for Actor Systems. ECOOP 2018: 8:1-8:31 - [i1]Tarek Elgamal, Atul Sandur, Klara Nahrstedt, Gul Agha:
Costless: Optimizing Cost of Serverless Computing through Function Fusion and Placement. CoRR abs/1811.09721 (2018) - 2017
- [j43]Marjan Sirjani, Ehsan Khamespanah, Kirill Mechitov, Gul Agha:
A compositional approach for modeling and timing analysis of wireless sensor and actuator networks. SIGBED Rev. 14(3): 49-56 (2017) - [c156]Gul Agha:
Actor-Oriented Programming for the Internet of Things. SEKE 2017: ix - 2016
- [j42]Hyungchul Yoon, Reza Shiftehfar, Soojin Cho, Billie F. Spencer, Mark E. Nelson, Gul Agha:
Victim Localization and Assessment System for Emergency Responders. J. Comput. Civ. Eng. 30(2) (2016) - [j41]Minas Charalambides, Peter Dinges, Gul A. Agha:
Parameterized, concurrent session types for asynchronous multi-actor interactions. Sci. Comput. Program. 115-116: 100-126 (2016) - [c155]Rick Kazman, Gul A. Agha:
Introduction to the Software Technology Track. HICSS 2016: 5358 - [c154]Gul Agha:
Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems - (Extended Abstract). SEFM 2016: 3-8 - [c153]Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul A. Agha:
Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking. SPIN 2016: 165-181 - [e8]Gul Agha, Benny Van Houdt:
Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. Lecture Notes in Computer Science 9826, Springer 2016, ISBN 978-3-319-43424-7 [contents] - 2015
- [j40]Yun Mo, Zhongzhao Zhang, Yang Lu, Gul Agha:
A Novel Technique for Human Traffic based Radio Map Updating in Wi-Fi Indoor Positioning Systems. KSII Trans. Internet Inf. Syst. 9(5): 1881-1903 (2015) - [j39]Alessandro Ricci, Gul A. Agha, Rafael H. Bordini, Assaf Marron:
Special issue on programming based on actors, agents and decentralized control. Sci. Comput. Program. 98: 117-119 (2015) - [c152]Rick Kazman, Gul Agha:
Introduction to the Software Technology Track. HICSS 2015: 5028 - [c151]Yun Mo, Zhongzhao Zhang, Weixiao Meng, Gul A. Agha:
Space division and dimensional reduction methods for indoor positioning system. ICC 2015: 3263-3268 - 2014
- [c150]Reza Shiftehfar, Kirill Mechitov, Gul A. Agha:
Towards a Flexible Fine-Grained Access Control System for Modern Cloud Applications. IEEE CLOUD 2014: 966-967 - [c149]YoungMin Kwon, Kirill Mechitov, Gul A. Agha:
Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks. Concurrent Objects and Beyond 2014: 276-316 - [c148]Rick Kazman, Gul Agha:
Introduction to Software Technology Track. HICSS 2014: 4710 - [c147]Gul Agha:
Actors Programming for the Mobile Cloud. ISPDC 2014: 3-9 - [c146]Peter Dinges, Gul A. Agha:
Targeted test input generation using symbolic-concrete backward execution. ASE 2014: 31-36 - [c145]Peter Dinges, Gul A. Agha:
Solving complex path conditions through heuristic search on induced polytopes. SIGSOFT FSE 2014: 425-436 - [e7]Gul A. Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura:
Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 8665, Springer 2014, ISBN 978-3-662-44470-2 [contents] - 2013
- [j38]Dave Clarke, Gul Agha:
Preface to the special issue on Coordination Models and Languages (Coordination 2010). Sci. Comput. Program. 78(2): 145-146 (2013) - [j37]YoungMin Kwon, Gul Agha:
Performance evaluation of sensor networks by statistical modeling and euclidean model checking. ACM Trans. Sens. Networks 9(4): 39:1-39:38 (2013) - [c144]Gul Agha:
Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems. CAI 2013: 1-3 - [c143]Rick Kazman, Gul Agha:
Introduction to Software Technology Track. HICSS 2013: 4749 - [c142]Bo Li, Zhuoxiong Sun, Kirill Mechitov, Gregory Hackmann, Chenyang Lu, Shirley Dyke, Gul Agha, Billie F. Spencer:
Realistic case studies of wireless structural control. ICCPS 2013: 179-188 - [c141]Peter Dinges, Minas Charalambides, Gul Agha:
Automated inference of atomic sets for safe concurrent execution. PASTE 2013: 1-8 - 2012
- [c140]Kirill Mechitov, Gul Agha:
An Architecture for Dynamic Service-Oriented Computing in Networked Embedded Systems. Software Service and Application Engineering 2012: 147-164 - [c139]Peter Dinges, Gul Agha:
Scoped Synchronization Constraints for Large Scale Actor Systems. COORDINATION 2012: 89-103 - [c138]Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha:
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. FMOODS/FORTE 2012: 219-234 - [c137]Alessandro Ricci, Assaf Marron, Rafael H. Bordini, Gul Agha:
AGERE!: programming based on actors, agents, and decentralized control. SPLASH 2012: 215-216 - [c136]Paria Moinzadeh, Kirill Mechitov, Reza Shiftehfar, Tarek F. Abdelzaher, Gul Agha, Billie F. Spencer:
The time-keeping anomaly of energy-saving sensors: Manifestation, solution, and a structural monitoring case study. SECON 2012: 380-388 - [c135]Kirill Mechitov, Gul Agha:
Building portable middleware services for heterogeneous cyber-physical systems. SESENA 2012: 31-36 - [c134]Ashish Vulimiri, Gul A. Agha, Philip Brighten Godfrey, Karthik Lakshminarayanan:
How well can congestion pricing neutralize denial of service attacks? SIGMETRICS 2012: 137-150 - [c133]Minas Charalambides, Peter Dinges, Gul Agha:
Parameterized Concurrent Multi-Party Session Types. FOCLASA 2012: 16-30 - [e6]Gul A. Agha, Rafael H. Bordini, Assaf Marron, Alessandro Ricci:
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, USA. ACM 2012, ISBN 978-1-4503-1630-9 [contents] - 2011
- [j36]Vijay Anand Korthikanti, Gul Agha:
Energy-performance trade-off analysis of parallel algorithms for shared memory architectures. Sustain. Comput. Informatics Syst. 1(3): 167-176 (2011) - [j35]YoungMin Kwon, Gul A. Agha:
Verifying the Evolution of Probability Distributions Governed by a DTMC. IEEE Trans. Software Eng. 37(1): 126-141 (2011) - [c132]Vijay Anand Korthikanti, Gul Agha, Mark R. Greenstreet:
On the Energy Complexity of Parallel Algorithms. ICPP 2011: 562-570 - [c131]Alessandro Ricci, Gul Agha, Rafael H. Bordini:
Agere! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control. SPLASH Workshops 2011: 143-146 - [c130]Alessandro Ricci, Rafael H. Bordini, Gul A. Agha:
AGERE! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control. OOPSLA Companion 2011: 325-326 - [c129]Stas Negara, Rajesh K. Karmani, Gul A. Agha:
Inferring ownership transfer for efficient message passing. PPoPP 2011: 81-90 - [c128]Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon:
Model Checking MDPs with a Unique Compact Invariant Set of Distributions. QEST 2011: 121-130 - [e5]Gul Agha, Olivier Danvy, José Meseguer:
Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Lecture Notes in Computer Science 7000, Springer 2011, ISBN 978-3-642-24932-7 [contents] - [r2]Rajesh K. Karmani, Gul Agha:
Actors. Encyclopedia of Parallel Computing 2011: 1-11 - 2010
- [j34]Sherin M. Moussa, Gul A. Agha:
Integrating Encrypted Mobile Agents with Smart Spaces in a Multi-agent Simulator for Resource Management. J. Softw. 5(6): 630-636 (2010) - [j33]YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul Agha:
Resilient localization for sensor networks in outdoor environments. ACM Trans. Sens. Networks 7(1): 3:1-3:30 (2010) - [c127]Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha:
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. FASE 2010: 308-322 - [c126]Vijay Anand Korthikanti, Gul Agha:
Avoiding energy wastage in parallel applications. Green Computing Conference 2010: 149-163 - [c125]Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha:
Mutation Operators for Actor Systems. ICST Workshops 2010: 157-162 - [c124]Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon:
Reasoning about MDPs as Transformers of Probability Distributions. QEST 2010: 199-208 - [c123]Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha:
Basset: a tool for systematic testing of actor programs. SIGSOFT FSE 2010: 363-364 - [c122]Vijay Anand Korthikanti, Gul Agha:
Towards optimizing energy costs of algorithms for shared memory architectures. SPAA 2010: 157-165 - [e4]Dave Clarke, Gul A. Agha:
Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Lecture Notes in Computer Science 6116, Springer 2010, ISBN 978-3-642-13413-5 [contents]
2000 – 2009
- 2009
- [c121]Vijay Anand Korthikanti, Gul Agha:
Analysis of Parallel Algorithms for Energy Conservation in Scalable Multicore Architectures. ICPP 2009: 212-219 - [c120]Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha:
A Framework for State-Space Exploration of Java-Based Actor Programs. ASE 2009: 468-479 - [c119]Sherin M. Moussa, Mohamed Hashem, Gul Agha:
An agent-based framework for inhabitants' untraceability in ubiquitous environments. MoMM 2009: 386-390 - [c118]Sherin M. Moussa, Mohamed H. Abdelaziz, Gul A. Agha:
Integrating Encrypted Mobile Agents with Smart Homes. NTMS 2009: 1-5 - [c117]Rajesh K. Karmani, Amin Shali, Gul Agha:
Actor frameworks for the JVM platform: a comparative analysis. PPPJ 2009: 11-20 - 2008
- [j32]Gul Agha:
Computing in pervasive cyberspace. Commun. ACM 51(1): 68-70 (2008) - [j31]MyungJoo Ham, Gul Agha:
Market-based coordination strategies for physical multi-agent systems. SIGBED Rev. 5(1): 23 (2008) - [c116]YoungMin Kwon, Gul Agha:
LTLC: Linear Temporal Logic for Control. HSCC 2008: 316-329 - [c115]YoungMin Kwon, Gul Agha:
Passive Localization: Large Size Sensor Network Localization Based on Environmental Events. IPSN 2008: 3-14 - [c114]MyungJoo Ham, Gul A. Agha:
A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-robot Systems. SASO 2008: 35-44 - 2007
- [j30]Kirill Mechitov, Reza Razavi, Gul Agha:
Architecture design principles to support adaptive service orchestration in WSN applications. SIGBED Rev. 4(3): 37-42 (2007) - [c113]Po-Hao Chang, Gul Agha:
Towards Context-Aware Web Applications. DAIS 2007: 239-252 - [c112]Rick Kazman, Gul Agha:
Software Technology Track Introduction. HICSS 2007: 255 - [c111]Reza Razavi, Kirill Mechitov, Gul A. Agha, Jean-François Perrot:
Ambiance: A Mobile Agent Platform for End-User Programmable Ambient Systems. AITamI@IJCAI (best papers) 2007: 81-106 - [c110]YoungMin Kwon, Gul Agha:
A Markov Reward Model for Software Reliability. IPDPS 2007: 1-6 - [c109]Po-Hao Chang, Gul Agha:
Supporting reconfigurable object distribution for customized web applications. SAC 2007: 1286-1292 - [c108]Rajesh K. Karmani, Timo Latvala, Gul Agha:
On Scaling Multi-Agent Task Reallocation Using Market-Based Approach. SASO 2007: 173-182 - 2006
- [j29]Myeong-Wuk Jang, Gul Agha:
Agent framework services to reduce agent communication overhead in large-scale agent-based simulations. Simul. Model. Pract. Theory 14(6): 679-694 (2006) - [j28]Koushik Sen, Grigore Rosu, Gul Agha:
Online efficient predictive safety analysis of multithreaded programs. Int. J. Softw. Tools Technol. Transf. 8(3): 248-260 (2006) - [c107]MyungJoo Ham, Gul A. Agha:
A Study of Coordinated Dynamic Market-Based Task Assignment in Massively Multi-Agent Systems. MMAS/LSMAS/CCMMS 2006: 43-63 - [c106]YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, Gul Agha:
ActorNet: an actor platform for wireless sensor networks. AAMAS 2006: 1297-1300 - [c105]Koushik Sen, Gul Agha:
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. CAV 2006: 419-423 - [c104]Koushik Sen, Gul Agha:
Automated Systematic Testing of Open Distributed Programs. FASE 2006: 339-356 - [c103]Bill Donkervoet, Gul Agha:
Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring. FMCO 2006: 246-265 - [c102]Gul Agha:
Track Introduction. HICSS 2006 - [c101]Koushik Sen, Gul Agha:
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs. Haifa Verification Conference 2006: 166-182 - [c100]Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu:
Decentralized runtime analysis of multithreaded applications. IPDPS 2006 - [c99]Reza Razavi, Kirill Mechitov, Sameer Sundresh, Gul Agha, Jean-François Perrot:
Ambiance: adaptive object model-based platform for macroprogramming sensor networks. OOPSLA Companion 2006: 663-664 - [c98]Po-Hao Chang, Gul Agha:
Supporting Reconfigurable Object Distribution for Customizable Web Applications. OTM Workshops (1) 2006: 32-33 - [c97]Liping Chen, Gul Agha:
State Aware Data Dissemination over Structured Overlays. Peer-to-Peer Computing 2006: 145-152 - [c96]YoungMin Kwon, Gul Agha:
Scalable Modeling and Performance Evaluation of Wireless Sensor Networks. IEEE Real Time Technology and Applications Symposium 2006: 49-58 - [c95]Koushik Sen, Mahesh Viswanathan, Gul Agha:
Model-Checking Markov Chains in the Presence of Uncertainties. TACAS 2006: 394-410 - 2005
- [c94]Koushik Sen, Mahesh Viswanathan, Gul Agha:
On Statistical Model Checking of Stochastic Systems. CAV 2005: 266-280 - [c93]Predrag T. Tosic, Gul A. Agha:
Computational Complexity of Predicting Some Properties of Large-Scale Agent Ensembles' Dynamical Evolution. EUMAS 2005: 415-426 - [c92]Koushik Sen, Grigore Rosu, Gul Agha:
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. FMOODS 2005: 211-226 - [c91]Gul Agha:
Software Technology Track. HICSS 2005 - [c90]YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul A. Agha:
Resilient Localization for Sensor Networks in Outdoor Environments. ICDCS 2005: 643-652 - [c89]Sandeep Uttamchandani, Xiaoxin Yin, John Palmer, Gul A. Agha:
Monitormining: creating domain knowledge for system automation using a gray-box approach. Integrated Network Management 2005: 61-74 - [c88]Christo Frank Devaraj, Indranil Gupta, Mahwish Nagda, Gul A. Agha:
An underlay for sensor networks: localized protocols for maintenance and usage. MASS 2005 - [c87]MyungJoo Ham, Gul Agha:
ARA: A Robust Audit to Prevent Free-Riding in P2P Networks. Peer-to-Peer Computing 2005: 125-132 - [c86]Li Yin, Sandeep Uttamchandani, John Palmer, Randy H. Katz, Gul A. Agha:
AUTOLOOP: Automated Action Selection in the "Observe-Analyze-Act" Loop for Storage Systems. POLICY 2005: 129-138 - [c85]YoungMin Kwon, Gul A. Agha:
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs. QEST 2005: 245-246 - [c84]