Julia Belyakova

15 papers Journal 11Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Derivative-Guided Symbolic Execution.
Proc. ACM Program. Lang.
Yongwei Yuan, Zhe Zhou, Julia Belyakova, Suresh Jagannathan
2025 J jnl
From Traces to Program Incorrectness: A Type-Theoretic Approach.
CoRR
Yongwei Yuan, Zhe Zhou, Julia Belyakova, Benjamin Delaware, Suresh Jagannathan
2024 J jnl
Decidable Subtyping of Existential Types for Julia.
Proc. ACM Program. Lang.
Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
2024 J jnl
Derivative-Guided Symbolic Execution.
CoRR
Yongwei Yuan, Zhe Zhou, Julia Belyakova, Suresh Jagannathan
2021 J jnl
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version).
CoRR
Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
2021 J jnl
Type stability in Julia: avoiding performance pathologies in JIT compilation.
Proc. ACM Program. Lang.
Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
2020 — conf
Just TYPEical: Visualizing Common Function Type Signatures in R.
IEEE VIS (Short Papers)
Cameron Moy, Julia Belyakova, Alexi Turcotte, Sara Di Bartolomeo, Cody Dunne
2020 J jnl
World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version).
CoRR
Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
2020 J jnl
World age in Julia: optimizing method dispatch in the presence of eval.
Proc. ACM Program. Lang.
Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
2019 J jnl
Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions.
CoRR
Julia Belyakova
2019 — conf
Decidable tag-based semantic subtyping for nominal types, tuples, and unions.
FTfJP@ECOOP
Julia Belyakova
2018 J jnl
Julia subtyping: a rational reconstruction.
Proc. ACM Program. Lang.
Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek
2017 — conf
Generic Approach to Certified Static Checking of Module-like Constructs.
FTfJP@ECOOP
Julia Belyakova
2017 J jnl
Generic Approach to Certified Static Checking of Module-like Constructs.
CoRR
Julia Belyakova
2016 — conf
Language Support for Generic Programming in Object-Oriented Languages: Peculiarities, Drawbacks, Ways of Improvement.
SBLP
Julia Belyakova