We are the Operating Systems research group at @mpi_sws_ in Germany. We do systems research for the post-Moore era at the intersection of software and hardware.
Saarbrücken, Germany
Joined September 2023
- Tweets111
- Following106
- Followers340
- Likes37
MPI-SWS Operating Systems Research Group retweeted
Together with @autreche, @adishs, Krishna Gummadi, Goran Radanovic and Nina Grgić-Hlača, we have multiple open positions postdocs in AI, Computing, and Society at the MPI for Software Systems!
Apply by May 13 via the new Max Planck Postdoc Program!
mpg.de/en/max-planck-postdoc…
MPI-SWS Operating Systems Research Group retweeted
Postdoc positions are available in the group of Prof. Dr. Stephanie Wehner @StephWehner at Delft University of Technology @tudelft (QuTech @QuTech_news and Quantum Computer Science) in #QuantumNetwork systems and applications.
#QuantumInternet
quantiki.org/position/postdo…
MPI-SWS Operating Systems Research Group retweeted
Our group Azure Research – Systems (aka.ms/azrs) is #hiring research interns for 2025. No better place to do cutting-edge research in cloud infrastructure! Apply here: jobs.careers.microsoft.com/g…
MPI-SWS Operating Systems Research Group retweeted
SOSP'24 is upon us! This means you should sign up as a mentor or a mentee (PhD students)! Come help make Systems a friendly and welcoming place for everyone.
Mentors: tinyurl.com/sosp2024mentors.
Mentees: tinyurl.com/sosp2024mentees
MPI-SWS Operating Systems Research Group retweeted
One of the fun research pieces based on our long experience of building efficient multi-core systems. OS researchers may recognize a bit of Barrelfish in this design, tracing back the roots to when I began my research career!
@AntoineKau blogs about how SimBricks enables efficient simulations assembled from different communicating simulators with our core building block: efficient message passing. Learn about our internals and a general lesson on parallel systems.
Read More: simbricks.io/blog/shm-messag…
MPI-SWS Operating Systems Research Group retweeted
Thank you @HerrDreyer! I’m very excited to be starting at MPI-SWS in September.
If you’re interested in working with me on making verification even more practical with Verus, and on combining SMT solving and Iris-inspired techniques, please reach out! -> andrea.lattuada.me
MPI-SWS Operating Systems Research Group retweeted
Two best paper awards at OSDI for projects using the Rust verification tool Verus!
Co-leader of the Verus project Andrea Lattuada (@utaal) will be joining @mpi_sws_ as a research group leader in September, and is actively looking for strong students & postdocs to work on Verus!
MPI-SWS Operating Systems Research Group retweeted
Today, Jonas blogged about our secret to scalably connect and integrate a range of independent and often seemlingly incompatible simulators into a coherent whole.
simbricks.github.io/blog/loo…
MPI-SWS Operating Systems Research Group retweeted
In today's blog post I at least got to scratch the surface of some of the fun technical bits that make SimBricks work. Can't wait to talk about the individual pieces in more detail in future posts. We discovered a lot of fun technical nuggets!
How does SimBricks work? What technical pieces are required to assemble full system simulations from component simulators? Find answers in today's blog post:
simbricks.github.io/blog/tec…
MPI-SWS Operating Systems Research Group retweeted
What is SimBricks? Why and when should you use SimBricks? Get a first overview through in our inaugural blog post: simbricks.github.io/blog/sim… You can look forward to future posts going into more detail.
MPI-SWS Operating Systems Research Group retweeted
@wang_jaylen, Sara Mahdizadeh Shahri, and I are organizing the first Workshop on Hot Topics in Ethical Computer Systems (HotEthics '24) co-located with ASPLOS '24 this year. Please consider submitting your work and attending this workshop! @ASPLOSConf @sigarch @TheOfficialACM
MPI-SWS Operating Systems Research Group retweeted
Happy to report that I passed my area/breadth exam today!
Time to start thinking about the thesis proposal!
MPI-SWS Operating Systems Research Group retweeted
Emerging Research Trends in Computer Science Summer School: cmmrs.mpi-sws.org/
CMMRS is aimed at Bachelor's and Master's students and takes place from July 28 to August 4.
IMO, summer schools are never a bad idea!
MPI-SWS Operating Systems Research Group retweeted
We are testing our systems methodology for building and evaluating HW accelerators in a classroom setting, focusing on end-to-end system behavior throughout. The project also provides an easy (open source!) starting point outside of teaching. gitlab.cs.uni-saarland.de/os… (1/n)
We released the final HW acceleration course project milestone: gitlab.cs.uni-saarland.de/os…. Here, the students implement Verilog RTL for the accelerator and synthesize it in 130nm, determining feasible clock rate and chip area and putting these in context of full system performance.
MPI-SWS Operating Systems Research Group retweeted
I just published my first paper review of 2024 - "Blueprint: A Toolchain for Highly-Reconfigurable Microservice Applications": newsletter.micahlerner.com/p…
The paper from SOSP proposes a framework intended to simplify iterating on different technical designs for a system.
This framework, called Blueprint, splits up application business logic, framework-level components (e.g. RPC functionality, distributed tracing libraries, storage backends), and instantiating the application with configuration.
The paper discusses several examples of iterating on a system design after onboarding to Blueprint, including evaluating the performance impact of deploying with microservices vs monolith and choosing a distributed tracing library.
Authors of the paper are
@vaastav05, Deepak Garg,@AntoineKau, and
@mpi_jcmace
MPI-SWS Operating Systems Research Group retweeted
Industry colleagues: Two of my PhD students are looking for (research-ish) summer internships: Vaastav had an SOSP'23 paper on tooling for Microservice Research, and Mat won the student research competition with his work on a fast TCP stack for virtualized environments. Ping me!
MPI-SWS Operating Systems Research Group retweeted
Very cool work from Anand et al at SOSP'23: "Blueprint: A Toolchain for Highly-Reconfigurable Microservices" (dl.acm.org/doi/pdf/10.1145/3…). I have a lot to say about this paper, but my favorite part is the treatment of metastable failures.
MPI-SWS Operating Systems Research Group retweeted
It's a wrap! We hope that everyone enjoyed @sospconf'23 as much as we did. Thank you all for coming, and thanks to all the volunteers that helped us make this happen!
Finally a behind the scenes view of the canine support team coordinating things from their home office.
MPI-SWS Operating Systems Research Group retweeted
Had a great time presenting the work on Correctness and Fault Tolerance of #Kubernetes Controllers at MPI-SWS Systems Seminar (shlink.mpi-sws.org/systems-s…).
Thanks @lbindschaedler and @vaastav05 for organizing the seminar and giving every speaker a big box of Swiss chocolates. – at Saarbrücken, Germany
MPI-SWS Operating Systems Research Group retweeted
Gave my first ever @sospconf today on Blueprint!
Official release coming soon :)
More info: blueprint-uservices.github.i…
