You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
* Add (part of) slides of 2024 workshop
* Update workshop 2024 slides by Oscar and Lars
* Add slides by Viktor S.
* Add Gizem's slides
* Add slides by Jan
Copy file name to clipboardExpand all lines: src/pages/workshop-2024.md
+9-9Lines changed: 9 additions & 9 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -31,7 +31,7 @@ The workshop is free of charge and includes lunch, coffee, and Swedish fika. The
31
31
32
32
**10.30****Welcome and Introduction to Miking**.
33
33
34
-
Speaker: David Broman
34
+
Speaker: David Broman [[slides](/workshop-2024/intro-miking-workshop-2024.pdf)]
35
35
36
36
37
37
**11.15****Coffee break**
@@ -44,27 +44,27 @@ Speaker: Viktor Palmkvist
44
44
45
45
**13:00****Session 1: Next generation of Miking: Types and Tool Support**
46
46
47
-
* Title: *Language Composition through Product Extension and Its Use Cases for DSL Development*. Speaker: Marten Voorberg
48
-
* Title: *Empowering DSLs with Automated Language Server Generation*. Speaker: Didrik Munther
47
+
* Title: *Language Composition through Product Extension and Its Use Cases for DSL Development*. Speaker: Marten Voorberg[[slides](/workshop-2024/miking-product-extension.pdf)]
48
+
* Title: *Empowering DSLs with Automated Language Server Generation*. Speaker: Didrik Munther[[slides](/workshop-2024/miking-lsp.pdf)]
49
49
50
50
**13:30****Hacking session 1: Getting started and playing around**
51
51
52
52
Organizers: The Miking core team
53
53
54
54
**14:15****Session 2: Optimized and Efficient Domain-Specific Languages**
55
55
56
-
* Title: *Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers*. Speaker: Oscar Ericsson
57
-
* Title: *Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions*. Speaker: Lars Hummelgren
58
-
* Title: *Automated Inference Optimizations in the Probabilistic Programming Language Miking CorePPL*. Speaker: Gizem Caylak
56
+
* Title: *Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers*. Speaker: Oscar Ericsson[[slides](/workshop-2024/miking-peadae.pdf)]
57
+
* Title: *Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions*. Speaker: Lars Hummelgren[[slides](/workshop-2024/miking-trellis.pdf)]
58
+
* Title: *Automated Inference Optimizations in the Probabilistic Programming Language Miking CorePPL*. Speaker: Gizem Caylak[[slides](/workshop-2024/miking-coreppl.pdf)]
59
59
60
60
**15.00****Coffee break**
61
61
62
62
**15:30****Session 3: TreePPL - Phylogenetic Inference using Miking**
63
63
64
64
* Title: *Phylogenetic Inference Problems: a Brief Introduction*. Speaker: Fredrik Ronquist
65
-
* Title: *TreePPL: a DSL in Miking for Phyologenetics*. Speaker: Viktor Senderov
66
-
* Title: *Implementing a Complex Biological Model in TreePPL*. Speaker: Mariana P Braga
67
-
* Title: *Rapid prototyping with TreePPL using Jupyter Notebook*. Speaker: Jan Kudlicka
65
+
* Title: *TreePPL: a DSL in Miking for Phyologenetics*. Speaker: Viktor Senderov[[slides](/workshop-2024/miking-treeppl.pdf)]
66
+
* Title: *Implementing a Complex Biological Model in TreePPL*. Speaker: Mariana P Braga[[slides](/workshop-2024/miking-treeppl-complex-model.pdf)]
67
+
* Title: *Rapid prototyping with TreePPL using Jupyter Notebook*. Speaker: Jan Kudlicka[[slides](/workshop-2024/miking-treeppl-jupyter.pdf)]
68
68
69
69
**16.30****Hacking session 2: Try out your favorite DSL or hack on the compiler**
0 commit comments