Santosh Nagarakatte

I gave a talk on our work on verifying the eBPF verifier in the Linux kernel at the Linux Storage, Filesystem, Memory Management & BPF Summit, March 2025, Montreal, Canada. Daroc Alden from Linux Weekly News has written a nice summary article on the talk. Here is the link: lwn.net/Articles/102...

Celebrating the class of 2025 at the School of Arts and Sciences convocation. #Rutgers #RutgersCS

Jay Lim's Dissertation Awarded the ACM SIGPLAN John Reynolds Outstanding Dissertation Award Computer Science; Rutgers, The State University of New Jersey

My PhD student Jay Lim has accepted an assistant professor position in the CS department at the University of California, Riverside. Congratulations Jay Lim! If you are a student looking for an amazing PhD adviser in PL, Jay is top-notch. Read more about Jay's thesis work at go.rutgers.edu/x3jsu670

Turing Award Goes to A.I. Pioneers Andrew Barto and Richard Sutton Andrew Barto and Richard Sutton developed reinforcement learning, a technique vital to chatbots like ChatGPT.

(1/2) Turing Award goes to Barto and Sutton for reinforcement learning!
www.nytimes.com/2025/03/05/t...

📢 Exciting FPTalks coming up!

🗓️ Join us THIS Thursday at 9:00am PT for Edoardo Manino's talk on The University of Manchester!

Updates / discussion: fpbench.org/subscribe
Nominate contributions: fpbench.org/nominate

Pretty inspiring story about Prof. Rajeswari Chatterjee from IISc. connect.iisc.ac.in/2017/05/reme...

Come to the first talk in the new year in our monthly FP talks series by Mridul Aanjaneya on February 6th.

Last year I asked a question about the state of tracing JITs, and it led to a wonderful exchange. @cfbolz.bsky.social has written a terrific summary that captures a lot of folk knowledge that would otherwise be lost. Thanks!
pypy.org/posts/2025/0...

Our patch to improve the precision of the BPF_MUL abstract operator in the eBPF verifier has now been accepted into the Linux Kernel.
See details here:
git.kernel.org/pub/scm/linu...

Happy new year!

you can try lldb, which should be good enough for gdb usecases.

My PhD student Sehyeok Park presenting his work in the RLIBM project at NJPLS #NJPLS

Subset of my PhD students attending NJPLS at Cornell Tech #NJPLS

Cool work on detecting non-termination bugs at scale. #NJPLS

NJPLS going on now. It is amazing to see a room full of PL folks. Well organized. Thanks Noam and other organizers!

Excited about attending NJPLS at Cornell Tech on Friday. My PhD student Sehyeok Park is giving a talk on his latest work as part of the RLIBM project! www.njpls.org/dec2024.html

Our patch to the eBPF verifier in the Linux Kernel improving the precision of the multiplication abstract operator: patchwork.kernel.org/project/netd...

Had a great time meeting former Rutgers CS colleague Ricardo Bianchini at Microsoft Research today. #RutgersCS

YouTube video by Carnegie Mellon University Randy Pausch Last Lecture: Achieving Your Childhood Dreams

it's Randy Pausch Memorial Day at @scsatcmu.bsky.social -- if you haven't watched his Last Lecture, or haven't rewatched it recently, it's always a good watch, … advice on achieving your childhood dreams and enabling others to achieve their dreams!

www.youtube.com/watch?v=ji5_...

Had a bunch of thoughts about the recent safety stuff, way more than fit in social media post... Blog post story time! (It's a bit of a ramble, sorry about that...)

chandlerc.blog/posts/2024/1...

#LLVM #Clang #MemorySafety

If you are around UW today, come to my talk on our eBPF verification work in the context of the Linux Kernel at 12:30pm PST. Try out the Agni tool, which is being used by some Kernel developers to check the correctness of the eBPF verifier: github.com/bpfverif/agni

Proposed standard for the eBPF Instruction Set Architecture from IETF is out now 🐝

www.rfc-editor.org/info/rfc9669

Proposed standard for the eBPF Instruction Set Architecture from IETF is out now 🐝

https://www.rfc-editor.org/info/rfc9669

New eBPF verifier audit from NCC Group commissioned by the eBPF Foundation. 1 CVE found and fixed

"A large amount of security vulnerability research has been carried out into the verifier and many bugs have been identified and fixed by the community.”

github.com/ebpffoundati...

Wealth, War and Wisdom: Biggs, Barton: 9780470474792: Amazon.com: Books Wealth, War and Wisdom [Biggs, Barton] on Amazon.com. *FREE* shipping on qualifying offers. Wealth, War and Wisdom

My CS colleague Rich Martin recommended this book "Wealth, War, and Wisdom" by Barton Biggs. It has an interesting premise and has been a good read till now.

www.amazon.com/Wealth-War-W...

Here is my starter pack of PL folks -- please come and join the fun! go.bsky.app/6kzdn3x

We're looking for another batch of great interns to join our Azure Research team this summer in Cambridge. We're doing some great projects around security and privacy, including Systems, PL and ML. jobs.careers.microsoft.com/global/en/jo...

Excited about my upcoming visits to University of Washington's PLSE group and Microsoft Research Redmond next week. I will talk about our eBPF work at UW and about the RLIBM work at MSR.