Julia Belyakova

According to our database, Julia Belyakova authored at least 9 papers between 2016 and 2021.

Collaborative distances:

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

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 (Extended Version).

Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek

CoRR, 2021

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

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

Just TYPEical: Visualizing Common Function Type Signatures in R.

Cameron Moy, Julia Belyakova, Alexi Turcotte, Sara Di Bartolomeo, Cody Dunne

Proceedings of the 31st IEEE Visualization Conference, 2020

2019

Decidable tag-based semantic subtyping for nominal types, tuples, and unions.

Julia Belyakova

Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, 2019

2018

Julia subtyping: a rational reconstruction.

Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek

Proc. ACM Program. Lang., 2018

2017

Generic Approach to Certified Static Checking of Module-like Constructs.

Julia Belyakova

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

2016

Language Support for Generic Programming in Object-Oriented Languages: Peculiarities, Drawbacks, Ways of Improvement.

Julia Belyakova

Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016