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
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...
Come to the first talk in the new year in our monthly FP talks series by Mridul Aanjaneya on February 6th.
Celebrating the class of 2025 at the School of Arts and Sciences convocation. #Rutgers #RutgersCS
📢 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
arxiv.org
The BPF verifier is an increasingly complex and security-critical piece of code. When the kind [...]
Pretty inspiring story about Prof. Rajeswari Chatterjee from IISc. connect.iisc.ac.in/2017/05/reme...
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
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!
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
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...
Andrew Barto and Richard Sutton developed reinforcement learning, a technique vital to chatbots like ChatGPT.
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,
