Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ekaterina Zhuchko
conf.researchr.org general profile
POPL 2024 profile
Not registered as user yet
Name:
Ekaterina Zhuchko
Affiliation:
Tallinn University of Technology
Contributions
2024
POPL
Session Chair of Friday Lunch Session Previews (part of Session Previews)
CPP
Author of Lean Formalization of Extended Regular Expression Matching with Lookarounds within the CPP 2024-track
Share
x
Sat 18 May 02:40