Pranav Srinivasan

According to our database, Pranav Srinivasan authored at least 6 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version).

Pranav Srinivasan, Manos Kapritsos, Yatin A. Manerkar

CoRR, May, 2026

2024

Verus: A Practical Foundation for Systems Verification.

Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, Bryan Parno

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

2021

A Defense-Inspired Benchmark Suite.

Pete Ehrett, Nathan Block, Bing Schaefer, Adrian Berding, John Paul Koenig, Pranav Srinivasan, Valeria Bertacco, Todd M. Austin

Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2021

2018

Hexagonal Meshed Rectangular Reflectarray Antenna in Ku Band for Satellite Communication.

Pranav Srinivasan, Laxman Sethuraman, Rahul Bhaskaran, Hyder Ali Umma Habiba

Proceedings of the 9th IEEE Annual Ubiquitous Computing, 2018

2017

Application of structural equation modelling to evaluate the barrier relationship for green supply chain management implementation.

Kaliyan Mathiyazhagan, A. Noorul Haq, Aanand Mohapatra, Pranav Srinivasan

Int. J. Bus. Perform. Supply Chain Model., 2017

Reconfigurable X-band bandpass filter using SIR with variable capacitor.

P. R. Sriram, Rahul Bhaskaran, D. Bharathi, Pranav Srinivasan, Nithin Krishnan, Hyder Ali Umma Habiba

Proceedings of the Sixth International Conference on Future Generation Communication Technologies, 2017