LabCompass

Julia Belyakova

Computer Science · Purdue University West Lafayette

OpenAlex ORCID
Mid career · publishing since 2015
Logic, programming, and type systemsParallel Computing and Optimization TechniquesSoftware Engineering ResearchFormal Methods in VerificationAdvanced Software Engineering Methodologies

Publications

16

Citations

72

Est. group size

—

Recurring co-author estimate

Active years

11

Publishing since 2015

Research summary
AI-generated

Julia Belyakova studies programming languages, focusing on type systems (the rules that determine what kinds of values a program can work with) and how languages like Julia handle dynamic method dispatch, generic programming, and static checking. Her work aims to make languages more reliable and easier to reason about while keeping them flexible and performant. This research is relevant to students interested in the theoretical foundations and practical engineering of programming language design.

Type systems and subtypingGeneric programming in object-oriented languagesDynamic method dispatch and language runtime behaviorFormal/certified verification of software constructsProgramming language design (Julia language ecosystem)

Publication output has been uneven over the last decade, with a peak in 2020 followed by gaps in several years and only sporadic output since, averaging roughly one publication every other year in the last five years.

Generated by claude-sonnet-5 from public bibliographic data · Jul 20, 2026

Publication cadence
Publications per year over the last 10 years — averaging 0.6/year recently
2017: 1 publication172018: 2 publications18192020: 5 publications5202021: 2 publications2122232024: 1 publication242025: 2 publications2526
Recent publications
Publishes in
  • Proceedings of the ACM on Programming Languages×5
  • arXiv (Cornell University)×3
  • Proceedings of the Institute for System Programming of RAS×1
  • Lecture notes in computer science×1
  • Artifact Digital Object Group×1
Similar researchers
By research-topic overlap

This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.

Last updated Jul 20, 2026.

Claim or correct this profile