Max Planck Institute for Software Systems
@mpi_sws_
Followers
730
Following
76
Media
0
Statuses
54
We study the principles of efficient, dependable, secure, and usable computing systems.
Germany
Joined November 2021
RT @HerrDreyer: I became an ACM Fellow last night. The awards ceremony was 5 hours including dinner (!) but I enjoyed hearing the many awar….
0
4
0
RT @utaal: @HerrDreyer @mpi_sws_ Thank you @HerrDreyer! I’m very excited to be starting at MPI-SWS in September. If you’re interested in w….
0
7
0
RT @HerrDreyer: Two best paper awards at OSDI for projects using the Rust verification tool Verus!. Co-leader of the Verus project Andrea L….
0
7
0
Congratulations @Numair_Mansur 🥳🥳🥳.
Congratulations @Numair_Mansur for winning the Ernst Denert Software Engineering Prize 2024 for your PhD thesis on "Automatically Detecting and Mitigating Issues in Program Analyzers"! @gi_seconf @mpi_sws_ @tuwien. So proud and honored to have been your advisor and collaborator!.
0
0
5
RT @OSGroupSWS: Hello, World!.We are the OS research group @mpi_sws_ ! We do systems research for post-Moore era at the intersection of sof….
0
6
0
RT @maxplanckpress: 😁🎉😄🌟#NobelPrize!🙃🙃🙃🙃🙃🙃🙃🙃🙃🙃🙃😊🏆😁#PhysicsNobelPrize2023 for Ferenc Krausz, Max Planck Institute of Quantum Optics! 🎊😃🥰😆🥳😁….
0
578
0
RT @ngernest2: I had a fantastic time at CMMRS this week! (Hosted at @mpi_sws_). I’m incredibly grateful for this opportunity! As a PL pe….
0
1
0
RT @sibasmarak: I am currently at @mpi_sws_, Saarbrücken for one week!. Excited to be a participant in the CMMRS 2023 (and in Europe for th….
0
1
0
RT @Numair_Mansur: Presenting my last PhD paper at @issta_conf in Seattle. Thankyou @Felix_Stutz_ for the picture 😊
0
1
0
RT @mtoneva1: 🍻 7 open positions (6 PhD, 1 postdoc) 🍻.Come work with me & my colleagues on human-interpretable neural models @neuroexplicit….
0
50
0
Congratulations @anthonywlin 🥳🎊.
My application for an ERC Consolidator Grant was successful!! I am very thankful to ERC and those who supported me (with countless feedbacks, etc.). @rptu_kl_ld, @mpi_sws_ @rupakmajumdar @GeorgZetzsche @FinkbeinerBernd #ERCCoG.
0
0
2
RT @CambridgeEllis: Our first seminar speaker of 2023 is @autreche from @mpi_sws_ will be speaking about “Improving Decision Making with Ma….
0
5
0
RT @mtoneva1: 🎉 Now accepted @iclr_conf and recognized with a spotlight (top 25% paper)! Led by extraordinary *undergrad* @khai_loong_aw. O….
0
10
0
RT @DistributedDave: I'm hiring new PhD students! If you're thinking of pursuing a PhD or if you have students who are, check out this page….
0
16
0
RT @AntoineKau: We are also hiring for multiple positions at the Max Planck Institute for Software Systems (@mpi_sws_) and the other MPIs i….
0
11
0
Welcome 🤗.
Update :. Delighted to share that I have joined @mpi_sws_ as a postdoctoral researcher with Prof. Krishna Gummadi’s group at Saarbrucken.
0
0
6
RT @HerrDreyer: The MPI internship program is a great opportunity for students (undergraduate and graduate) to have fun and spend a few mon….
0
8
0