Events

• 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.



• 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
  



• 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).



• 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.