Gul A Agha

2023

A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems

Kwon, Y. M., Kim, E. & Agha, G., 2023, Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Proceedings. Jansen, N. & Tribastone, M. (eds.). Springer, p. 65-81 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14287 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Bounded Quantum Regular Language Generator

Kwon, Y. M. & Agha, G., 2023, Proceedings - 2023 IEEE International Conference on Quantum Computing and Engineering, QCE 2023. Muller, H., Alexev, Y., Delgado, A. & Byrd, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 580-590 11 p. (Proceedings - 2023 IEEE International Conference on Quantum Computing and Engineering, QCE 2023; vol. 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2022

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

Sandur, A., Park, C. H., Volos, S., Agha, G. & Jeon, M., 2022, Proceedings - 2022 IEEE 38th International Conference on Data Engineering, ICDE 2022. IEEE Computer Society, p. 1408-1422 15 p. (Proceedings - International Conference on Data Engineering; vol. 2022-May).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

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

Agha, G., Mukherjee, D. & Sandur, A., 2022, Proceedings - 2022 IEEE/ACM 15th International Conference on Utility and Cloud Computing, UCC 2022. Institute of Electrical and Electronics Engineers Inc., p. 173-180 8 p. (Proceedings - 2022 IEEE/ACM 15th International Conference on Utility and Cloud Computing, UCC 2022).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Streaming Analytics with Adaptive Near-data Processing

Sandur, A., Park, C. H., Volos, S., Agha, G. & Jeon, M., Apr 25 2022, WWW 2022 - Companion Proceedings of the Web Conference 2022. Association for Computing Machinery, p. 563-566 4 p. (WWW 2022 - Companion Proceedings of the Web Conference 2022).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

2021

Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model

Paul, S., Agha, G. A., Patterson, S. & Varela, C. A., 2021, NASA Formal Methods - 13th International Symposium, NFM 2021, Proceedings. Dutle, A., Muñoz, C. A., Moscato, M. M., Titolo, L. & Perez, I. (eds.). Springer, p. 249-267 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12673 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

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 proceeding › Conference 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, 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

Open Access

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 proceeding › Conference contribution

2016

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

Agha, G., 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, 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 proceeding › Conference contribution

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

Agha, G., 2016, Runtime Verification - 16th International Conference, RV 2016, Proceedings. Falcone, Y. & Sánchez, C. (eds.). Springer, 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 proceeding › Conference contribution

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

Khamespanah, E., Mechitov, K., Sirjani, M. & Agha, G., 2016, Model Checking Software - 23rd International Symposium, SPIN 2016 Co-located with ETAPS 2016, Proceedings. Bošnački, D. & Wijs, A. (eds.). Springer, 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 proceeding › Conference 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 proceeding › Conference contribution

2014

Actors programming for the mobile cloud

Agha, G., 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 proceeding › Conference contribution

Solving complex path conditions through heuristic search on induced polytopes

Dinges, P. & Agha, G., 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 proceeding › Conference contribution

Targeted test input generation using symbolic-concrete backward execution

Dinges, P. & Agha, G., 2014, ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, 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 proceeding › Conference 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 proceeding › Conference contribution

2013

Automated inference of atomic sets for safe concurrent execution

Dinges, P., Charalambides, M. & Agha, G., 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 proceeding › Conference contribution

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

Agha, G., 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 proceeding › Conference 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 proceeding › Conference contribution

Open Access

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., 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 proceeding › Conference contribution

2012

AGERE! Programming with actors, agents and decentralized control abstracts

Agha, G., Bordini, R. H., Marron, A. & Ricci, A., 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 proceeding › Conference contribution

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

Mechitov, K. & Agha, G., 2012, Software Service and Application Engineering: Essays Dedicated to Bernd Krame on the Occasion of His 65th Birthday. Springer, 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

Scoped synchronization constraints for large scale actor systems

Dinges, P. & Agha, G., 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 proceeding › Conference 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., 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 proceeding › Conference 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 proceeding › Conference 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., Bordini, R. H. & Ricci, A., 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 proceeding › Conference contribution

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

Agha, G., Bordini, R. H. & Ricci, A., 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 proceeding › Conference contribution

Inferring ownership transfer for efficient message passing

Negara, S., Karmani, R. K. & Agha, G., 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 proceeding › Conference contribution

Model checking MDPs with a unique compact invariant set of distributions

Chadha, R., Korthikanti, V. A., Viswanathan, M., Agha, G. & Kwon, Y., 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 proceeding › Conference contribution

On the energy complexity of parallel algorithms

Korthikanti, V. A., Agha, G. & Greenstreet, M., 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 proceeding › Conference contribution

2010

Autonomous smart sensor network for full-scale structural health monitoring

Rice, J. A., Mechitov, K. A., Spencer, B. F. & Agha, G. A., 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 proceeding › Conference 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., 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 proceeding › Conference contribution

Avoiding energy wastage in parallel applications

Korthikanti, V. A. & Agha, G., 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 proceeding › Conference contribution

Basset: A tool for systematic testing of actor programs

Lauterburg, S., Karmani, R. K., Marinov, D. & Agha, G., 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 proceeding › Conference 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. Agha, G. & Clarke, D. (eds.). New York City: Springer, (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 proceeding › Conference contribution

Evaluating ordering heuristics for dynamic partial-order reduction techniques

Lauterburg, S., Karmani, R. K., Marinov, D. & Agha, G., 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 proceeding › Conference contribution

Mutation operators for actor systems

Jagannath, V., Gligoric, M., Lauterburg, S., Marinov, D. & Agha, G., 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 proceeding › Conference contribution

Reasoning about MDPs as transformers of probability distributions

Korthikanti, V. A., Viswanathan, M., Agha, G. & Kwon, Y. M., 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 proceeding › Conference contribution

Open Access

Towards optimizing energy costs of algorithms for shared memory architectures

Korthikanti, V. A. & Agha, G., 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 proceeding › Conference contribution

2009

Actor frameworks for the JVM platform: A comparative analysis

Karmani, R. K., Shali, A. & Agha, G., 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 proceeding › Conference 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 proceeding › Conference contribution

Gul A Agha

Research output

Search results