Stefan Bucur
@stefanbucur.net
Secure and reliable software systems. Memory safety. Program analysis. #rustlang and C++ interop. Previously fuzzing and symbolic execution. Staff Software Engineer and Manager @ Google.
Pinned
Stefan Bucur
@stefanbucur.net
· Jun 23
Software Engineering Manager, Core — Google Careers
www.google.com
We are hiring! 🪧
We have an exciting role for a SWE Manager to lead a team working on C++ safety and reliability at Google.
If static analysis techniques, large scale code changes, compiler-level checks, and sandboxing sound cool to you, we should talk! Apply here: www.google.com/about/career...
We have an exciting role for a SWE Manager to lead a team working on C++ safety and reliability at Google.
If static analysis techniques, large scale code changes, compiler-level checks, and sandboxing sound cool to you, we should talk! Apply here: www.google.com/about/career...
We are hiring! 🪧
We have an exciting role for a SWE Manager to lead a team working on C++ safety and reliability at Google.
If static analysis techniques, large scale code changes, compiler-level checks, and sandboxing sound cool to you, we should talk! Apply here: www.google.com/about/career...
We have an exciting role for a SWE Manager to lead a team working on C++ safety and reliability at Google.
If static analysis techniques, large scale code changes, compiler-level checks, and sandboxing sound cool to you, we should talk! Apply here: www.google.com/about/career...
Software Engineering Manager, Core — Google Careers
www.google.com
June 23, 2025 at 7:01 PM
We are hiring! 🪧
We have an exciting role for a SWE Manager to lead a team working on C++ safety and reliability at Google.
If static analysis techniques, large scale code changes, compiler-level checks, and sandboxing sound cool to you, we should talk! Apply here: www.google.com/about/career...
We have an exciting role for a SWE Manager to lead a team working on C++ safety and reliability at Google.
If static analysis techniques, large scale code changes, compiler-level checks, and sandboxing sound cool to you, we should talk! Apply here: www.google.com/about/career...
Reposted by Stefan Bucur
Excited to share our latest blog post on memory safety! We’re tackling spatial safety in our massing C++ codebase by hardening live++ by default. It adds bounds checks to things like std::vector, preventing a fair bit of out-of-bounds vulnerabilities: security.googleblog.com/2024/11/retr...
Retrofitting Spatial Safety to hundreds of millions of lines of C++
Posted by Alex Rebert and Max Shavrick, Security Foundations, and Kinuko Yasada, Core Developer Attackers regularly exploit spatial mem...
security.googleblog.com
November 15, 2024 at 7:02 PM
Excited to share our latest blog post on memory safety! We’re tackling spatial safety in our massing C++ codebase by hardening live++ by default. It adds bounds checks to things like std::vector, preventing a fair bit of out-of-bounds vulnerabilities: security.googleblog.com/2024/11/retr...