Mikhail’s interests include programming languages, language workbenches, developer tools, and parsing algorithms. He obtained his Ph.D. degree from University of Turku (Finland) focusing on studying extensions of context-free grammars and their applications to defining syntax of programming languages.
News (updated April, 2021)
- Formal Methods (FM 2021), 6-hour tutorial on “Implementing an IDE for “tiny” Event-B with JetBrains Metaprogramming System MPS”, November 2021.
- Rigorous State Based Methods (ABZ 2021), 3-hour tutorial on “Domain-specific languages with JetBrains MPS”, June 2021.
- Software Language Engineering (SLE 2021), programme committee member.
- Generative Programming: Concepts & Experiences (GPCE 2021), programme committee member.
Talks and presentations
Talks and presentations by Mikhail Barash related to domain-specific languages and syntax of programming languages:
- JetBrains Metaprogramming System MPS. Java User Group javaBin, Oslo, Norway, December, 2018.
- JetBrains Metaprogramming System MPS. Developers Club, Tallinn, Estonia, October, 2018.
- Introducing Language Workbench Language Wheel. Bergen Language Design Laboratory, University of Bergen, Norway, hosted by M. Haveraaen, September, 2018.
- JetBrains Metaprogramming System MPS. Java User Group javaBin, Bergen, Norway, September, 2018.
- JetBrains Metaprogramming System MPS. Java User Group javaBin, Trondheim, Norway, September, 2018.
- KernelF, a functional core for domain-specific languages in JetBrains MPS. ClojuTRE Functional Programming Conference, Helsinki, Finland, September, 2018.
- Reflections on teaching JetBrains MPS within a university course. JetBrains MPS Meet-up, Munich, Germany, April, 2018.
- Domain-specific languages for describing user interfaces. Vaadin Ltd., Turku, Finland, February, 2018.
- Cross-references in formal grammars. School of Computing, Queen’s University, Kingston, Ontario, Canada, hosted by K. Salomaa and J. Cordy, June, 2016.
- Grammars for programming languages. Bergen Language Design Laboratory, University of Bergen, Norway, hosted by M. Haveraaen, May, 2016.
- Context specifications in formal grammars. Theory and Logic Group, Vienna University of Technology, Austria, hosted by R. Freund, November, 2015.
- On a new model to specify programming languages. Institute for System Software, Johannes Kepler University Linz, Austria, hosted by H. Mössenböck, November, 2015.