MCS Group Lunches
Spring 2020
Group lunches take place every second week, on Tuesdays between 12.15 and 13.00 in room Ada.
| Week | Date | Speaker(s) | Topic(s) |
| 8 | February 18 | David | Planning and info, spring 2020 |
| 10 | March 3 | Cancelled | |
| 12 | March 17 | Pietro | ML and branch prediction |
| 14 | March 31 | Daniel | Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages |
| 16 | April 14 | Viktor | Precedence or tactics |
| 18 | April 28 | Klas | Compiler stuff, LLVM |
| 20 | May 12 | Romy | Software diversification and CP |
| 22 | May 26 | Oscar | Equation-based DSLs and automatic differentiation |
| 24 | June 9 | Linnea | Decision points |
| 26 | June 23 | Saranya | Property-based testing for real-time systems |
Fall 2019
Group lunches take place every second week, on Tuesdays between 12.15 and 13.00 in room Ada.
| Week | Date | Speaker(s) | Topic(s) |
| 38 | September 17 |
David |
Planning and info, fall 2019 |
| 40 | October 1 | CANCELLED | |
| 43 | October 22 | Diarmuid | |
| 45 | November 5 | Johan | |
| 46 | November 12 | Viktor | |
| 47 | November 19 | Daniel | |
| 48 | November 26 | Saranya | |
| 49 | December 3 | Nicolas | |
| 50 | December 10 | Roberto |
Spring 2019
Group lunches take place every second week, on Tuesdays between 12.15 and 13.00 in room Ada.
| Week | Date | Speaker(s) | Topic(s) |
| 3 | January 15 |
Robin Eklind |
Decompilation, report for project course ID2205 |
| 5 | January 29 | David | Planning and info,spring 2019 |
| 7 | February 12 | CANCELLED | |
| 9 | February 26 | Klas | Arc: An IR for Batch and Stream Programming |
| 11 | March 12 | Viktor | Un-/Resolvable Ambiguity |
| 13 | March 26 | Oscar | |
| 15 | April 9 | Diarmuid | A Fast and Practical Traffic Generator using Spatial Renewal Processes |
| 17 | April 23 | Saranya | |
| 19 | May 7 | Sara | |
| 21 | May 21 | CANCELLED | |
| 23 | June 4 | Daniel | |
| 25 | June 18 | Andreas/DIarmuid | Ericsson software challenges |
Fall 2018
Group lunches take place every second week, on Tuesdays between 12.15 and 13.00 in room Ada.
| Week | Date | Speaker(s) | Topic(s) |
| 36 | September 4 |
David |
Planning and info, fall 2018 |
| 39 | September 24 | Elias | Type systems and Concurrency |
| 40 | October 2 | Dairmuid | (Two topics from Dairmuid, see email) |
| 42 | October 16 | Viktor | Parsing and Language Composition |
| 44 | October 30 | Saranya | Virtual Time and Hybrid Co-Simulation |
| 46 | November 13 | Daniel | Probabilistic Programming and static analysis |
| 49 | December 4 | Akhila | State-of-the-art in monitoring heterogeneous wireless networks |
| 50 | December 11 | Abubakr (not confirmed) |
Computer vision and machine learning |
Spring 2018
Group lunches take place every second week, on Tuesdays between 12.15 and 13.00 in room Ada.
| Week | Date | Speaker(s) | Topic(s) |
| 4 | January 23 |
David |
Planning and Info 2018 |
| 6 | February 6 | Jan | Expectations |
| 8 | February 20 | David | The Miking project |
| 10 | March 6 | Nicolas | Continuous diversificarion |
| 12 | March 20 | Gabriel | Dry run, defense |
| 14 | April 3 | Daniel | Probabilistic programming in Miking |
| 16 | April 17 | Diarmuid | Reinforcement learning or WASP seminars |
| 18 | May 2 (Note, Wednesday) |
Akhila |
Multiradio access technology networks |
| 20 | May 15 | Roberto | Unison vs. LLVM: Case Studies |
| 21 | May 22 | Leif | Dry run, PhD defence talk |
| 22 | May 29 | Negar | Research status |
| 24 | June 12 | Saranya | To be decided |
Fall 2017
Group lunches take place every second week, on Tuesdays between 12.15 and 13.00 in room Ada.
| Week | Date | Speaker(s) | Topic(s) |
| 37 | September 12 |
David |
Planning and Info 2017 |
| 39 | September 26 | Gabriel | |
| 41 | October 10 | Björn | Verifying Event-Based Timing Constraints by Translation Into Presburger Formulae |
| 43 | October 24 | Mats | |
| 45 | November 7 | DIarmuid | |
| 47 | November 21 | Daniel | An introduction to Sequential Monte Carlo (SMC) and Markov chain Monte Carlo (MCMC) methods |
| 49 | December 5 | Jan | Expectations |
| 51 | December 19 | Saranya |
Virtual Time-Based Distributed Hybrid Co-Simulation |
Spring 2017
Group lunches take place every second week, on Tuesdays between 12.15 and 13.00 in room Ada.
| Week | Date | Speaker(s) | Topic(s) |
| 3 | January 17 |
David |
Planning and Info 2017 |
| 5 | January 31 | Christian | Discussion about Ph.D. courses |
| 7 | February 14 | Roberto | Benchmark sampling |
| 9 | February 28 | Gabriel | Bayesian networks |
| 11 | March 14 | All | Discussions about programming languages |
| 13 | March 28 | Saranya | Timed C |
| 15 | April 11 | Christian | Gecode: Impact on research (open source) |
| 17 | April 25 | - | CANCELLED |
| 19 | May 9 | Jan | Markov or expectation |
| 21 | May 23 | Konstantinos | Ongoing work on profiling |
| 23 | June 7 | Diarmuid | Energy profiling (CANCELLED) |
| 25 | June 12 | Daniel | Lazy Sampling in Probabilistic Programming |
Fall 2016
Group lunches take place every second week, on Tuesdays between 12.15 and 13.00.
| Week | Date | Speaker(s) | Topic(s) |
| 40 | October 4 |
David |
Misc. info and discussions |
| 43 | October 25 | Konstantinos | Potential collaboration |
| 45 | November 8 | Roberto | Draft paper |
| 47 | November 22 | Magnus | Learning Machines for Internet CBT [slides] |
| 49 | December 6 | Mats | Reinventing the wheel, benchmarks [slides] |
| 51 | December 20 | Andreas | Problems in industry |
Spring 2016
Group lunches take place every second week, on Thursdays between 12.15 and 13.00.
| Week | Date | Speaker(s) | Topic(s) |
| 6 | February 11 |
Christian |
An idea for a research project |
| 8 | February 25 | David | MCS webpage |
| 10 | March 10 | Christian | Good paper discussion |
| 12 | March 24 | Saranya | Compiling with time |
| 14 | April 7 | ||
| 21 | April 21 | All | Related Work Mining |
| 23 | May 5 | HOLIDAY | |
| 25 | May 19 | Gabriel | Summit Review |
| 27 | June 2 | David | Project ASSEMBLE |
| 29 | June 21 |
Diarmuid |
PhD Project overview |