Paper accepted at APSEC 2023

Paper titled "Verifying Exception-Handling Code in Concurrent Libraries" co-authored by Dhriti Khanna, Subodh Sharma and Rahul Purandare has been accepted for publication in Asia Pacific Software Engineering Conference (APSEC2023). Congratulations to the team!

Links to tools created by the group

Get in touch with us

Education - This is a contributing Drupal Theme
Design by WeebPal.