All Stories

  1. Derivative-Guided Symbolic Execution

    Article • Proceedings of the ACM on Programming Languages, January 2025, ACM (Association for Computing Machinery)

    Julia Belyakova

  2. Type stability in Julia: avoiding performance pathologies in JIT compilation

    Article • Proceedings of the ACM on Programming Languages, October 2021, ACM (Association for Computing Machinery)

    Julia Belyakova

  3. Efficient and consistent semantics of eval in a programming language

    Article • Proceedings of the ACM on Programming Languages, November 2020, ACM (Association for Computing Machinery)

    Julia Belyakova

  4. Julia subtyping: a rational reconstruction

    Article • Proceedings of the ACM on Programming Languages, October 2018, ACM (Association for Computing Machinery)

    Julia Belyakova