The group is interested in Programming language semantics, Theory and practice of concurrent systems, Process algebras, Distributed computing, Program analysis and verification, Logic in computer science, Applications of verification in network models, multiprocessors, and relaxed memory models.
Publications
Solving the Insecurity Problem for Assertions Proceedings Article
In: 37th IEEE Computer Security Foundations Symposium, CSF 2024, Enschede, Netherlands, July 8-12, 2024, pp. 1–15, IEEE, 2024.
Symbolic Verification of Mesh Commissioning Protocol of Thread Proceedings Article
In: Sujit Kumar Charkrabarti, Raghavan Komondoor, Raveendra Kumar Medicherla, Aseem Rastogi, Sudipto Ghosh (Ed.): Proceedings of the 17th Innovations in Software Engineering Conference, ISEC 2024, Bangalore, India, February 22-24, 2024, pp. 27:1–27:4, ACM, 2024.
Learning DNN Abstractions using Gradient Descent Proceedings Article
In: Vladimir Filkov, Baishakhi Ray, Minghui Zhou (Ed.): Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, ASE 2024, Sacramento, CA, USA, October 27 - November 1, 2024, pp. 2299–2303, ACM, 2024.
Parameterized Static Analysis for Weak Memory Models Proceedings Article
In: Sujit Kumar Charkrabarti, Raghavan Komondoor, Raveendra Kumar Medicherla, Aseem Rastogi, Sudipto Ghosh (Ed.): Proceedings of the 17th Innovations in Software Engineering Conference, ISEC 2024, Bangalore, India, February 22-24, 2024, pp. 25:1–25:4, ACM, 2024.
Logical Synchrony Plus Functional Processes Entail Observable Determinacy Proceedings Article
In: 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2024, Raleigh, NC, USA, October 3-4, 2024, pp. 63–68, IEEE, 2024.
Members
