• Sign in
  • Sign up
conf.researchr.org / Ekaterina Zhuchko
  • POPL 2024 profile
  • POPL 2025 profile
  • POPL 2026 profile
Ekaterina Zhuchko

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
xSun 2 Nov 22:30
using conf.researchr.org (v1.72.1)
Support page
Sign Up