Gul Agha

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution
2020

Scalable termination detection for distributed actor systems

Plyukhin, D. & Agha, G., Aug 1 2020, 31st International Conference on Concurrency Theory, CONCUR 2020. Konnov, I. & Kovacs, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 111-1123 1013 p. 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 171).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2018

Concurrent garbage collection in the actor model

Plyukhin, D. & Agha, G., Nov 5 2018, AGERE 2018 - Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, co-located with SPLASH 2018. Bergenti, F., De Koster, J. & Franco, J. (eds.). Association for Computing Machinery, Inc, p. 44-53 10 p. (AGERE 2018 - Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, co-located with SPLASH 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Elgamal, T., Sandur, A., Nguyen, P., Nahrstedt, K. & Agha, G., Sep 7 2018, Proceedings - 2018 IEEE International Conference on Cloud Computing, CLOUD 2018 - Part of the 2018 IEEE World Congress on Services. IEEE Computer Society, p. 1-8 8 p. 8457776. (IEEE International Conference on Cloud Computing, CLOUD; vol. 2018-July).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Optimizing cost of serverless computing through function fusion and placement

Elgamal, T., Sandur, A., Nahrstedt, K. & Agha, G., Dec 6 2018, Proceedings - 2018 3rd ACM/IEEE Symposium on Edge Computing, SEC 2018. Institute of Electrical and Electronics Engineers Inc., p. 300-312 13 p. 08567675. (Proceedings - 2018 3rd ACM/IEEE Symposium on Edge Computing, SEC 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Targeted test generation for actor systems

Li, S., Hariri, F. & Agha, G., Jul 1 2018, 32nd European Conference on Object-Oriented Programming, ECOOP 2018. Millstein, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 109).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2016

Abstractions, semantic models and analysis tools for concurrent systems: Progress and open problems

Agha, G., Jan 1 2016, Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 Held as Part of STAF 2016, Proceedings. Kuhn, E. & De Nicola, R. (eds.). Springer-Verlag Berlin Heidelberg, p. 3-8 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9763).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Building dependable concurrent systems through probabilistic inference, predictive monitoring and self-adaptation

Agha, G., Jan 1 2016, Runtime Verification - 16th International Conference, RV 2016, Proceedings. Falcone, Y. & Sánchez, C. (eds.). Springer-Verlag Berlin Heidelberg, p. XIII-XIV (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10012 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Schedulability analysis of distributed real-time sensor network applications using actor-based model checking

Khamespanah, E., Mechitov, K., Sirjani, M. & Agha, G., Jan 1 2016, Model Checking Software - 23rd International Symposium, SPIN 2016 Co-located with ETAPS 2016, Proceedings. Bošnački, D. & Wijs, A. (eds.). Springer-Verlag Berlin Heidelberg, p. 165-181 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9641).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2015

Space division and dimensional reduction methods for indoor positioning system

Mo, Y., Zhang, Z., Meng, W. & Agha, G. A., Sep 9 2015, 2015 IEEE International Conference on Communications, ICC 2015. Institute of Electrical and Electronics Engineers Inc., p. 3263-3268 6 p. 7248827. (IEEE International Conference on Communications; vol. 2015-September).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2014

Actors programming for the mobile cloud

