Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ilya Grishchenko
conf.researchr.org general profile
ASE 2026 profile
ICSE 2023 profile
Registered user since Sun 9 Aug 2026
Name:
Ilya Grishchenko
Affiliation:
University of Toronto
Personal website:
https://ylya.github.io
Contributions
2026
ASE
Author of RFC2TLA+: Extracting and Verifying Formal Models from RFC Documents using Continuous LLM Feedback within the Research Papers-track
2023
ICSE
Author of COLUMBUS: Android App Testing Through Systematic Callback Exploration within the Technical Track-track
Share
x
Mon 5 Oct 16:48