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:United States
Affiliation:Northeastern University
Research interests:type theory, programming languages, theorem proving, generic programming, compiler construction, software testing

Contributions

SPLASH 2021 Session Chair of Dynamic Languages - mirror (part of OOPSLA)
Committee Member in External Review Committee within the OOPSLA-track
Session Chair of Dynamic Languages (part of OOPSLA)
Author of Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation within the OOPSLA-track
ECOOP 2020 Diversity Chair in Organizing Committee
SPLASH 2020 Author of World Age in Julia: Optimizing Method Dispatch in the Presence of Eval within the OOPSLA-track
Session Chair of W-1 (part of OOPSLA)
PLDI 2020 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
FTfJP 2019 Author of Decidable, Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions within the FTfJP 2019-track
TyDe 2019 Committee Member in Program Committee within the TyDe 2019-track
ECOOP 2019 Session 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 2018 Author of Julia Subtyping: a Rational Reconstruction within the Artifacts-track
Author of Julia Subtyping: a Rational Reconstruction within the OOPSLA-track
FTfJP 2017 Author of Generic Approach to Certified Static Checking of Module-like Constructs within the FTfJP 2017-track
ECOOP 2018 Doctoral Symposium Co-Chair in Organizing Committee
ISSTA 2018 Doctoral Symposium Co-Chair in Organizing Committee
ECOOP and ISSTA 2018 Doctoral Symposium Co-Chair in Organizing Committee within the Doc Symposium-track
Doctoral Symposium Co-Chair in Organizing Committee
ECOOP 2017 Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
ECOOP 2016 Author of Concept Parameters as a New Mechanism of Generic Programming for C# Language within the Doctoral Symposium-track