Pratap Singh

According to our database, Pratap Singh authored at least 10 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

Proceedings of the 34th USENIX Security Symposium, 2025

Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict.

Zhengyao Lin, Michael McLoughlin, Pratap Singh, Rory Brennan-Jones, Paul Hitchcox, Joshua Gancher, Bryan Parno

Proceedings of the 34th USENIX Security Symposium, 2025

Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust.

Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno

Proceedings of the 34th USENIX Security Symposium, 2025

2024

A Novel Approach to Predict the Asian Exchange Stock Market Index Using Artificial Intelligence.

Rohit Salgotra, Harmanjeet Singh, Gurpreet Kaur, Supreet Singh, Pratap Singh, Szymon Lukasik

Algorithms, 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

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

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

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

Proceedings of the 44th IEEE Symposium on Security and Privacy, 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