• Sign in
  • Sign up
conf.researchr.org / Ekaterina Verbitskaia
  • ICFP 2018 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • ICFP 2024 profile
  • PLDI 2020 profile
  • POPL 2024 profile
  • SPLASH 2017 profile
Ekaterina Verbitskaia

Registered user since Wed 11 Dec 2019

Name:Ekaterina Verbitskaia
Country:Netherlands
Affiliation:JetBrains Research; Constructor University Bremen
X (Twitter): https://x.com/kajigor
GitHub: https://github.com/kajigor
Research interests:partial evaluation, relational programming, supercompilation, inverse computations

Contributions

2024

miniKanren

  • Co-chair in Program Committee within the miniKanren 2024-track

PEPM

  • Author of A Case Study in Functional Conversion and Mode Inference in miniKanren within the PEPM 2024-track

2023

miniKanren

  • Author of Semi-Automated Direction-Driven Functional Conversion within the miniKanren 2023-track
  • Committee Member in Program Committee within the miniKanren 2023-track

2022

miniKanren

  • Presenter of On a Direction-Driven Functional Conversion within the miniKanren 2022-track

2020

BAPL

  • Committee Member in Program Committee within the BAPL 2020 (Cancelled)-track

miniKanren

  • Author of An Empirical Study of Partial Deduction for miniKanren within the miniKanren 2020-track

2019

miniKanren

  • Author of Relational Interpreters for Search Problems within the miniKanren 2019-track

2018

Scala

  • Author of Parser Combinators for Context-Free Path Querying within the Scala 2018-track

2017

Parsing@SLE

  • Author of Parsing techniques for graph analysis within the Parsing@SLE 2017-track
Share
xWed 21 May 01:14
using conf.researchr.org (v1.69.0)
Support page
Sign Up