Antonio Paolillo (@antopaolillobe) 's Twitter Profile
Antonio Paolillo

@antopaolillobe

ID: 954470962409373696

calendar_today19-01-2018 21:49:45

25 Tweet

37 Followers

336 Following

Martin Děcký (@mdecky) 's Twitter Profile Photo

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

Next in the Microkernel devroom: My colleague Antonio Paolillo (<a href="/AntoPaolilloBe/">Antonio Paolillo</a>) is presenting the real-time microkernel HIPPEROS which he has been working on during his previous academic and industrial involvement. #microkernel #realtime #fosdem
Antonio Paolillo (@antopaolillobe) 's Twitter Profile Photo

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

ASPLOS (@asplosconf) 's Twitter Profile Photo

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

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…

<a href="/mingffu/">Ming Fu</a>

#ASPLOS21 #MemoryModel #Verification
Martin Děcký (@mdecky) 's Twitter Profile Photo

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

Martin Děcký (@mdecky) 's Twitter Profile Photo

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

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
Huawei EU Careers (@careers_huawei) 's Twitter Profile Photo

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

Ming Fu (@mingffu) 's Twitter Profile Photo

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.

Martin Děcký (@mdecky) 's Twitter Profile Photo

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…

Antonio Paolillo (@antopaolillobe) 's Twitter Profile Photo

🤖 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! 👋📬

Hernan Ponce De Leon (@h_poncedeleon) 's Twitter Profile Photo

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…