Santosh Nagarakatte
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~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...
Formally verifying the BPF verifier
The BPF verifier is an increasingly complex and security-critical piece of code. When the kind [...]
lwn.net
June 26, 2025 at 6:59 PM
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
May 21, 2025 at 12:13 AM
Celebrating the class of 2025 at the School of Arts and Sciences convocation. #Rutgers #RutgersCS
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
Jay Lim's Dissertation Awarded the ACM SIGPLAN John Reynolds Outstanding Dissertation Award
Computer Science; Rutgers, The State University of New Jersey
go.rutgers.edu
March 14, 2025 at 7:07 PM
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
Reposted by Santosh Nagarakatte
(1/2) Turing Award goes to Barto and Sutton for reinforcement learning!
www.nytimes.com/2025/03/05/t...
www.nytimes.com/2025/03/05/t...
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.
www.nytimes.com
March 5, 2025 at 1:40 PM
(1/2) Turing Award goes to Barto and Sutton for reinforcement learning!
www.nytimes.com/2025/03/05/t...
www.nytimes.com/2025/03/05/t...
Reposted by Santosh Nagarakatte
📢 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
🗓️ 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
Redirecting...
If you are not redirected, click here.
fpbench.org
March 4, 2025 at 7:46 PM
📢 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
🗓️ 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...
Remembering Rajeswari Chatterjee, IISc’s First Woman Engineer – Connect with IISc
connect.iisc.ac.in
February 16, 2025 at 6:46 PM
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.
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
FPBench
Numerics community meetings and resources
fpbench.org
January 27, 2025 at 2:36 AM
Come to the first talk in the new year in our monthly FP talks series by Mridul Aanjaneya on February 6th.
Reposted by Santosh Nagarakatte
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/posts/2025/0...
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,
pypy.org
January 6, 2025 at 2:21 PM
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/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!
See details here:
git.kernel.org/pub/scm/linu...
Happy new year!
bpf, verifier: Improve precision of BPF_MUL - kernel/git/bpf/bpf-next.git - BPF next kernel tree
git.kernel.org
January 1, 2025 at 3:07 PM
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!
See details here:
git.kernel.org/pub/scm/linu...
Happy new year!
NJPLS going on now. It is amazing to see a room full of PL folks. Well organized. Thanks Noam and other organizers!
December 6, 2024 at 4:36 PM
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
NJPLS Dec 2024
www.njpls.org
December 3, 2024 at 11:44 PM
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...
bpf, verifier: Improve precision of BPF_MUL - Patchwork
patchwork.kernel.org
November 26, 2024 at 6:16 PM
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
November 21, 2024 at 2:42 AM
Had a great time meeting former Rutgers CS colleague Ricardo Bianchini at Microsoft Research today. #RutgersCS
Reposted by Santosh Nagarakatte
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_...
www.youtube.com/watch?v=ji5_...
Randy Pausch Last Lecture: Achieving Your Childhood Dreams
YouTube video by Carnegie Mellon University
www.youtube.com
November 20, 2024 at 2:21 PM
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_...
www.youtube.com/watch?v=ji5_...
Reposted by Santosh Nagarakatte
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
chandlerc.blog/posts/2024/1...
#LLVM #Clang #MemorySafety
Story-time: C++, bounds checking, performance, and compilers
Recently, several of my colleagues at Google shared the story of how we are
retrofitting spatial safety onto our monolithic C++ codebase:
https://security.googleblog.com/2024/11/retrofitting-spatial-s...
chandlerc.blog
November 17, 2024 at 1:05 AM
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
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
GitHub - bpfverif/agni
Contribute to bpfverif/agni development by creating an account on GitHub.
github.com
November 19, 2024 at 6:05 PM
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
Reposted by Santosh Nagarakatte
Proposed standard for the eBPF Instruction Set Architecture from IETF is out now 🐝
www.rfc-editor.org/info/rfc9669
www.rfc-editor.org/info/rfc9669
November 1, 2024 at 12:10 PM
Proposed standard for the eBPF Instruction Set Architecture from IETF is out now 🐝
www.rfc-editor.org/info/rfc9669
www.rfc-editor.org/info/rfc9669
Reposted by Santosh Nagarakatte
Proposed standard for the eBPF Instruction Set Architecture from IETF is out now 🐝
https://www.rfc-editor.org/info/rfc9669
https://www.rfc-editor.org/info/rfc9669
November 4, 2024 at 3:05 PM
Proposed standard for the eBPF Instruction Set Architecture from IETF is out now 🐝
https://www.rfc-editor.org/info/rfc9669
https://www.rfc-editor.org/info/rfc9669
Reposted by Santosh Nagarakatte
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...
"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...
November 12, 2024 at 7:07 PM
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...
"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...
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...
www.amazon.com/Wealth-War-W...
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
www.amazon.com
November 16, 2024 at 2:29 AM
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...
www.amazon.com/Wealth-War-W...
Reposted by Santosh Nagarakatte
Here is my starter pack of PL folks -- please come and join the fun! go.bsky.app/6kzdn3x
November 16, 2024 at 2:17 AM
Here is my starter pack of PL folks -- please come and join the fun! go.bsky.app/6kzdn3x