I am a third year PhD student at the Max Planck Institute for Software Systems and Saarland University. I am co-advised by Björn Brandenburg, Derek Dreyer and Deepak Garg. I work in the areas of real-time systems and formal verification.
Prior to starting my PhD at MPI in September 2022, I completed a dual bachelor's and master's degree program at BITS Pilani.
In my free time, I enjoy watching and learning more about cinema.
Publications
-
RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers
by K.Bedarkar, L. Elbeheiry, M. Sammler, L. Gäher, B. Brandenburg, D. Dreyer, and D. Garg
To appear at PLDI'25
From Intuition to Coq: A Case Study in Verified Response-Time Analysis of FIFO Scheduling
by K. Bedarkar, M. Vardishvili, S. Bozhko, M. Maida, and B. Brandenburg
Appeared at RTSS'22