About

This course has been developed by Dr. Mikhail Barash, a researcher at Bergen Language Design Laboratory at University of Bergen, Norway.

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.

You can contact Mikhail via Twitter @mikhail_barash or by e-mail mikhail.barash@utu.fi.

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.