Dmitry Boulytchev

Dmitry Boulytchev


Research Groups

Biography

Born in Krasnoyarsk in 1970. In 1980, Dmitry moved to Leningrad (now St Petersburg), where he graduated from the secondary school No. 384. In 1987, he joined the Saint Petersburg State University, where studied by turns at the Mathematics & Mechanics and Biological Faculties, until eventually graduating from the Math & Mech in 1994.

In 1994-2012, he was a software developer, primarily focused on program analysis and transformations. Some notable projects include RescueWare (legacy analysis and re-engineering tool, Relativity Technologies), IntelliJ IDEA (integrated development environment, JetBrains), and HaSCoL (hardware description language, startup project).

Dmitry teaches at the SPbU Software Engineering Chair since its inception in 1999, where he currently holds an associate professor position. In 2004, he defended his Ph.D. thesis Macro-architecture Description-based Prototyping of Hardware-Software Systems under the supervision of Prof. Andrei Terekhov. Nowadays Dmitry works as a tutor at JetBrains.

In 1994-1999 he also studied at the Saint Petersburg State University of Culture and Arts, graduating as a jazz piano player. Sometimes Dmitry participates in local concerts.

Professional Activity

  • Programming languages design and implementation
  • Static analysis
  • Functional programming
  • Types, semantics
  • Certified programming

Publications

An Empirical Study of Partial Deduction for MiniKanren

March 2021

Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev

Read more

Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One

2021

Daniil Berezun, Dmitry Boulytchev

TFPIE-2021

Read more

Certified Semantics for miniKanren

2019

Proceedings of the 2019 miniKanren and Relational Programming Workshop

Read more

Relational Interpreters for Search Problems

2019

Proceedings of the 2019 miniKanren and Relational Programming Workshop

Read more

Typed Relational Conversion

2018

Petr Lozov, Andrey Vyatkin, Dmitry Boulytchev

18th International Symposium on Trends in Functional Programming

Read more

Typed Embedding of a Relational Language in OCaml

2018

Proceedings ML/OCAML 2016

Read more

Improving Refutational Completeness of Relational Search via Divergence Test

2018

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming

Read more

Combinators and Type-Driven Transformers in Objective Caml

2015

Dmitry Boulytchev

Science of Computer Programming

Read more

Polynomial-Time Optimal Pretty-Printing Combinators with Choice

2014

Anton Podkopaev, Dmitry Boulytchev

Proceedings of 9th International Andrei Ershov Memorial Conference on Perspectives of System Informatics

Read more

Precise Garbage Collection for C++ with a Non-Cooperative Compiler

2014

Daniil Berezun, Dmitry Boulytchev

Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia

Read more

Efficiently Scrapping Boilerplate Code in OCaml

2011

Dmitry Boulytchev, Sergey Mechtaev

Workshop on ML

Read more

Hardware Description Language Based on Message Passing and Implicit Pipelining

2010

Dmitry Boulytchev, Oleg Medvedev

Proceedings of the 2010 East-West Design & Test Symposium

Read more

BURS-based Instruction Set Selection

2006

Dmitry Boulytchev

Proceedings of 6th International Andrei Ershov Memorial Conference on Perspectives of System Informatics

Read more

Cooking Raw Types in Java

2005

Dmitry Boulytchev, Eugene Vigdorchik

Workshop on Multiparadigm Programming with Object-Oriented Languages

Read more

Efficient Code Generation Algorithms (in Russian)

2004

Dmitry Boulytchev

System Informatics

Read more

Macroarchitecture Description for Hardware/Software Codesign (in Russian)

2004

Dmitry Boulytchev

System Programming

Read more

Macroarchitecture Description Language for Hardware/Software Codesign (in Russian)

2004

Dmitry Boulytchev

System Programming

Read more

On Project-Specific Languages and Their Application in Reengineering

2002

Dmitry Boulytchev, Dmitry Koznov, Andrey A. Terekhov

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR 995802, pp. 177-185

Read more

An Empirical Study of Retargetable Compilers

2001

Dmitry Boulytchev, Dmitry Lomov

Proceedings of 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics

Read more

Pattern-matching and Identification of Structural Types in PL/1 (in Russian)

2000

Dmitry Boulytchev

Automated Reengeneering of Programs, Saint Petersburg

Read more