Miking Workshop 2023
November 23, 2023, KTH Campus, Digital Futures Hub, Stockholm, Sweden
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).
- 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.
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]
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!