Additional Campus Affiliations
Research Professor, Siebel School of Computing and Data Science
Recent Publications
Mukherjee, D., Hachem, S., Bao, J., Madsen, C., Ma, T., Ghose, S., & Agha, G. (2025). CRAVE: Analyzing Cross-Resource Interaction to Improve Energy Efficiency in Systems-on-Chip. In EuroSys 2025 - Proceedings of the 2025 20th European Conference on Computer Systems (pp. 59-75). Association for Computing Machinery. https://doi.org/10.1145/3689031.3717498
Plyukhin, D., Agha, G., & Montesi, F. (2025). CRGC: Fault-Recovering Actor Garbage Collection in Pekko. Proceedings of the ACM on Programming Languages, 9, Article 185. https://doi.org/10.1145/3729288
Kwon, Y. M., Kim, E., & Agha, G. (2023). A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems. In N. Jansen, & M. Tribastone (Eds.), Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Proceedings (pp. 65-81). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14287 LNCS). Springer. https://doi.org/10.1007/978-3-031-43835-6_5
Kwon, Y. M., & Agha, G. (2023). Bounded Quantum Regular Language Generator. In H. Muller, Y. Alexev, A. Delgado, & G. Byrd (Eds.), Proceedings - 2023 IEEE International Conference on Quantum Computing and Engineering, QCE 2023 (pp. 580-590). (Proceedings - 2023 IEEE International Conference on Quantum Computing and Engineering, QCE 2023; Vol. 1). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/QCE57702.2023.00072
Paul, S., Agha, G., Patterson, S., & Varela, C. (2023). Eventual consensus in Synod: verification using a failure-aware actor model. Innovations in Systems and Software Engineering, 19(4), 395-410. https://doi.org/10.1007/s11334-022-00463-5