Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ekaterina Zhuchko
conf.researchr.org general profile
POPL 2024 profile
POPL 2025 profile
POPL 2026 profile
Registered user since Tue 10 Sep 2024
Name:
Ekaterina Zhuchko
Affiliation:
Tallinn University of Technology
Contributions
2026
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2025
POPL
Author of Symbolic Automata: omega-Regularity Modulo Theories within the POPL-track
Committee Member in Student Volunteers
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
Sun 2 Nov 22:30
