Julia Belyakova

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 12

Top Topics

Domain Specific

Verification Method

Computerized Tomography

Definition Language

Top Venues

Proc. ACM Program. Lang.

Publications

Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
Decidable Subtyping of Existential Types for Julia. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version). CoRR (2021)
Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
Type stability in Julia: avoiding performance pathologies in JIT compilation. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version). CoRR (2020)
Cameron Moy, Julia Belyakova, Alexi Turcotte, Sara Di Bartolomeo, Cody Dunne
Just TYPEical: Visualizing Common Function Type Signatures in R. IEEE VIS (Short Papers) (2020)
Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
World age in Julia: optimizing method dispatch in the presence of eval. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Julia Belyakova
Decidable tag-based semantic subtyping for nominal types, tuples, and unions. FTfJP@ECOOP (2019)
Julia Belyakova
Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions. CoRR (2019)
Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek
Julia subtyping: a rational reconstruction. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Julia Belyakova
Generic Approach to Certified Static Checking of Module-like Constructs. FTfJP@ECOOP (2017)
Julia Belyakova
Generic Approach to Certified Static Checking of Module-like Constructs. CoRR (2017)
Julia Belyakova
Language Support for Generic Programming in Object-Oriented Languages: Peculiarities, Drawbacks, Ways of Improvement. SBLP (2016)