Projects per year
Fingerprint
Dive into the research topics where Srinivas Narayana Ganapathy is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
FMitF: Track I: Formally Verified Sandboxing for Packet-Processing Programs
Narayana Ganapathy, S. & Nagarakatte, S.
10/1/20 → 9/30/24
Project: Research project
-
-
CC* Integration: Rutgers University Next-Generation Edge Testbed (RU-NET)
von Oehsen, J., Nguyen, T., Martin, R., Seskar, I. & Narayana Ganapathy, S.
10/1/19 → 9/30/23
Project: Research project
-
CaT: A Solver-Aided Compiler for Packet-Processing Pipelines
Gao, X., Raghunathan, D., Fang, R., Wang, T., Zhu, X., Sivaraman, A., Narayana, S. & Gupta, A., Mar 25 2023, ASPLOS 2023 - Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Aamodt, T. M., Jerger, N. E. & Swift, M. (eds.). Association for Computing Machinery, p. 72-88 17 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 3).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Making Decisions at Data Plane Speeds
Narayana, S., Oct 2 2023, In: Performance Evaluation Review. 51, 2, p. 88-90 3 p.Research output: Contribution to journal › Article › peer-review
-
QuEST: Fast, Expressive, and Cheap Analytics for Distributed Traces Using Cloud Storage
Berg, J., Haseeb, M., Chen, H., Ju, Y., Sivaraman, A., Netravali, R. & Narayana, S., 2023, In: CEUR Workshop Proceedings. 3462Research output: Contribution to journal › Conference article › peer-review
-
Verifying the Verifier: eBPF Range Analysis Verification
Vishwanathan, H., Shachnai, M., Narayana, S. & Nagarakatte, S., 2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 226-251 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13966 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Elasticity detection: A building block for internet congestion control
Goyal, P., Narayan, A., Cangialosi, F., Narayana, S., Alizadeh, M. & Balakrishnan, H., Aug 22 2022, SIGCOMM 2022 - Proceedings of the ACM SIGCOMM 2022 Conference. Association for Computing Machinery, Inc, p. 158-176 19 p. (SIGCOMM 2022 - Proceedings of the ACM SIGCOMM 2022 Conference).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access