Programming Language Research Meetup @ Oracle 2019-06-12
1 When
The meetup will take place on June 12th 2019, starting at 9:30 and going on until 16:30. There will be an organised outing afterwards for anyone interested in socialising.
2 Why
To build a community of programming languages researchers in Sweden, to get “everyone” up to speed about what we are all doing, network, form new collaborations, and drink coffee (for some value of coffee).
3 Who
3.1 Organisers
- Jesper Wilhelmsson (Oracle)
- Tobias Wrigstad (UU)
- Philipp Haller (KTH)
3.2 Confirmed Speakers
| Namn | Affiliation | Talk title |
|---|---|---|
| Albert (Mingkun) Yang | UU | Object Relocation for Improved Cache Locality |
| Albin Stjerna | UU | (Maybe) Owning Things, Declaratively – Modelling Rust’s Reference Ownership Analysis Declaratively in Datalog |
| Beatrice Åkerblom | SU | Reference Capabilities for Safe Parallel Array Programming |
| Christian Schulte | KTH | Unison: From Optimality to Diversity… |
| Christoph Reichenbach | LTH | Program Analysis and Programmer Productivity Tools |
| Christoph Kessler | LiU | High-Level Portable PRogramming of Heterogeneous Parallel Systems |
| David Broman | KTH | A Vision of Miking: Heterogeneous Language Composition and Self-Learning Compilers |
| Elias Castegren | KTH | Designing Languages for Composition |
| Emma Söderberg | LTH | Useful Program Analysis |
| Görel Hedin | LTH | Extensible Programming Language Tools |
| Kiko Fernandez | UU | Control-Flow and Data-Flow Futures |
| Kostis Sanogas | UU | Stateless Model-Checking |
| Marjan Sirjani | MDH | Designing Actor Languages for Model Checking and Performance Evaluation |
| Per Lidén | Oracle | The design of ZGC |
| Thomas Sewell | Chalmers | Overview of the CakeML Verified ML Environment (Short) |
| Walid Taha | HH | Modeling and Rigorous Simulation of Hybrid Systems |
3.3 Attendees (Updated as confirmations come in)
- Albert (Mingkun) Yang, UU
- Albin Stjerna, UU
- Alexander Troshin, UU
- Alexandru Dura, LTH
- Alexis Remmers, UU
- Alfred Åkesson, LTH
- Beatrice Åkerblom SU
- Caroline Borg, KTH
- Christian Schulte, KTH
- Christoph Kessler, LiU
- Christoph Reichenbach, LTH
- Daniel Lundén, KTH
- David Broman, KTH
- David Simms, Oracle
- Elias Castegren, KTH
- Emma Söderberg, LTH
- Ellen Arvidsson, KTH
- Erik Österlund, Oracle
- Görel Hedin, LTH
- Jesper Öqvist, LTH
- Johannes Borgström, UU
- Karl-Filip Faxén, SICS/RISE
- Kiko Fernandez, UU
- Kostis Sanogas, UU
- Marjan Sirjani, MDH
- Michael Rehn, UU
- Oscar Eriksson, KTH
- Patrik Hedlin, Oracle
- Per Lidén, Oracle
- Peter A. Jonsson, SICS/RISE
- Robin Westberg, Oracle
- Saranya Natarajan, KTH
- Sotirios Tzamaras, HH
- Thomas Sewell, Chalmers
- Tomas Ericson, Oracle
- Walid Taha, HH
- Viktor Palmkvist, KTH
- Xin Zhao, KTH
- Xiaomo Yao, KTH
- Yonas Ghidei
4 What
4.1 Programme
| Start | Stop | What |
|---|---|---|
| 09:00 | 09:30 | Registration mingle |
| 09:30 | 10:00 | Session I |
| Opening (Jesper + Tobias) | ||
| Per Lidén, Oracle | ||
| 10:00 | 10:20 | Coffee Break |
| 10:20 | 12:00 | Session II |
| David Broman, KTH | ||
| Marjan Sirjani, MDH | ||
| Kostis Sagonas, UU | ||
| Emma Söderberg, LTH | ||
| 12:00 | 13:00 | Lunch |
| 13:00 | 14:40 | Session III |
| Elias Castegren, KTH | ||
| Görel Hedin, LTH | ||
| Walid Taha, HH | ||
| Albert Yang, UU (Short) | ||
| Albin Stjerna, UU (Short) | ||
| 14:40 | 15:00 | Coffee Break |
| 15:00 | 16:30 | Session IV |
| Christoph Reichenbach, LTH | ||
| Kiko Fernandez, UU | ||
| Christoph Kessler, LiU (Short) | ||
| Christian Schulte, KTH (Short) | ||
| Beatrice Åkerblom, SU (Short) | ||
| Saranya Natarajan (Short) | ||
| Thomas Sewell (Short) |
5 Where
At the Oracle office at Münchenbryggeriet.
Söder Mälarstrand 57 (6th floor)
118 25 Stockholm
Closest subway station: Mariatorget (exit: Torkel Knutssongatan).
Closest commuter train station: Södra Station (exit: Rosenlundsgatan).
5.1 Directions from Arlanda
5.1.1 Alternative One (300+ SEK, 45-60 minutes)
- Get on the Arlanda Express train to Stockholm Central. This trip takes 20 minutes and costs 280 SEK. No stops or stop-overs.
- When you arrive at the Central station, either catch the Subway to Mariatorget,
or catch the Commuter Train (Pendeltåg) to Södra station.
- Subway: Lines 13 and 14 in the direction of Norsborg, Liljeholmen or Fruängen. This trip takes 5 minutes and costs 32 SEK. 3 stops, no stop-overs.
- Subway: Lines 41, 42 and 43 in the direction of Nynäshamn, Södertälje, Tungelsta, Västerhaninge or Älvsjö. This trip takes 2 minutes and costs 32 SEK. No stops or stop-overs.
- Follow the waking directions below, depending on your choice above.
5.1.2 Alternative Two (150 SEK, 1h 20minutes)
- Get on the Flygbussarna bus to Stockholm. As always in Stockholm, there is choice:
- Go directly to Liljeholmen subway station (bus leaves 7:16, and then every 20 minutes). This trip takes 56 minutes and costs 119 SEK. No stop-overs. Then take the subway to Mariatorget. This trip takes 5 minutes and costs 32 SEK. 3 stops, no stop-overs. Walk from Mariatorget following the directions (7 minutes).
- Go directly to Stockholm City (bus leaves 7:22, and then every 10 minutes). This trip takes 47 minutes and costs 119 SEK. No stop-overs. Then follow the directions from Step 2 above.
5.1.3 Alternative Three (~500 SEK, 40-60 minutes)
Take a taxi directly to Söder Mälarstrand 57. There is a fixed price. Travel time should be 40-60 minutes, but if you arrive during rush hours delays are likely.
5.2 Directions from Uppsala
- Simplest but slightly slower (1h 13 minutes): take the Commuter Train (Pendeltåg) från Uppsala C to Södra Station (1 hour) and walk from there following the directions below.
- Slightly faster but with 1 stop-over (1h): take the SJ train från Uppsala C to Stockholm C (33-38 minutes), then follow the directions from Step 2 in the directions from Arlanda.
5.4 Walking Directions from Södra Station
Nerd fact: These pages are generated using org-mode in Emacs, a modified ReadTheOrg template, and a bunch of scripts.