Pratap Singh

According to our database, Pratap Singh authored at least 7 papers between 2021 and 2025.

Collaborative distances:

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

2025

OwlC: Compiling Security Protocols to Verified, Secure, High-Performance Libraries.

Pratap Singh, Joshua Gancher, Bryan Parno

IACR Cryptol. ePrint Arch., 2025

2024

Forecasting and Mitigating Interference in TDD Mobile Communication Networks Using Machine Learning: A Data-Driven Approach.

Pratap Singh, Karthikeyan Subramaniam, Jamsheed Manja Ppallan, Varadarajan Seenivasan, Saravanan Balasubramanian, Deepanshu Gautam, S. Karun Vikhash

Proceedings of the IEEE International Conference on Advanced Networks and Telecommunications Systems, 2024

2023

Flexible Instruction-Set Semantics via Abstract Monads (Experience Report).

Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, Adam Chlipala

Proc. ACM Program. Lang., August, 2023

Owl: Compositional Verification of Security Protocols via an Information-Flow Type System.

Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno

IACR Cryptol. ePrint Arch., 2023

Tectonic-Shift: A Composite Storage Fabric for Large-Scale ML Training.

Mark Zhao, Satadru Pan, Niket Agarwal, Zhaoduo Wen, David Xu, Anand Natarajan, Pavan Kumar, Shiva Shankar P., Ritesh Tijoriwala, Karan Asher, Hao Wu, Aarti Basant, Daniel Ford, Delia David, Nezih Yigitbasi, Pratap Singh, Carole-Jean Wu

Proceedings of the 2023 USENIX Annual Technical Conference, 2023

2022

Magnetic Induction Technology-Based Wireless Sensor Network for Underground Infrastructure, Monitoring Soil Conditions, and Environmental Observation Applications: Challenges and Future Aspects.

Pratap Singh, Rishi Pal Singh, Yudhvir Singh, Jasgurpreet Singh Chohan, Shubham Sharma, Milad Sadeghzadeh, Alibek Issakhov

J. Sensors, 2022

2021

Facebook's Tectonic Filesystem: Efficiency from Exascale.

Satadru Pan, Theano Stavrinos, Yunqiao Zhang, Atul Sikaria, Pavel Zakharov, Abhinav Sharma, Shiva Shankar P., Mike Shuey, Richard Wareing, Monika Gangapuram, Guanglei Cao, Christian Preseau, Pratap Singh, Kestutis Patiejunas, J. R. Tipton, Ethan Katz-Bassett, Wyatt Lloyd

Proceedings of the 19th USENIX Conference on File and Storage Technologies, 2021