Talks

Conference/workshop presentations

  1. OOPSLA 2020
    World Age in Julia: Optimizing Method Dispatch in the Presence of Eval
    Venue: OOPSLA 2020. Online
    Date: Nov 17, 2020
  2. VIS 2020 (short paper)
    Just TYPEical: Visualizing Common Function Type Signatures in R
    Venue: VIS 2020. Online
    Date: Oct 28, 2020
  3. FTfJP 2019
    Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions
    Venue: FTfJP 2019. London, United Kingdom
    Date: Jul 15, 2019
  4. FTfJP 2017
    Generic Approach to Certified Static Checking of Module-like Constructs
    Venue: FTfJP 2017. Barcelona, Spain
    Date: Jun 20, 2017
  5. SBLP 2016
    Language Support for Generic Programming in Object-Oriented Languages: Peculiarities, Drawbacks, Ways of Improvement
    Venue: Brazilian Symposium on Programming Languages 2016. Maringa, Brazil
    Date: Sep 23, 2016
  6. ECOOP DS 2016
    Concept Parameters as a New Mechanism of Generic Programming for C# Language
    Venue: ECOOP 2016 Doctoral Symposium. Rome, Italy
    Date: July 17, 2016
  7. META 2016
    Language Support for Generic Programming in Object-Oriented Languages: Design Challenges
    Venue: META 2016: Fifth International Valentin Turchin Workshop on Metacomputation. Pereslavl-Zalessky, Russia
    Date: June 28, 2016

Seminar talks

  1. NEPLS 2017
    Generic Coq Library for Certified Static Checking of Module-like Language Constructs
    Venue: New England Programming Languages and Systems Symposium Series (Olsen Hall, UMass Lowell). Lowell, MA, USA
    Date: Jun 2, 2017
  2. NEUPRL 2017
    Comparative Study of Generic Programming Features in Object-Oriented Languages
    Venue: Programming Language Seminar, Khoury College of Computer Sciences, Northeastern University. Boston, MA, USA
    Date: Feb 3, 2017

Подкасты (Podcast interviews in Russian)

  1. Podlodka Podcast #230
    Язык Julia
    Venue: Podlodka Podcast
    Date: 24 августа 2021 (Aug 24)

Доклады (Talks in Russian)

TBD or at the old web page.

  1. Семинар ЯПиК 2019
    Семантическое подтипирование на основе типовых тегов (Tag-based Semantic Subtyping)
    Venue: Семинар «Языки программирования и компиляторы», Мехмат ЮФУ. Ростов-на-Дону, Россия (Seminar on Programming Languages and Compilers, Rostov-on-Don, Russia)
    Date: 15 мая 2019 (May 15)
  2. PLC 2017
    Реализация сертифицированного интерпретатора для расширения простого типизированного лямбда-исчисления с концепт-параметрами (Implementation of Certified Interpreter for an Extension of Simply Typed Lambda Calculus with Concept Parameters)
    Venue: Конференция памяти А.Л. Фуксмана «Языки программирования и компиляторы 2017» (A.L. Fuksman Conference on Programming Languages and Compilers). Ростов-на-Дону, Россия (Rostov-on-Don, Russia)
    Date: 20 апреля 2017 (Apr 20)
  3. Семинар JetBrains Research 2016
    Средства обобщённого программирования в объектно-ориентированных языках: особенности, недостатки, возможные альтернативы (Generic Programming Approaches and Tools in Object-Oriented Languages: Peculiarities, Drawbacks, Alternatives)
    Venue: Семинар лаборатории языковых инструментов (Seminar of Programming Languages and Tools Lab), JetBrains Research. Санкт-Петербург, Россия (Saint Petersburg, Russia)
    Date: 24 октября 2016 (October 24)