Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ilya Shchepetkov
conf.researchr.org general profile
FM 2026 profile
Registered user since Mon 23 Mar 2026
Name:
Ilya Shchepetkov
Country:
Russia
Affiliation:
Kaspersky Lab
Contributions
2026
FM
Author of Identifying Design Flaws in a Lock-Free Task Pool with TLA+ within the ABZ-track
Share
x
Sat 27 Jun 21:35