Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/https://bsky.app/profile/santosh-nagarak.bsky.socialhttps://bsky.app/profile/santosh-nagarak.bsky.social/post/3mjf6k5rwhs2yAnother 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 https://arxiv.org/pdf/2601.1719813 Apr 2026 15:27 +0000at://did:plc:7ogslfp4kkudy7oxs5xpu4fi/app.bsky.feed.post/3mjf6k5rwhs2yhttps://bsky.app/profile/santosh-nagarak.bsky.social/post/3lsjsp77tws2mI 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: https://lwn.net/Articles/1020664/26 Jun 2025 18:59 +0000at://did:plc:7ogslfp4kkudy7oxs5xpu4fi/app.bsky.feed.post/3lsjsp77tws2mhttps://bsky.app/profile/santosh-nagarak.bsky.social/post/3lpncxtw4vc2zCelebrating the class of 2025 at the School of Arts and Sciences convocation. #Rutgers #RutgersCS21 May 2025 00:13 +0000at://did:plc:7ogslfp4kkudy7oxs5xpu4fi/app.bsky.feed.post/3lpncxtw4vc2zhttps://bsky.app/profile/santosh-nagarak.bsky.social/post/3lkecmqf3nk2aMy 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 https://go.rutgers.edu/x3jsu67014 Mar 2025 19:07 +0000at://did:plc:7ogslfp4kkudy7oxs5xpu4fi/app.bsky.feed.post/3lkecmqf3nk2ahttps://bsky.app/profile/santosh-nagarak.bsky.social/post/3licvdoizck2sPretty inspiring story about Prof. Rajeswari Chatterjee from IISc. https://connect.iisc.ac.in/2017/05/remembering-rajeswari-chatterjee-iiscs-first-woman-engineer/16 Feb 2025 18:46 +0000at://did:plc:7ogslfp4kkudy7oxs5xpu4fi/app.bsky.feed.post/3licvdoizck2shttps://bsky.app/profile/santosh-nagarak.bsky.social/post/3lgovt7cpys2fCome to the first talk in the new year in our monthly FP talks series by Mridul Aanjaneya on February 6th. [contains quote post or other embedded content]27 Jan 2025 02:36 +0000at://did:plc:7ogslfp4kkudy7oxs5xpu4fi/app.bsky.feed.post/3lgovt7cpys2fhttps://bsky.app/profile/santosh-nagarak.bsky.social/post/3leotnpruws2aOur 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: https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next.git/commit/?id=9aa0ebde0014 Happy new year!01 Jan 2025 15:07 +0000at://did:plc:7ogslfp4kkudy7oxs5xpu4fi/app.bsky.feed.post/3leotnpruws2ahttps://bsky.app/profile/santosh-nagarak.bsky.social/post/3lcnyl42sbk2206 Dec 2024 20:12 +0000at://did:plc:7ogslfp4kkudy7oxs5xpu4fi/app.bsky.feed.post/3lcnyl42sbk22https://bsky.app/profile/santosh-nagarak.bsky.social/post/3lcnxspmglk2xMy PhD student Sehyeok Park presenting his work in the RLIBM project at NJPLS #NJPLS06 Dec 2024 19:58 +0000at://did:plc:7ogslfp4kkudy7oxs5xpu4fi/app.bsky.feed.post/3lcnxspmglk2xhttps://bsky.app/profile/santosh-nagarak.bsky.social/post/3lcnua3idis23Subset of my PhD students attending NJPLS at Cornell Tech #NJPLS06 Dec 2024 18:54 +0000at://did:plc:7ogslfp4kkudy7oxs5xpu4fi/app.bsky.feed.post/3lcnua3idis23https://bsky.app/profile/santosh-nagarak.bsky.social/post/3lcnnr46eyk2zCool work on detecting non-termination bugs at scale. #NJPLS06 Dec 2024 16:58 +0000at://did:plc:7ogslfp4kkudy7oxs5xpu4fi/app.bsky.feed.post/3lcnnr46eyk2zhttps://bsky.app/profile/santosh-nagarak.bsky.social/post/3lcnmjecjic2oNJPLS going on now. It is amazing to see a room full of PL folks. Well organized. Thanks Noam and other organizers!06 Dec 2024 16:36 +0000at://did:plc:7ogslfp4kkudy7oxs5xpu4fi/app.bsky.feed.post/3lcnmjecjic2ohttps://bsky.app/profile/santosh-nagarak.bsky.social/post/3lcgszuajjk2gExcited 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 https://www.njpls.org/dec2024.html03 Dec 2024 23:44 +0000at://did:plc:7ogslfp4kkudy7oxs5xpu4fi/app.bsky.feed.post/3lcgszuajjk2ghttps://bsky.app/profile/santosh-nagarak.bsky.social/post/3lbungom23k24Our patch to the eBPF verifier in the Linux Kernel improving the precision of the multiplication abstract operator: https://patchwork.kernel.org/project/netdevbpf/patch/20241126173844.29680-1-m.shachnai@rutgers.edu/26 Nov 2024 18:16 +0000at://did:plc:7ogslfp4kkudy7oxs5xpu4fi/app.bsky.feed.post/3lbungom23k24https://bsky.app/profile/santosh-nagarak.bsky.social/post/3lbggvwtqyk2eHad a great time meeting former Rutgers CS colleague Ricardo Bianchini at Microsoft Research today. #RutgersCS21 Nov 2024 02:42 +0000at://did:plc:7ogslfp4kkudy7oxs5xpu4fi/app.bsky.feed.post/3lbggvwtqyk2ehttps://bsky.app/profile/santosh-nagarak.bsky.social/post/3lbczjplggc2wIf 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 https://github.com/bpfverif/agni19 Nov 2024 18:05 +0000at://did:plc:7ogslfp4kkudy7oxs5xpu4fi/app.bsky.feed.post/3lbczjplggc2whttps://bsky.app/profile/santosh-nagarak.bsky.social/post/3laztt6xro22kMy 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. https://www.amazon.com/Wealth-War-Wisdom-Barton-Biggs/dp/047047479316 Nov 2024 02:29 +0000at://did:plc:7ogslfp4kkudy7oxs5xpu4fi/app.bsky.feed.post/3laztt6xro22khttps://bsky.app/profile/santosh-nagarak.bsky.social/post/3laz224736s2rExcited 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.15 Nov 2024 18:47 +0000at://did:plc:7ogslfp4kkudy7oxs5xpu4fi/app.bsky.feed.post/3laz224736s2r