• The paper "Prompt Runtime Enforcement", Ayush Anand, Loïc Germerie Guizouarn, Thierry Jéron, Sayan Mukherjee, Srinivas Pinisetty, Ocan Sankur has been accepted to ATVA 2025, October 2025 Bengaluru, India. The presentation was given by Ayush Anand.


  • Saumya Shankar presented the preliminary work on "Property Grouping and Context-Aware Runtime Enforcement" at the NIER workshop (organized with APLAS/ATVA, October 2025 Bengaluru, India).


  • From July 21 to August 15, 2025 , Sayan Mukherjee visited IIT Bhubaneswar.


  • The paper "Bounded Compositional Runtime Enforcement", Saumya Shankar, Srinivas Pinisetty, Thierry Jéron, Prisha Srinidi has been presented at Workshop Vortex 2025 (Bergen, Norway, Friday 4 July).


  • From June 10 to 27, 2025, Srinivas Pinisetty visited Inria Rennes. Apart from work sessions with Sincret members, Srinivas gave a talk to the Devine team.


    A part of the Devine team with Srinivas, June 2025


  • On 13/08/2024 Ms. Saumya Shankar defended her Ph.D. thesis under the supervision of Dr. Srinivas Pinisetty. Title of the thesis: Advancements in Runtime Enforcement Frameworks: Finite Memory, Compositional Approaches, and Practical Applications.