Julia Belyakova

Registered user since Wed 13 Jan 2016

Name: Julia Belyakova

Bio: Sep 2018 – present: PhD Student, Northeastern University, USA.
Sep 2017 – Jul 2018: Researcher, Czech Technical University in Prague, Czech Republic.
Jan 2017 – Jun 2017: Research Scientist, Northeastern University, USA.
2014–2016: teaching assistant/lecturer at Southern Federal University, Russia.
Received MS in Computer Science from Southern Federal University, Russia in 2014.

Country: Russia

Affiliation: Northeastern University, USA

Personal website: https://julbinb.github.io/

Research interests: type theory, programming languages, theorem proving, generic programming, compiler construction, software testing

Contributions

ECOOP 2020Diversity Chair in Organizing Committee
PLDI 2020Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
FTfJP 2019Author of Decidable, Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions within the FTfJP 2019-track
TyDe 2019Committee Member in Program Committee within the TyDe 2019-track
ECOOP 2019Session Chair of DS Session 4 (part of Doctoral Symposium)
Session Chair of DS Session 1 (part of Doctoral Symposium)
Session Chair of DS Session 3 (part of Doctoral Symposium)
Doctoral Symposium Co-Chair in Organizing Committee
Committee Member in Artifact Evaluation Committee within the Artifacts-track
Co-chair in Organizing Committee within the Doctoral Symposium-track
SPLASH 2018Author of Julia Subtyping: a Rational Reconstruction within the Artifacts-track
Author of Julia Subtyping: a Rational Reconstruction within the OOPSLA-track
FTfJP 2017Author of Generic Approach to Certified Static Checking of Module-like Constructs within the FTfJP 2017-track
ECOOP 2018Doctoral Symposium Co-Chair in Organizing Committee
ISSTA 2018Doctoral Symposium Co-Chair in Organizing Committee
ECOOP and ISSTA 2018Doctoral Symposium Co-Chair in Organizing Committee within the Doc Symposium-track
Doctoral Symposium Co-Chair in Organizing Committee
ECOOP 2017Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
ECOOP 2016Author of Concept Parameters as a New Mechanism of Generic Programming for C# Language within the Doctoral Symposium-track