Santosh Nagarakatte
@santoshgnag
Followers
2K
Following
3K
Statuses
2K
Professor and undergraduate program director, Computer Science, Rutgers University, New Brunswick. See my group RAPL: https://t.co/dYChac4veQ
New Brunswick
Joined October 2009
Honored to be selected as a 2023 ACM Distinguished member! Thanks to all my mentors, collaborators, students at Rutgers CS and elsewhere
🌟Thrilled to introduce the exceptional individuals who have been inducted as ACM Distinguished Members for 2023. Their expertise & commitment to excellence make them invaluable contributors to our shared journey. Join us in celebrating these inductees! 👏
13
2
107
RT @FPTalksAnnounce: Happy new year! The first talk of this year is going to be on Feb 6th at 9am Pacific by Mridul Aanjaneya from Rutgers…
0
1
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: Happy new year!
2
2
16
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!
0
2
6
Our patch to the eBPF verifier in the Linux Kernel improving the precision of the multiplication abstract operator:
0
1
25
Meeting Ricardo Bianchini (former Rutgers CS colleague) at Microsoft Research today. #RutgersCS
0
0
7
If you are around UW today, come to my talk on our verifying the eBPF verifier work in the context of the Linux Kernel at 12:30pm PST. Thanks @ztatlock for hosting. Try out the Agni tool, which is being used by some Kernel developers:
0
0
4
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.
0
0
22
Gave a talk on the RLIBM project in Levine 307 as part of Penn PL Club. Giving the talk for the first time in that room after my PhD defense more than 12 years ago!
0
0
16
0
0
1
Giving a talk on the RLIBM project at NYU Courant today at 10am. If you are at NYU and free, attend my talk.
0
2
9
RT @ngsankha: I'll be recruiting PhD students this cycle! If you're interested in working on program synthesis, type systems, program analy…
0
45
0
If you are attending OOPSLA in Pasadena, come to my talk on "Fixing the Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel" at the Static Analysis Symposium on Monday at 2pm.
0
6
24
RT @RajeevAlur: Sad to learn that Allen Emerson, a giant of the formal methods research and winner of 2007 Turing Award, passed away, he wi…
0
17
0
RT @mariejacob: The lecture from Grace Hopper that NSA released recently is riveting… I had no she was quite the comedian.
0
1
0
RT @kwalfridsson: My talk from the GNU Cauldron about my translation validation tool, smtgcc (, is now available on…
0
8
0
RT @BooleanAnalysis: I just posted the 100th and final video in my YouTube course, "Quantum Computer Programming in 100 Easy Lessons". If…
0
28
0