Language Support for Generic Programming in Object-Oriented Languages: Peculiarities, Drawbacks, Ways of Improvement. - Julia Belyakova (SBLP, 2016)

Generic Approach to Certified Static Checking of Module-like Constructs. - Julia Belyakova (FTfJP@ECOOP, 2017)

Julia subtyping: a rational reconstruction. - Francesco Zappa Nardelli; Julia Belyakova; Artem Pelenitsyn; Benjamin Chung; Jeff Bezanson; Jan Vitek (Proc. ACM Program. Lang., 2018)

Decidable tag-based semantic subtyping for nominal types, tuples, and unions. - Julia Belyakova (FTfJP@ECOOP, 2019)

Just TYPEical: Visualizing Common Function Type Signatures in R. - Cameron Moy; Julia Belyakova; Alexi Turcotte; Sara Di Bartolomeo; Cody Dunne (IEEE VIS (Short Papers), 2020)

World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version). - Julia Belyakova; Benjamin Chung; Jack Gelinas; Jameson Nash; Ross Tate; Jan Vitek (CoRR, 2020)

World age in Julia: optimizing method dispatch in the presence of eval. - Julia Belyakova; Benjamin Chung; Jack Gelinas; Jameson Nash; Ross Tate; Jan Vitek (Proc. ACM Program. Lang., 2020)

Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version). - Artem Pelenitsyn; Julia Belyakova; Benjamin Chung; Ross Tate; Jan Vitek (CoRR, 2021)

Type stability in Julia: avoiding performance pathologies in JIT compilation. - Artem Pelenitsyn; Julia Belyakova; Benjamin Chung; Ross Tate; Jan Vitek (Proc. ACM Program. Lang., 2021)

Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Artifact). - Artem Pelenitsyn; Julia Belyakova; Benjamin Chung; Ross Tate; Jan Vitek (Zenodo, 2021)

Decidable Subtyping of Existential Types for Julia. - Julia Belyakova; Benjamin Chung; Ross Tate; Jan Vitek (Proc. ACM Program. Lang., 2024)

Derivative-Guided Symbolic Execution. - Yongwei Yuan; Zhe Zhou; Julia Belyakova; Suresh Jagannathan (Proc. ACM Program. Lang., 2025)