Really, a big fan @HamillHimself #MayThe4thBeWithYou #StarWarsDay

The video of my Ph.D. thesis defence youtu.be/RjfZA61taso via YouTube

:’) #HappyMotherDay for all the amazing things you do.

If it is public money, it should be public code as well! I support @fsfe's call for more #publiccode: publiccode.eu

Talk of Dr. Antonio Paolillo presenting «The HIPPEROS #RTOS A Song of Research and Development» FOSDEM @[email protected] Université libre de Bruxelles

Next in the Microkernel devroom: My colleague Antonio Paolillo (Antonio Paolillo) is presenting the real-time microkernel HIPPEROS which he has been working on during his previous academic and industrial involvement. #microkernel #realtime #fosdem

We have open positions for recent Master and PhD graduates in our teams in the Dresden & Munich Research Center! Among other things, we are researching on OS and runtime support for a new ISA, weak memory issues of migrating applic…lnkd.in/dXvw5x4 lnkd.in/dmFkAf8

How to optimize the barriers in synchronization primitives on weak memory models? VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models asplos-conference.org/abstracts/aspl… Ming Fu #ASPLOS21 #MemoryModel #Verification

Interested in the newest research and development in operating systems, formal verification and related topics? Join our Systems Software Innovations Summit 2021 on March 30th and 31st on-line. Talks by Kroah-Hartman, Roscoe, Härtig, Andronick and others. huawei-events.de

My dear colleague Dr. Diogo Behrens presents his work, the work of his team and other collaborators on push-button verification of synchronization primitives on weak memory models. This work has been recently accepted at ASPLOS 2021. huawei-events.de #verification #arm

Congratulations! 👏We are proud that the paper from #Huawei Dresden Research Center, co-authored by MPI-SWS has received the Distinguished Paper Award ASPLOS 2021, being the FIRST paper from Huawei to win the award! #PassionUnlocksPotential #technology #innovation

Attending advanced Rust training conducted by Florian Gilcher Florian Gilcher (@[email protected]) from FerrousSystems. Complete satisfaction :)

Our paper "CLoF: A Compositional Lock Framework for Multi-level NUMA Systems" was accepted by #SOSP2021! CLoF allows us to compose verified NUMA-oblivious spinlocks in an arbitrary hierarchy, leading to hundreds of correct NUMA-aware locks, automatically finding the optimal ones.

Many people have already shared Mothy Roscoe's keynote from USENIX ATC '21/OSDI '21. For those who have missed it, it summarizes really nicely why and how is OS research still relevant and why Windows/Linux is far from solving all the issues. youtube.com/watch?v=36myc8…

I'll be doing the daily programming puzzles at Advent of Code for a lot of fun! adventofcode.com #AdventOfCode

Microkernel and Component-based OS Devroom at FOSDEM 2022 — Call for Participation fosdem.microkernel.info

I just completed all 25 days of Advent of Code 2021! adventofcode.com #AdventOfCode

🤖 With Constantin Scholz , Bram Vanderborght and Wouter Joosen, I'm hiring a PhD student in Real-Time Operating Systems for Robots based in #Brussels , at imec , VUB & KU Leuven 🎓🇧🇪. imec-int.com/en/work-at-ime… Feel free to reach out or forward! 👋📬

So it begins! #adventofcode2023

If you are attending ASPLOS don't miss up this amazing tutorial. Rumors are that they there will be a pretty cool demo linkedin.com/posts/diogo-be…