Skip to main content

Miking Workshop 2022

December 14, 2022, KTH Campus, Digital Futures Hub, Stockholm, Sweden

img alt

Welcome to the first Miking workshop! Miking is an open-source project developed at KTH Royal Institute of Technology and is now released officially for the first time. The framework is a meta-language system for creating domain-specific languages and tools. Please see the vision paper, the Miking webpage, or the GitHub pages for more information. In this first workshop, you will learn how to code with the Miking core language and how to create your own domain-specific language using the framework. There will be many interesting hands-on tutorials, technical talks, and research talks. Please bring your laptop!

The workshop is free of charge and includes lunch, coffee, and dinner. The format is hybrid. That is, it is possible to attend both in person, and online using Zoom. In both cases, you need to register (first come, first served). The workshop is organized together with Digital Futures. Several organizations have been funding research projects related to the Miking framework, including the Swedish research council (VR), the Swedish Foundation for Strategic Research (SSF), Vinnova, and Wallenberg AI, Autonomous Systems and Software Program (WASP).

Quick facts

  • Date: December 14, 2022
  • Time: 9.00-20.00 (including lunch and dinner, see below)
  • Cost: Free of charge
  • Format: Hybrid (in person or online via Zoom)
  • Place: KTH Campus, Digital Futures Hub, Stockholm. For a map, see here.

REGISTRATION (Zoom participation): The in-person spots are now full, but it is still possible to register and participate online via Zoom. Please register as soon as possible by clicking on this link!

Agenda

9.00 Registration

9.15 Welcome and introduction to Miking. Speaker: David Broman

9.45 Coffee break

10.00 Tutorial 1: Getting started with MCore. Organizers: David Broman, John Wikman, Oscar Eriksson, and Viktor Palmkvist

12.00 Lunch

13:00 Session 1: The Miking framework - under the hood

  • Title: Miking Compiler Overview. Speaker: Lars Hummelgren
  • Title: ML-style Type Checking for Miking MExpr. Speaker: Anders Ågren Thuné
  • Title: Compiler backends. Speaker: William Rågstad and Daniel Lundén
  • Title: Making a Friendlier Compiler with Resolvable Ambiguity. Speaker: Viktor Palmkvist

14.00 Coffee break

14.30 Tutorial 2: Making your own DSL. Organizer: Viktor Palmkvist and Oscar Eriksson

16.15 Session 2: Probabilistic programming in Miking

  • Title: Probabilistic Programming and Miking DPPL. Speaker: Daniel Lundén
  • Title: Static Delayed Sampling for Probabilistic Programming Languages. Speaker: Gizem Çaylak
  • Title: TreePPL: A DSL for Evolutionary Trees. Speaker: Viktor Senderov

17.00 Coffee break

17.30 Session 3: Accelerating performance in Miking

  • Title: GPU Acceleration of Expressions. Speaker: Lars Hummelgren
  • Title: Programming with holes. Speaker: Linnea Stjerna

18.00 Dinner and happy hacking!

These links refer to material that will be covered during the workshop tutorial sessions:

Slides: