iiinova — where your digital self keeps evolving

Santosh Nagarakatte @santosh-nagarak.bsky.social · 13/04/2026

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

arxiv.org

000

Santosh Nagarakatte @santosh-nagarak.bsky.social · 26/06/2025

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...

lwn.net

Formally verifying the BPF verifier

The BPF verifier is an increasingly complex and security-critical piece of code. When the kind [...]

031

Santosh Nagarakatte @santosh-nagarak.bsky.social · 21/05/2025

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

051

Santosh Nagarakatte @santosh-nagarak.bsky.social · 14/03/2025

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

go.rutgers.edu

Jay Lim's Dissertation Awarded the ACM SIGPLAN John Reynolds Outstanding Dissertation Award

Computer Science; Rutgers, The State University of New Jersey

0100

Reposted by Santosh Nagarakatte

FPTalks @fptalks.bsky.social · 04/03/2025

📢 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

fpbench.org

Redirecting...

If you are not redirected, click here.

011

Santosh Nagarakatte @santosh-nagarak.bsky.social · 27/01/2025

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

011

Reposted by Santosh Nagarakatte

Shriram Krishnamurthi @shriram.bsky.social · 06/01/2025

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...

pypy.org

Musings on Tracing in PyPy

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,

03014

Santosh Nagarakatte @santosh-nagarak.bsky.social · 01/01/2025

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!

git.kernel.org

bpf, verifier: Improve precision of BPF_MUL - kernel/git/bpf/bpf-next.git - BPF next kernel tree

180

Santosh Nagarakatte @santosh-nagarak.bsky.social · 06/12/2024

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

050

Santosh Nagarakatte @santosh-nagarak.bsky.social · 06/12/2024

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

070

Santosh Nagarakatte @santosh-nagarak.bsky.social · 06/12/2024

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

010

Santosh Nagarakatte @santosh-nagarak.bsky.social · 06/12/2024

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

040

Santosh Nagarakatte @santosh-nagarak.bsky.social · 03/12/2024

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

njpls.org

NJPLS Dec 2024

030

Santosh Nagarakatte @santosh-nagarak.bsky.social · 26/11/2024

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

patchwork.kernel.org

bpf, verifier: Improve precision of BPF_MUL - Patchwork

0100

Santosh Nagarakatte @santosh-nagarak.bsky.social · 21/11/2024

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

070

Reposted by Santosh Nagarakatte

Jeffrey P. Bigham @jeffreybigham.com · 20/11/2024

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_...

youtube.com

Randy Pausch Last Lecture: Achieving Your Childhood Dreams

YouTube video by Carnegie Mellon University

1286

Santosh Nagarakatte @santosh-nagarak.bsky.social · 19/11/2024

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

github.com

GitHub - bpfverif/agni

Contribute to bpfverif/agni development by creating an account on GitHub.

030

Reposted by Santosh Nagarakatte

Bill Mulligan 🐝🐝🐝 @breakawaybilly.bsky.social · 01/11/2024

Proposed standard for the eBPF Instruction Set Architecture from IETF is out now 🐝 www.rfc-editor.org/info/rfc9669

063

Reposted by Santosh Nagarakatte

Bill Mulligan 🐝🐝🐝 @breakawaybilly.bsky.social · 01/11/2024

Proposed standard for the eBPF Instruction Set Architecture from IETF is out now 🐝 www.rfc-editor.org/info/rfc9669

001

Reposted by Santosh Nagarakatte

Bill Mulligan 🐝🐝🐝 @breakawaybilly.bsky.social · 12/11/2024

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...

181

Santosh Nagarakatte @santosh-nagarak.bsky.social · 16/11/2024

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...

amazon.com

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

020

Reposted by Santosh Nagarakatte

Isil Dillig @idillig.bsky.social · 16/11/2024

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

47234

Reposted by Santosh Nagarakatte

Matthew Parkinson @matt-parkinson.bsky.social · 15/11/2024

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...

jobs.careers.microsoft.com

Search Jobs | Microsoft Careers

022

Santosh Nagarakatte @santosh-nagarak.bsky.social · 15/11/2024

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.

060