Raimondas Sasnauskas
Senior Manager at SES Satellites
Luxembourg
Summary
🤩
Rockstar🎓
Top SchoolRaimondas Sasnauskas is a Senior Manager based in Luxembourg with 11 years of experience building and operating mission-critical software for space operations, including Ground Control Systems that keep a fleet of over 60 satellites running 24/7. He combines hands-on engineering — demonstrated by contributions to the LLVM superoptimizer Souper — with pragmatic cost-conscious delivery, consistently shipping satellite missions on time and within budget. A former PhD researcher, he blends deep technical rigor with people leadership, hiring and retaining high performers while coaching teams toward operational excellence. Colleagues know him as a problem-solver who equally values resilient systems and the human practices that sustain them.
11 years of coding experience
10 years of employment as a software developer
Diplom, Diplom at University of TuebingenDoctor of Philosophy (Ph.D.), Doctor of Philosophy (Ph.D.) at RWTH Aachen University
English, German, Lithuanian, Russian
Github Skills (7)
compiler-optimization10
solver10
llvm-ir10
smt10
cprogramming-language9
c-language9
command-line-tool8
Programming languages (3)
Github contributions (5)
google/souper
Aug 2014 - May 2018
A superoptimizer for LLVM IR
Role in this project:
Back-end Developer
Back-end DeveloperContributions:52 commits, 46 PRs, 20 pushes in 3 years 9 months
Contributions summary:Raimondas primarily contributed to the Souper project by addressing issues related to the superoptimizer's behavior with specific LLVM IR constructs. Their work involved modifying the code to correctly handle `VectorType GetElementPtrInst` and optimizing the creation of sext instructions. They also fixed an unsoundness issue related to Phi nodes and implemented a command-line tool to check the validity of Souper optimizations. These changes improved the optimizer's accuracy and usability.
llvm-ircompilersclangstatic-analysisbazel-rules
rsas/souper
Sep 2014 - Feb 2019
Contributions:226 commits, 260 pushes, 57 branches in 4 years 5 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.