Additional Campus Affiliations
Research Professor, Computer Science
Recent Publications
Plyukhin, D., & Agha, G. (2022). A SCALABLE ALGORITHM FOR DECENTRALIZED ACTOR TERMINATION DETECTION. Logical Methods in Computer Science, 18(1), 39:1-39:35. https://doi.org/10.46298/LMCS-18(1:39)2022
Paul, S., Agha, G. A., Patterson, S., & Varela, C. A. (2021). Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. In A. Dutle, C. A. Muñoz, M. M. Moscato, L. Titolo, & I. Perez (Eds.), NASA Formal Methods - 13th International Symposium, NFM 2021, Proceedings (pp. 249-267). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12673 LNCS). Springer. https://doi.org/10.1007/978-3-030-76384-8_16
Plyukhin, D., & Agha, G. (2020). Scalable termination detection for distributed actor systems. In I. Konnov, & L. Kovacs (Eds.), 31st International Conference on Concurrency Theory, CONCUR 2020 (pp. 111-1123). [11] (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 171). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CONCUR.2020.11
Charalambides, M., Palmskog, K., & Agha, G. (2019). Types for progress in actor programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 315-339). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11665 LNCS). Springer. https://doi.org/10.1007/978-3-030-21485-2_18
Agha, G., & Palmskog, K. (2018). A survey of statistical model checking. ACM Transactions on Modeling and Computer Simulation, 28(1), [6]. https://doi.org/10.1145/3158668