Julia Lang I am a PhD Student at the Khoury College of Computer Sciences, Northeastern University (Boston, MA, USA) since September 2018, currently working on formalizing aspects of the Julia language.

PRL I work with Jan Vitek in PRL, the Programming Research Laboratory.

My primary research interests are programming languages and type theory. I also like theorem proving (most of my experience has been with The Coq Proof Assistant), generic programming (like Java generics or ML polymorphism), functional and object-oriented programming, software engineering, programming by contracts, and software testing. Lately, I have been getting interested in human aspects of software engineering and the interaction between humans and programming languages.


Email: julbinb@gmail.com (preferred) or belyakova.y@northeastern.edu
Professional: github, researchgate, linkedin
Social: twitter, facebook

Short bio

I was born in 1991 in Russia, Rostov-on-Don, where I also grew up and received education. In 2012–2016, I was teaching undergraduate CS courses at my alma mater, Faculty of Mathematics, Mechanics and Computer Science (Southern Federal University).
While teaching half-time, I had entered a PhD program as well but later moved to Northeastern where my PhD journey started over.
In 2017–2018, I spent a year at the Faculty of Information Technology (Czech Technical University in Prague) doing research with Jan Vitek.
Since 2018, I have been doing my PhD in Boston.

Education. MS in “Computer Science and Information Technologies” from Southern Federal University.

Note. If you have questions about doing a PhD in the US, being an international student, woman in CS, etc., feel free to send me an email.

Recent good news (without failures)

All news starting from 2020 are here.


Julia Lang For the last several years I have been working on formalizing various aspects of the Julia programming language:

Disclaimer. Good or bad, the language has nothing to do with me, and the name match is a coincidence!

My previous research was related to language support for generic programming in object-oriented languages [SBLP 2016, SYRCoSE 2015].

Questions, comments, feedback

If you have any questions or comments about projects, papers, or website, please, feel free to email me or submit your feedback using this Google form. I would be happy to answer questions that you might have, learn about what is unclear or confusing, or receive any other feedback.

Selected papers and talks

  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 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)
  3. 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)
  4. 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)
  5. [ Talk ] Семинар ЯПиК 2019
    Семантическое подтипирование на основе типовых тегов (Tag-based Semantic Subtyping)
    Venue: Семинар «Языки программирования и компиляторы», Мехмат ЮФУ. Ростов-на-Дону, Россия (Seminar on Programming Languages and Compilers, Rostov-on-Don, Russia)
    Date: 15 мая 2019 (May 15)
  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)