Srinivas Narayana @ngsrinivas
Computer Science academic at Rutgers University, NJ, USA. Interested in networking, operating systems, and formal methods. cs.rutgers.edu/~sn624/ New Brunswick, NJ Joined May 2009-
Tweets215
-
Followers408
-
Following198
-
Likes41
Excited to present our work on the soundness of the Linux eBPF verifier at the eBPF and networking track at upcoming #LinuxPlumbers conference, with fantastic collaborator @santoshgnag and awesome Ph.D. students @_harishankarv and Matan Shachnai.
1
3
26
2K
2
Srinivas Narayana retweeted
Our paper "Verifying the verifier: eBPF Range Analysis Verification" accepted at CAV 2023. Work with students Hari and Matan, and colleague @ngsrinivas. We propose an automated method to check the correctness of range analysis in the Linux Kernel’s eBPF verifier. 1/4
The list of accepted papers at the 1st ebpf and kernel extensions workshop (at sigcomm) is up. Co-organized with @sebymiano @get_gianni_up and @apanda. conferences.sigcomm.org/sigcomm/2023/w… Look forward to the program soon!
Srinivas Narayana retweeted
🗓️Just ONE week left to submit your papers for the 2023 @ACMSIGCOMM #eBPF Workshop! 🐝🚀 Whether it's a 6-page research paper or a concise 2-page Extended Abstract showcasing early findings or ongoing work, we're excited to see your submissions. 📚💡 ebpf23.hotcrp.com
Srinivas Narayana retweeted
Our work on "Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers" at @CGOconf awarded CGO 2022 Distinguished Paper Award! Congratulations to my awesome colleague @ngsrinivas + PhD students Harishankar and Matan. @RutgersSASMPS Paper at go.rutgers.edu/wn0zob8i
Read @seanhn's excellent blog post on making K2 run faster. prodfiler.com/blog/optimisin… Curious if folks have "go-to" tricks or more general references you use to make programs run faster based on profiles?
Our SIGCOMM'21 paper on an optimizing compiler for BPF. cs.rutgers.edu/~sn624/papers/…
Srinivas Narayana retweeted
The best first step towards building a complex end-to-end system is to build a basic end-to-end system -- not to build a submodule of what you think the complex system should look like
Srinivas Narayana retweeted
Our Linux kernel patch with a new algorithm for sound and precise multiplication of tnums (an abstract domain in the ebpf verifier) has been upstreamed. See paper at arxiv.org/abs/2105.05398. See patch at go.rutgers.edu/36xmpuqo Joint work with Hari, Matan, and @ngsrinivas #ebpf
"If I have seen further, it is by importing from the code of giants." ~ Jake VanderPlas (via LWN)
Verifying myself: I am ngsrinivas on Keybase.io. 16OLLEgTgevyd0yvJMdo-DQu-9bO3MCrq1_Z / keybase.io/ngsrinivas/sig…
⚡️ "Guy doesn't understand soccer, makes soccer video game anyway"
"we receive as friendly that which agrees with, we resist with dislike that which opposes us; the very reverse is required by common sense."
Srinivas Narayana retweeted
Seedless grapes. Seedless oranges. Seedless watermelons. All good. My vote for the next fruit to invent: Seedless pomegranate
16 elevating resolutions for 2016. brainpickings.org/2016/01/04/res… via @brainpicker
Alan Liu 🏍️ @Alan_Lau
2K Followers 1K Following Asst. CS Prof. @umdcs, @umiacs. Network Systems and Making Them Secure. Previously @bu_ece, @CarnegieMellon, @JHUCompSci.
Francis Y. Yan @FrancisYan_
2K Followers 295 Following Assistant Professor at UIUC CS | Previously @MSFTResearch @Stanford | Creator of Puffer (400k users) | Illinois Networked Systems + AI Lab.
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Jennifer Rexford @jrexnet
4K Followers 740 Following Provost @Princeton, Professor @PrincetonCS and @EPrinceton, affiliated with @PrincetonCITP, computer networking researcher, and mom. 🏳️🌈
Santosh Nagarakatte @santoshgnag
2K Followers 602 Following Professor and undergraduate program director, Computer Science, Rutgers University, New Brunswick. See my group RAPL: https://t.co/dYChac4veQ
Aaron A. Glenn @networkservice
5K Followers 3K Following "packet processing & packet processing accessories" my tweets are mine alone human rights over property rights. see also discuss . systems at this username
Tianyin Xu @tianyin_xu
5K Followers 1K Following Watchman in a cornfield @IllinoisCDS @ECEILLINOIS @ACMSIGOPS
Kirshanthan Sundarara... @Kirshanthan
1K Followers 1K Following Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC
Muhammad Shahbaz @msbaz2013
1K Followers 328 Following Assistant Professor of Computer Science and Engineering (CSE) at the University of Michigan
Madhulatha @madhhuma
5 Followers 39 Following
Geetha Varma @GeethaVarm79042
1 Followers 54 Following
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
𝑀𝑒𝑔𝒽𝒶�... @JohnWillia16790
1 Followers 10 Following ░I░N░D░I░A░✈✈✈ ░U░S░A░ 𝕤𝕠𝕔𝕚𝕒𝕝 𝕞𝕖𝕕𝕚𝕒 𝕒𝕔𝕥𝕚𝕧𝕚𝕥𝕚𝕖𝕤 🕊 𝐹𝓁𝓎𝒾𝓃𝑔 𝒽𝒾𝑔𝒽 𝑜𝓃 𝒹𝓇𝑒𝒶𝓂𝓈 𝒶𝓃𝒹 𝒽𝒾𝑔𝒽 𝒽𝑒𝑒𝓁𝓈.
Riday Mondal @rdmondal100
27 Followers 80 Following Expert Full-Stack Web Developer | Professional MERN Stack Developer
Eguauiejxie @Eguauiejxie988
27 Followers 982 Following
MohanbabuCA @CA_Mohan_Wealth
46 Followers 2K Following 📊 Mutual Funds Expert | 💰 Investment Advisor | Helping you build wealth smartly & securely 🚀 Simplifying finance for your future. DM for insights!
Mwawta @Mwawta8865
53 Followers 3K Following
Vaishalikonidela @Vaishalikonidel
20 Followers 160 Following Fashion stylist 👗 Living for creativity and positive energy 💖 Let’s make the world a little more stylish 👚
Aditya Upalkar @AdityaUpal26003
1 Followers 36 Following AI Solutions | Integration for Startups | SaaS, Web & Mobile Solutions | E-Commerce & Digital Marketing | Lead Software Engineer
Bohuslav Broza @BohuslavBroza
66 Followers 621 Following
Xudong Sun @xu_dong_sun
1K Followers 803 Following Incoming Assistant Professor at @eceuoft | PhD from UIUC @siebelschool | System reliability, formal verification, and testing | Playing/fighting with Kubernetes
CompSci Geeks @CompSci_Geeks
31 Followers 579 Following Master Computer Science with Expert Help! On Demand Computer Science Help!
Seth G @sethgutt
2K Followers 1K Following Indoor Kid, Father of 2, Special Ed Technology and Computer Science Teacher, Pro Wrestling Social Club on @Outschool
Marcel @M_rc_l_Sim
2K Followers 1K Following OpenTelemetry enthusiast 💪🏼 Dash0 beta is live https://t.co/nYVFCn9Xh7 | OTel Lovers check: https://t.co/qlAHHhR3gV
Bala @balaintwt
568 Followers 6K Following A linux ,container k8s security enthusiast. Avid runner and cyclist #Kubestronaut , open to sre roles
Basavesh Ammanaghatta... @basavesh88
210 Followers 1K Following Systems software researcher at @virginia_tech
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
reily @reeeiiily
0 Followers 49 Following
Teng Jiang @TengSJiang
164 Followers 463 Following CS@Columbia. OS | Systems in general. Wannabe chill guy but busy-spinning. Trying to focus but preempted too often. Meant to be nice but sass write protected.
Bill Mulligan 🐝�... @breakawaybilly
4K Followers 2K Following Cloud Native networking, observability, and security with @ciliumproject, @ebpffoundation, and @isovalent Newsletter https://t.co/4FUWt7Sf69
KB @kwakubiney_
83 Followers 148 Following
Kumar Kartikeya Dwive... @kkdwvd
161 Followers 3K Following
Gourav Sharma @gouravpsaux
211 Followers 4K Following Postdoc researcher at EECS KTH | Industry 4.0, Telecommunications, Photonics | From Jammu, India
Gearldine @quesenberrygear
271 Followers 3K Following
Tempe @Tempe2030453
11 Followers 1K Following There is no better scenery than in memory, so the best thing is not to revisit the same place.
Yujie Ren @yujie_pedro
3 Followers 31 Following
4Soft Technologies @4softnellore
42 Followers 774 Following
Ramneet Singh @Ramneet_Singhh
856 Followers 5K Following Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)
Amir M. Tavakkoli @AmirTheWanderer
117 Followers 2K Following
Davanum Srinivas @dims
8K Followers 2K Following #OpenSource Person, Principal Engineer for Nvidia. He/Him.
Rutgers Computer Scie... @RutgersCS
375 Followers 243 Following Official account for the Rutgers Computer Science Department in @RutgersSAS / Rutgers University - New Brunswick.
Konstantinos Kallas @KonsKallas
1K Followers 533 Following Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they https://t.co/461Ntl9CBc
Tianyi Gao @tgao99
133 Followers 546 Following Netsys PhD student at @icsaAtEd @InfAtEd, prev @UoNComputerSci. Interested in Network and OS research.
Ashfaqur Rahaman @aagontuk_t
67 Followers 350 Following CS PhD student @UtahSoC. operating systems and networking.
Kostis Kaffes @kkaffes
998 Followers 1K Following Assistant Prof. @ColumbiaCompSci. Former Google, @Stanford. Athenian.
Sreenath @structsNmacros
57 Followers 1K Following Linux kernel developer. Interested in Computer architecture, Embedded, Space, Travel and football. Reads sometimes. Watches #mufc to get depressed. Atheist.
Laurent Vanbever / @l... @lvanbever
2K Followers 880 Following Professor @ ETH Zürich. Head of https://t.co/AX2rDb95qj. Co-founder of https://t.co/RrekIzPtnh. Also on Fediverse / Mastodon: @[email protected]
Alan Liu 🏍️ @Alan_Lau
2K Followers 1K Following Asst. CS Prof. @umdcs, @umiacs. Network Systems and Making Them Secure. Previously @bu_ece, @CarnegieMellon, @JHUCompSci.
Francis Y. Yan @FrancisYan_
2K Followers 295 Following Assistant Professor at UIUC CS | Previously @MSFTResearch @Stanford | Creator of Puffer (400k users) | Illinois Networked Systems + AI Lab.
Jennifer Rexford @jrexnet
4K Followers 740 Following Provost @Princeton, Professor @PrincetonCS and @EPrinceton, affiliated with @PrincetonCITP, computer networking researcher, and mom. 🏳️🌈
Santosh Nagarakatte @santoshgnag
2K Followers 602 Following Professor and undergraduate program director, Computer Science, Rutgers University, New Brunswick. See my group RAPL: https://t.co/dYChac4veQ
Tianyin Xu @tianyin_xu
5K Followers 1K Following Watchman in a cornfield @IllinoisCDS @ECEILLINOIS @ACMSIGOPS
Association for Compu... @TheOfficialACM
72K Followers 3K Following The world's largest professional organization advancing #computing as a science and profession. Also @mastodon.acm.org Likes & shares ≠endorsement
Arpit Gupta @glexqsd
681 Followers 208 Following Assistant Professor at UCSB Dad of two! Runs Systems and Networking Lab (SNL) at @UCSBCS
Mike Freedman @michaelfreedman
5K Followers 374 Following Co-founder/CTO, @TigerDatabase / @TimescaleDB 🐯🦄. Professor, @PrincetonCS. Distributed systems, databases, AI, security, networking.
Brendan Gregg @brendangregg
47K Followers 156 Following Makes things fast. Expert in computer performance and eBPF. Intel Fellow, ex-Netflix. Created flame graphs. Aussie. Opinions my own. [email protected]
Muhammad Shahbaz @msbaz2013
1K Followers 328 Following Assistant Professor of Computer Science and Engineering (CSE) at the University of Michigan
Rutgers Computer Scie... @RutgersCS
375 Followers 243 Following Official account for the Rutgers Computer Science Department in @RutgersSAS / Rutgers University - New Brunswick.
Trail of Bits @trailofbits
35K Followers 256 Following We help secure the world’s most targeted organizations and products. We combine security research with an attacker mentality to reduce risk and fortify code.
Alexandra Silva @alexandra8silva
2K Followers 867 Following Computer scientist, loves traveling and food tasting!
Mark O’Connell @mrkocnnll
15K Followers 2K Following Writer of A Thread of Violence (2023), Notes from an Apocalypse (2020), To Be a Machine (2017) Agent: [email protected] (UK); [email protected] (US)
Ross Teixeira @RossTeixeira
541 Followers 1K Following writer @themarkup | previously @PrincetonCITP @XRDS_ACM | he/him
Yongfeng Zhang @yongfengzhang9
3K Followers 690 Following Professor of CS@Rutgers; Personal opinions only, do not endorse anything.
william tu @u9012063
291 Followers 162 Following Working on NVIDIA BlueField and DOCA networking software
Marios Kogias @MariosKogias
584 Followers 595 Following Assistant Professor @ICComputing, visiting researcher @MSFTResearch
Hooman Mohajeri @LifeOfHooman
75 Followers 1K Following I get excited by new gimmicks! So bring me your toys! :D @Princeton PhD, former @PrincetonCITP Occupant! Interested in Privacy, Security and Cryptography
Deepak Vasisht @deepakv91
2K Followers 909 Following Assistant Professor @IllinoisCS. Ex-Microsoft | MIT | IIT Delhi.
Palani Kodeswaran @playfulprimate
227 Followers 1K Following
Ihsan Ayyub Qazi @ihsanqazi
683 Followers 1K Following Computer Scientist & Prof @ LUMS; #LUMS #Pitt #Berkeley; interested in tech and development, digital health, GenAI & public policy
Sandip Shah @tweet_sandip
14 Followers 52 Following
Ruijie Fang @ruijiefang
38 Followers 444 Following To Mastodon: @[email protected] and back. X-denialist and Twitter-luddite. Tweets locked to avoid bots.
Roberto Bifulco @RoBBifulco
396 Followers 714 Following Leading the Intelligent Software Systems group at NEC Labs Europe, covering AI agents, core ML, computational methods, cybersecurity and platforms!
Rahul @rahulatiitd
2K Followers 1K Following Assistant Professor, Transportation Research and Injury Prevention Centre, @trip_centre @iitdelhi @southasiacycles [email protected]
Jonathan S. Anjaria @JSAnjaria
989 Followers 401 Following Associate Professor of Anthropology @BrandeisU | @BrandeisGSAS
kavi bhalla @kavibhalla
579 Followers 795 Following Researcher, Associate Professor at University of Chicago, Interested in road safety, health effects of transport and urban policy
Oliver Michel @omichel_net
114 Followers 273 Following Research Scholar @PrincetonCS: programmable networks, video-conferencing systems, high-performance networking; previously @CUBoulder, @univienna
Venkat Arun @VenkatArun95
675 Followers 190 Following Assistant professor at UT Austin. I use formal methods to rigorously understand system performance. https://t.co/OHgEZC2NNW
Swarun Kumar @swarunk
1K Followers 151 Following I am the Sathaye Family Foundation Professor at Carnegie Mellon University working on wireless networks and mobile systems.
USENIX Association @usenix
14K Followers 834 Following Champions open access. Organizes vendor-neutral conferences in systems computing. Fosters collaborative & respectful communities of researchers & practitioners.
Aditya Akella @adityaakella
3K Followers 389 Following Regents Chair in Computer Sciences, UT Austin. Computer Systems and Networking.
Vibhaa Sivaraman @vibhaa14
240 Followers 327 Following PhD Candidate at @MITCSAIL researching vision techniques for video-conferencing, Bharatanatyam dancer and @PrincetonCS Class of 2017. Pronouns: she/her
Shung-Hsi Yu @shunghsiyu
407 Followers 1K Following Kernel Engineer @SUSE messing with BPF #StandWithUkraine 💙💛 Also at @[email protected]
Science girl @gunsnrosesgirl3
4.1M Followers 6K Following science in context, art history and some puzzles to solve
gathara @gathara
197K Followers 3K Following Inveterate complainer, armchair activist, keyboard warrior, cartoonist, writer, columnist. Snr Editor for Inclusive Storytelling at The New Humanitarian.
Polar Signals @PolarSignalsIO
2K Followers 39 Following A cool company. 🧊 🚀 Unlock the full potential of your code with real-time profiling. Creators of @ParcaDev!
Buoyant @BuoyantIO
5K Followers 2 Following Creators of @Linkerd. The next generation of networking security and reliability for Kubernetes.
Ratul Mahajan @ratulm
1K Followers 631 Following I SEE (study, engineer, educate) computer networks. Tweets are facts; retweets are alternative facts
Static Analysis Sympo... @symposiumSAS
298 Followers 2 Following 31th International Static Analysis Symposium, co-located with @splashcon #SAS2024
Mina Tahmasbi Arashlo... @MArashloo
456 Followers 148 Following
Open at Microsoft @OpenAtMicrosoft
85K Followers 9 Following All things #OpenSource at Microsoft https://t.co/4V3rben8iJ
Kentik @kentikinc
9K Followers 8K Following Kentik is the network intelligence platform for modern infrastructure teams.
Bryan Cantrill @bcantrill
50K Followers 4K Following Co-founder and CTO of @oxidecomputer. According to @fieldofschemes, "tech exec and Oakland A's fan" -- but more of a Ballers fan now. @bcantrill.bsky.social
ACM Queue @ACMQueue
12K Followers 140 Following Online magazine of the Association for Computing Machinery
Jessie Frazelle @jessfraz
131K Followers 232 Following CEO @zoodotdev, 👩🏻💻 @oxidecomputer, 📝 @ACMQueue
Emery Berger @emeryberger
5K Followers 5K Following No longer posting here. @emeryberger.bsky.social, Threads: @emeryberger, Mastodon: @[email protected]
NIH NCCIH @NIH_NCCIH
45K Followers 815 Following Official account of the National Center for Complementary & Integrative Health at the @NIH. Privacy policy: https://t.co/rzXQMDYqIB Engagement ≠ endorsement
Pixie @pixie_run
1K Followers 54 Following Open source Kubernetes observability for developers. @cloudnativefdn sandbox project. https://t.co/HY6VnfFQIq
AWS Cloud India @AWSCloudIndia
384K Followers 28 Following ☁️. On a mission to empower builders & businesses to build a better 🇮🇳. For support👉🏽 @AWSSupportTrends for United States
126 B posts
47,2 B posts
84,4 B posts
6.476 posts
38,3 B posts
4.467 posts
37,3 B posts
10,3 B posts
6.493 posts
10,7 B posts
45 B posts
10,7 B posts
6.341 posts
3.524 posts
15,6 B posts
7.378 posts
1.622 posts
7.603 posts
10,5 B posts
1.226 posts
You might like
Jennifer Rexford
@jrexnet
4K Followers
Aurojit Panda
@apanda
1K Followers
Tailscale
@Tailscale
26K Followers
Kashyap Puranik
@kashyaprpuranik
355 Followers
Mina Tahmasbi Arashlo...
@MArashloo
456 Followers
Arun Chaganty
@arunchaganty
778 Followers
Raghu NS
@raghu_ns
236 Followers
praveen penumaka
@praveenpenumaka
133 Followers
SolidGoldMagikarp �...
@nikhilgp
351 Followers
Manjunath Kashyap
@kashyap1123
245 Followers
Vinay Hegde
@hegdevinayi
187 Followers