Srinivas Narayana (@ngsrinivas) 's Twitter Profile
Srinivas Narayana

@ngsrinivas

Computer Science academic at Rutgers University, NJ, USA. Interested in networking, operating systems, and formal methods.

ID: 38280135

linkhttps://www.cs.rutgers.edu/~sn624/ calendar_today06-05-2009 21:24:04

215 Tweet

401 Takipçi

201 Takip Edilen

Srinivas Narayana (@ngsrinivas) 's Twitter Profile Photo
Srinivas Narayana
@ngsrinivas

4 years ago

Our research group's work on the soundness and precision of parts of the Linux kernel's static analysis of BPF programs has been accepted at CGO 2022. Congrats to the lead author Harishankar Vishwanathan.