Agha, G. A., Sep 16 2014, Proceedings - IEEE 13th International Symposium on Parallel and Distributed Computing, ISPDC 2014. Muntean, T., Rolland, R. & Mugwaneza, L. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 3-9 7 p. 6900192. (Proceedings - IEEE 13th International Symposium on Parallel and Distributed Computing, ISPDC 2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Solving complex path conditions through heuristic search on induced polytopes

Dinges, P. & Agha, G. A., Nov 16 2014, 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014 - Proceedings. Association for Computing Machinery, p. 425-436 12 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. 16-21-November-2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Targeted test input generation using symbolic-concrete backward execution

Dinges, P. & Agha, G. A., Jan 1 2014, ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, Inc, p. 31-36 6 p. (ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a Flexible Fine-Grained Access Control System for Modern Cloud Applications

Shiftehfar, R., Mechitov, K. & Agha, G., Dec 3 2014, Proceedings - 2014 IEEE 7th International Conference on Cloud Computing, CLOUD 2014. Kesselman, C. (ed.). IEEE Computer Society, p. 966-967 2 p. 6973850. (IEEE International Conference on Cloud Computing, CLOUD).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2013

Automated inference of atomic sets for safe concurrent execution

Dinges, P., Charalambides, M. & Agha, G. A., Jan 1 2013, Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 2013. Association for Computing Machinery, p. 1-8 8 p. (Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Euclidean model checking: A scalable method for verifying quantitative properties in probabilistic systems

Agha, G., Oct 3 2013, Algebraic Informatics - 5th International Conference, CAI 2013, Proceedings. p. 1-3 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8080 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Realistic case studies of wireless structural control

Li, B., Sun, Z., Mechitov, K., Hackmann, G., Lu, C., Dyke, S. J., Agha, G. A. & Spencer, B. F., Oct 15 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013. p. 179-188 10 p. 6604012. (2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Realistic case studies of wireless structural control

Li, B., Sun, Z., Mechitov, K., Hackmann, G., Lu, C., Dyke, S. J., Agha, G. & Spencer, B. F., 2013, Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013. p. 179-188 10 p. (Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2012

AGERE! Programming with actors, agents and decentralized control abstracts

Agha, G. A., Bordini, R. H., Marron, A. & Ricci, A., Nov 27 2012, SPLASH'12 - Proceedings of the 2012 ACM Conference on Systems, Programming, and Applications: Software for Humanity. p. 215-216 2 p. (SPLASH'12 - Proceedings of the 2012 ACM Conference on Systems, Programming, and Applications: Software for Humanity).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

An architecture for dynamic service-oriented computing in networked embedded systems

Mechitov, K. & Agha, G. A., 2012, Software Service and Application Engineering: Essays Dedicated to Bernd Krame on the Occasion of His 65th Birthday. Vol. 7365. p. 147-164 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7365).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Building portable middleware services for heterogeneous cyber-physical systems

Mechitov, K. & Agha, G., 2012, 2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 - Proceedings. p. 31-36 6 p. 6225732. (2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

How well can congestion pricing neutralize denial of service attacks?

Vulimiri, A., Agha, G. A., Godfrey, P. B. & Lakshminarayanan, K., 2012, SIGMETRICS/Performance 2012 - Proceedings of the 2012 ACM SIGMETRICS/Performance, Joint International Conference on Measurement and Modeling of Computer Systems. 1 SPEC. ISS. ed. p. 137-150 14 p. (Performance Evaluation Review; vol. 40, no. 1 SPEC. ISS.).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Scoped synchronization constraints for large scale actor systems

Dinges, P. & Agha, G., Jun 29 2012, Coordination Models and Languages - 14th International Conference, COORDINATION 2012, Proceedings. p. 89-103 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7274 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The time-keeping anomaly of energy-saving sensors: Manifestation, solution, and a structural monitoring case study

Moinzadeh, P., Mechitov, K., Shiftehfar, R., Abdelzaher, T., Agha, G. & Spencer, B. F., Nov 1 2012, 2012 9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, SECON 2012. p. 380-388 9 p. 6275801. (Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks workshops; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TransDPOR: A novel dynamic partial-order reduction technique for testing actor programs

Tasharofi, S., Karmani, R. K., Lauterburg, S., Legay, A., Marinov, D. & Agha, G., 2012, Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Proceedings. p. 219-234 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7273 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2011

AGERE! (Actors and aGEnts REloaded): Splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control

Agha, G. A., Bordini, R. H. & Ricci, A., Dec 1 2011, SPLASH'11 Workshops - Compilation Proceedings of the Co-Located Workshops: DSM'11, TMC'11, AGERE'11, AOOPES'11, NEAT'11, and VMIL'11. p. 143-145 3 p. (SPLASH'11 Workshops - Compilation Proceedings of the Co-Located Workshops: DSM'11, TMC'11, AGERE'11, AOOPES'11, NEAT'11, and VMIL'11).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

AGERE! (Actors and aGEnts REloaded)- SPLASH 2011Workshop on programming systems, languages and applications based on actors, agents, and decentralized control

Agha, G. A., Bordini, R. H. & Ricci, A., Nov 22 2011, SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion. p. 325-326 2 p. (SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Inferring ownership transfer for efficient message passing

Negara, S., Karmani, R. K. & Agha, G., Mar 24 2011, PPoPP'11 - Proceedings of the 2011 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. p. 81-90 10 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking MDPs with a unique compact invariant set of distributions

Chadha, R., Korthikanti, V. A., Viswanathan, M., Agha, G. A. & Kwon, Y., Nov 2 2011, Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011. p. 121-130 10 p. 6042036. (Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

On the energy complexity of parallel algorithms

Korthikanti, V. A., Agha, G. & Greenstreet, M., Nov 7 2011, Proceedings - 2011 International Conference on Parallel Processing, ICPP 2011. p. 562-570 9 p. 6047224. (Proceedings of the International Conference on Parallel Processing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2010

Autonomous smart sensor network for full-scale structural health monitoring

Rice, J. A., Mechitov, K. A., Spencer, B. F. & Agha, G. A., Jun 18 2010, Sensors and Smart Structures Technologies for Civil, Mechanical, and Aerospace Systems 2010. 764726. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 7647).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Autonomous structural health monitoring using wireless smart sensors on a cable-stayed bridge

Jang, S., Jo, H., Mechitov, K., Sim, S. H., Spencer, B. F., Agha, G., Cho, S., Jung, H. J., Yun, C. B. & Rice, J. A., Dec 1 2010, Bridge Maintenance, Safety, Management and Life-Cycle Optimization - Proceedings of the 5th International Conference on Bridge Maintenance, Safety and Management. p. 185-192 8 p. (Bridge Maintenance, Safety, Management and Life-Cycle Optimization - Proceedings of the 5th International Conference on Bridge Maintenance, Safety and Management).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Avoiding energy wastage in parallel applications

Korthikanti, V. A. & Agha, G., Nov 24 2010, 2010 International Conference on Green Computing, Green Comp 2010. p. 149-163 15 p. 5598314. (2010 International Conference on Green Computing, Green Comp 2010).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Basset: A tool for systematic testing of actor programs

Lauterburg, S., Karmani, R. K., Marinov, D. & Agha, G. A., Dec 1 2010, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE-18. p. 363-364 2 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Coordination Models and Languages: 12th International Conference, COORDINATION 2010 Amsterdam, The Netherlands, June 7-9, 2010 Proceedings

Clarke, D. & Agha, G. A., 2010, Coordination Models and Languages - 12th International Conference, COORDINATION 2010, Proceedings. New York City: Springer Verlag, Vol. 6116. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6116).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Evaluating ordering heuristics for dynamic partial-order reduction techniques

Lauterburg, S., Karmani, R. K., Marinov, D. & Agha, G., Apr 29 2010, Fundamental Approaches to Software Engineering - 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proceedings. p. 308-322 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6013 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Mutation operators for actor systems

Jagannath, V., Gligoric, M., Lauterburg, S., Marinov, D. & Agha, G. A., Jun 25 2010, ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops. p. 157-162 6 p. 5463644. (ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Reasoning about MDPs as transformers of probability distributions

Korthikanti, V. A., Viswanathan, M., Agha, G. A. & Kwon, Y. M., Dec 2 2010, Proceedings - 7th International Conference on the Quantitative Evaluation of Systems, QEST 2010. p. 199-208 10 p. 5600385. (Proceedings - 7th International Conference on the Quantitative Evaluation of Systems, QEST 2010).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards optimizing energy costs of algorithms for shared memory architectures

Korthikanti, V. A. & Agha, G., Jul 30 2010, SPAA'10 - Proceedings of the 22nd Annual Symposium on Parallelism in Algorithms and Architectures. p. 157-165 9 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2009

Actor frameworks for the JVM platform: A comparative analysis

Karmani, R. K., Shali, A. & Agha, G. A., Nov 23 2009, Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009. p. 11-20 10 p. 1596658. (Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework for state-space exploration of java-based actor programs

Lauterburg, S., Dotta, M., Marinov, D. & Agha, G., 2009, ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering. p. 468-479 12 p. 5431748. (ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A multi-agent simulator for resource management in smart spaces

Moussa, S. & Agha, G. A., Dec 1 2009, 2009 Joint Conferences on Pervasive Computing, JCPC 2009. p. 765-770 6 p. 5420081. (2009 Joint Conferences on Pervasive Computing, JCPC 2009).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Moussa, S., Hashem, M. & Agha, G. A., Dec 1 2009, MoMM2009 - The 7th International Conference on Advances in Mobile Computing and Multimedia. p. 386-390 5 p. (MoMM2009 - The 7th International Conference on Advances in Mobile Computing and Multimedia).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Analysis of parallel algorithms for energy conservation in scalable multicore architectures

Korthikanti, V. A. & Agha, G. A., Dec 1 2009, ICPP-2009 - The 38th International Conference on Parallel Processing. p. 212-219 8 p. 5362310. (Proceedings of the International Conference on Parallel Processing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Integrating encrypted mobile agents with smart homes

Moussa, S. M., Abdelaziz, M. H. & Agha, G. A., 2009, 3rd International Conference on New Technologies, Mobility and Security, NTMS 2009. 5384845. (3rd International Conference on New Technologies, Mobility and Security, NTMS 2009).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2008

A robust audit mechanism to prevent malicious behaviors in multi-robot systems

Ham, M. J. & Agha, G., 2008, Proceedings - 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2008. p. 35-44 10 p. 4663408. (Proceedings - 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2008).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A study of coordinated dynamic market-based task assignment in massively multi-agent systems

Ham, M. & Agha, G. A., Oct 27 2008, Massively Multi-Agent Technology - AAMAS Workshops - MMAS 2006, LSMAS 2006, and CCMMS 2007, Hakodate, Japan, May 9, 2006, Honolulu, HI, USA, May 15, 2007, Selected and Revised Papers. p. 43-63 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5043 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Introduction to the software technology track

Kazman, R. & Agha, G., Sep 16 2008, Proceedings of the 41st Annual Hawaii International Conference on System Sciences 2008, HICSS. 4439164. (Proceedings of the Annual Hawaii International Conference on System Sciences).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

LTLC: Linear temporal logic for control

Kwon, Y. M. & Agha, G. A., Dec 1 2008, Hybrid Systems: Computation and Control - 11th International Workshop, HSCC 2008, Proceedings. p. 316-329 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4981 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Passive localization: Large size sensor network localization based on environmental events

Kwon, Y. M. & Agha, G. A., Sep 12 2008, Proceedings - 2008 International Conference on Information Processing in Sensor Networks, IPSN 2008. p. 3-14 12 p. 4505458. (Proceedings - 2008 International Conference on Information Processing in Sensor Networks, IPSN 2008).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2007

A Markov reward model for software reliability

Kwon, Y. M. & Agha, G., Sep 24 2007, Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM. 4228253. (Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM).

Research output: Chapter in Book/Report/Conference proceedingConference contribution