Ekaterina Verbitskaia

According to our database, Ekaterina Verbitskaia authored at least 4 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

A Case Study in Functional Conversion and Mode Inference in miniKanren.

Ekaterina Verbitskaia, Igor Engel, Daniil Berezun

Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2024

2021

An Empirical Study of Partial Deduction for miniKanren.

Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev

Proceedings of the 9th International Workshop on Verification and Program Transformation, 2021

2018

Parser combinators for context-free path querying.

Ekaterina Verbitskaia, Ilya Kirillov, Ilya Nozkin, Semyon V. Grigorev

Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 2018

2015

Relaxed Parsing of Regular Approximations of String-Embedded Languages.

Ekaterina Verbitskaia, Semyon V. Grigorev, Dmitry Avdyukhin

Proceedings of the Perspectives of System Informatics, 2015