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
Come to the first talk in the new year in our monthly FP talks series by Mridul Aanjaneya on February 6th.
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
Another cool result from my research group that I am excited about upcoming at ARITH 2026: "Odd but Error-Free FastTwoSum". See the preprint here:
arxiv.org/pdf/2601.17198
Great work by my PhD student Sehyeok Park and collaborator Jay Lim.
#Rutgers #RutgersCS #RAPL
📢 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
Santosh Nagarakatte
(1/2) Turing Award goes to Barto and Sutton for reinforcement learning!
www.nytimes.com/2025/03/05/t...
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!
Video
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...
The BPF verifier is an increasingly complex and security-critical piece of code. When the kind [...]
Last summer, Shriram Krishnamurthi asked on
Twitter:
"I'm curious what the current state of tracing JITs is. They used to be all the
rage for a while, then I though I heard they weren't so effective,
Happy new year everyone! The first FP talk of this year is going to be "LP meets PL: efficient linear programming using a geometric lens" by Mridul Aanjaneya from Rutgers University. See more fpbench.org/index.html
