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!