Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dhriti Khanna
conf.researchr.org general profile
APSEC 2023 profile
ICST 2021 profile
Not registered as user
Name:
Dhriti Khanna
Contributions
2023
APSEC
Author of Verifying Exception-Handling Code in Concurrent Libraries within the Technical Track-track
2021
ICST
Author of Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks within the Research Papers-track
Share
x
Mon 27 Oct 00:35