Syslog
11 episodes - English - Latest episode: about 3 years ago -Flo and Julian talk to their guests about engineering microkernels, operating systems and the community around these technologies.
Homepage Google Podcasts Overcast Castro Pocket Casts RSS feed
Episodes
Scheduling - with Michael Roitzsch
March 11, 2021 00:00 - 1 hour - 64 MBShow Notes and Links Michael Roitzsch returns to Syslog and we talk about scheduling in operating systems. Michael has focussed his research on soft real-time systems and explored, among other things, how good scheduling can help with smooth video display. In this episode, we introduce basic scheduling concepts, what is happening in scheduling today and how the increasingly multi-core world will shape schedulers in the future. Michael is the acting head of the TU Dresden Operating Systems...
State of Hardware 2020 - with Werner Haas
December 24, 2020 00:00 - 1 hour - 55.8 MBShow Notes and Links Werner Haas, resident hardware expert and colleague at Cyberus Technology, joins Flo and Julian to talk about the state of processor hardware in 2020. We discuss instruction set archicture (ISA) in the context of the x86 vs. ARM vs. RISC-V debate and why CPU ISA might not be that important for performance and battery life after all. Additional sound effects from https://www.zapsplat.com. Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly....
HelenOS - with Martin Decky
September 15, 2020 00:00 - 1 hour - 41.9 MBShow Notes and Links In this episode, we talk with Martin Decky about HelenOS. HelenOS is a modular multiserver operating system based on a custom microkernel. It has been implemented by a group of people at the Charles University in Prague and is unusual for being a non-commercial operating system project with such a long history. It is fair to say that Martin has shaped HelenOS and HelenOS has shaped Martin for almost the last two decades. Join us while we cover the beginnings of HelenO...
Formal Methods - with Marius Melzer
August 10, 2020 00:00 - 1 hour - 44.2 MBShow Notes and Links Flo and Julian managed to get Marius Melzer into the recording studio and talk with him about his passion: Formal Verification. In this episode, we make a broader sweep compared to our earlier spotlight on Ada/SPARK and touch on many projects that are on-going in the formal verification community. We discuss how to get going with formal verification and also touch on the theoretical underpinnings. We forgot to mention it in the episode, but please also check out Mari...
Intel SGX - with Jo Van Bulck
June 23, 2020 00:00 - 1 hour - 51.7 MBShow Notes and Links Flo and Julian invited Jo Van Bulck to the Syslog Podcast. Jo is probably best known for discovering the Foreshadow vulnerability in Intel CPUs, but his research is into the broader security of Trusted Execution Environments (TEEs). In this episode, we’ve picked the most high-profile TEE technology: Jo guides us through the confusing and impressive thing that is the Intel Software Guard Extensions. Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IR...
L4 and L4Re - with Michael Hohmuth
May 09, 2020 00:00 - 56 minutes - 38.5 MBShow Notes and Links Flo and Julian talk with Michael Hohmuth, who is the head and co-founder of Kernkonzept. Michael was already interested in operating systems before he joined the OS group at TU Dresden. He started to write the first L4 variant in a high-level language when the state of the art was to write them in assembly. Many years later, Michael together with other long-time L4 developers continue their passion at Kernkonzept. We talk with Michael about how L4 began and evolved in...
Contact Tracing Apps - with Michael Roitzsch
April 23, 2020 00:00 - 1 hour - 52.9 MBShow Notes and Links Flo and Julian talk with Michael Roitzsch who is the acting head of the Chair of Operating Systems at our alma mater and researcher at the Barkhausen Institute. Michael currently participates in the PEPP-PT project and shares his insights on the technical and political challenges surrounding SARS-CoV-2 contact tracing apps. Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly. Send feedback to [email protected] or via Twitter. Resources Ba...
Sustainability - with Michael Engel
March 01, 2020 00:00 - 1 hour - 44.3 MBShow Notes and Links Flo and Julian talk with Michael Engel who went from teaching operating systems fundamentals in Germany to researching sustainability at the NTNU in Norway. Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly. Send feedback to [email protected] or via Twitter. Resources Dirty ships Plea for a Holistic Analysis of the Relationship between Information Technology and Carbon-Dioxide Emissions emscripten Fabrice Bellard’s x86 emulator writt...
Genode Labs - with Norman Feske
February 06, 2020 00:00 - 57 minutes - 39.6 MBShow Notes and Links Flo and Julian talk with Norman Feske, one of the founders of Genode Labs, about how to turn an idea into a company. We touch on operating system research, the Genode OS Framework, and Sculpt OS. Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly. Send feedback to [email protected] or via Twitter. FOSDEM 2020 Talks Demonstration of the Sculpt Operating System Spunky: a Genode Kernel in Ada/SPARK A Brief Survey through Genode’s ARMv8 Pl...
Ada and SPARK - with Alexander Senier
December 20, 2019 00:00 - 1 hour - 53.2 MBShow Notes and Links Flo and Julian talk to Alexander Senier about Ada, SPARK and how to build reliable and trustworthy software. We also talk about Alexander’s company, Componolit. Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly. Send feedback to [email protected] or via Twitter. Resources to get started awesome Ada: A curated list of awesome resources related to the Ada and SPARK programming language. learn.adacore.com Free book: Safe and Secure Soft...
Episode 0 - Teaser
December 18, 2019 00:00 - 3 minutes - 2.28 MBShow Notes and Links Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly. Send feedback to [email protected] or via Twitter.