Papers

Conferences & Journals

  1. OOPSLA 2021 🔗
    Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation
    Authors: Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
    DOI: 10.1145/3485527
    Venue: Proc. ACM Program. Lang., Volume 5, OOPSLA, Article 150 (26 pages)
  2. OOPSLA 2021 Extended (arXiv) 🔗
    Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version)
    Authors: Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
    Venue: arXiv on Programming Languages (33 pages)
  3. OOPSLA 2020 🔗
    World Age in Julia: Optimizing Method Dispatch in the Presence of Eval
    Authors: Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
    DOI: 10.1145/3428275
    Venue: Proc. ACM Program. Lang., Volume 4, OOPSLA, Article 207 (26 pages)
    Reviews
  4. OOPSLA 2020 Extended (arXiv) 🔗
    World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version)
    Authors: Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
    Venue: arXiv on Programming Languages (43 pages)
  5. VIS 2020 (short paper) 🔗
    Just TYPEical: Visualizing Common Function Type Signatures in R
    Authors: Cameron Moy, Julia Belyakova, Alexi Turcotte, Sara Di Bartolomeo, Cody Dunne
    DOI: 10.31219/osf.io/pyqac
    Venue: IEEE Visualization Conference 2020, Short Papers, OSF Preprints (5 pages)
  6. OOPSLA 2018 🔗
    Julia Subtyping: A Rational Reconstruction
    Authors: Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek
    DOI: 10.1145/3276483
    Venue: Proc. ACM Program. Lang., Volume 2, OOPSLA, Article 113 (28 pages)
  7. SBLP 2016 🔗
    Language Support for Generic Programming in Object-Oriented Languages: Peculiarities, Drawbacks, Ways of Improvement
    Authors: Julia Belyakova
    DOI: 10.1007/978-3-319-45279-1_1
    Venue: LNCS Programming Languages: 20th Brazilian Symposium on Programming Languages, Volume 9889, Article 1 (15 pages)
  8. SYRCoSE 2016 🔗
    Language Support for Generic Programming in Object-Oriented Languages: Design Challenges
    Authors: Julia Belyakova
    DOI: 10.15514/ISPRAS-2016-28(2)-1
    Venue: Proceedings of the Institute for System Programming, No 28(2)
  9. SYRCoSE 2015 🔗
    Pitfalls of C# Generics and Their Solution Using Concepts
    Authors: Julia Belyakova, Stanislav Mikhalkovich
    DOI: 10.15514/ISPRAS-2015-27(3)-2
    Venue: Proceedings of the Institute for System Programming, No 27(3)

Workshops

  1. FTfJP 2019 🔗
    Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions
    Authors: Julia Belyakova
    DOI: 10.1145/3340672.3341115
    Venue: Proc. 21st Workshop on Formal Techniques for Java-like Programs, Article 3 (11 pages)
  2. FTfJP 2017 🔗
    Generic Approach to Certified Static Checking of Module-like Constructs
    Extended Abstract
    Authors: Julia Belyakova
    DOI: 10.1145/3103111.3104045
    Venue: Proc. 19th Workshop on Formal Techniques for Java-like Programs, Article 5 (2 pages)

Публикации (Publications in Russian)

TBD or at the old web page.

Журналы списка ВАК

  1. Дистанционное обучение 2012
    Использование веб-среды PascalABC.NET для дистанционного обучения программированию (Using a Web-Environment PascalABC.NET for Distance Teaching of Programming)
    Authors: М. Э. Абрямян, Ю. В. Белякова, С. С. Михалкович
    Venue: Журнал «Дистанционное и виртуальное обучение». № 57(3)
  2. Современные ИТ 2015
    Концепт-параметры как механизм развития средств обобщённого программирования в языке C# (Concept Parameters as a Mechanism of Development of the Language Support for Generic Programming in C#)
    Authors: Ю. В. Белякова, С. С. Михалкович
    Venue: Научный журнал «Современные информационные технологии и ИТ-образование», том 2 (№ 11)

Сборники конференций

Образование