Celebrating the class of 2025 at the School of Arts and Sciences convocation. #Rutgers #RutgersCS
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!
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.
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...
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
(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
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...
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,
pypy.org
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
