Skip to main content

Miking Workshop 2023

November 23, 2023, KTH Campus, Digital Futures Hub, Stockholm, Sweden

img alt

Welcome to the 2nd Miking workshop! Miking is an open-source project developed mainly at KTH Royal Institute of Technology, with several collaborators within Sweden and internationally. The framework is a meta-language system for creating domain-specific languages and tools. For more information, please see the vision paper, the Miking webpage, or the GitHub pages. In this year's workshop, you will be exposed to the latest developments of the framework. There will be informal hacking sessions, technical talks, and research talks. Please bring your laptop!

The workshop is free of charge and includes lunch, coffee, and Swedish fika. 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: November 23, 2023
  • Time: 10.00-17.00 (including lunch and fika, 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 (Deadline November 16, noon): The registration is now closed.

Agenda​

10.00 Registration

10.15 Welcome and introduction to Miking. Speaker: David Broman [slides]

11.00 Coffee break

11:15 Session 1: Types and Parsing in Miking

  • Title: Universal Collection Types. Speaker: Viktor Palmkvist [slides]
  • Title: Towards LR parsing in Miking - key ideas and challenges. Speaker: John Wikman [slides]
  • Title: A new polymorphic type system for Miking. Speaker: Anders Ã…gren Thuné [slides]

12.00 Lunch

13.00 Hacking session 1: Getting started and playing around Organizers: The Miking core team

14:30 Session 2: Tuning and Code Generation

  • Title: Programming with Context-Sensitive Holes using Dependency-Aware Tuning. Speaker: Linnea Stjerna [slides]
  • Title: Functional programming on the JVM. Speaker: Asta Olofsson

15.00 Coffee break

15:30 Session 3: Domain-Specific Languages (DSLs) in Miking

  • Title: TreePPL - a new DSL in Miking for Phyologenetics. Speaker: Viktor Senderov [slides]
  • Title: Real-time Probabilistic Programming, a DSL in Miking. Speaker: Lars Hummelgren [slides]
  • Title: Equation-based modeling and simulation in Miking. Speaker: Oscar Eriksson [slides]

16.15 Hacking session 2: Try out your favorite DSL or hack on the compiler Organizers: The Miking core team

17.00 Conclusions and more happy hacking!

Previous workshops​