Pratap Singh

14 papers A* 4A 1B 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2026 B conf
Foundational Verification of Running-Time Bounds for Interactive Programs.
CPP
Andy Tockman, Pratap Singh, Andres Erbsen, Samuel Gruetter, Adam Chlipala
2025 — conf
Adaptive Network Configuration Using Network Digital Twin and AI/ML: Performance-Driven Approach.
ANTS
Pratap Singh, Karthikeyan Subramaniam, Venkatesh Narayanan, Deepanshu Gautam, Ashutosh Kaushik
2025 A* conf
OwlC: Compiling Security Protocols to Verified, Secure, High-Performance Libraries.
USENIX Security Symposium
Pratap Singh, Joshua Gancher, Bryan Parno
2025 J jnl
OwlC: Compiling Security Protocols to Verified, Secure, High-Performance Libraries.
IACR Cryptol. ePrint Arch.
Pratap Singh, Joshua Gancher, Bryan Parno
2025 A* conf
Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict.
USENIX Security Symposium
Zhengyao Lin, Michael McLoughlin, Pratap Singh, Rory Brennan-Jones, Paul Hitchcox, Joshua Gancher, Bryan Parno
2025 A* conf
Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust.
USENIX Security Symposium
Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno
2024 J jnl
A Novel Approach to Predict the Asian Exchange Stock Market Index Using Artificial Intelligence.
Algorithms
Rohit Salgotra, Harmanjeet Singh, Gurpreet Kaur, Supreet Singh, Pratap Singh, Szymon Lukasik
2024 — conf
Forecasting and Mitigating Interference in TDD Mobile Communication Networks Using Machine Learning: A Data-Driven Approach.
ANTS
Pratap Singh, Karthikeyan Subramaniam, Jamsheed Manja Ppallan, Varadarajan Seenivasan, Saravanan Balasubramanian, Deepanshu Gautam, S. Karun Vikhash
2023 J jnl
Flexible Instruction-Set Semantics via Abstract Monads (Experience Report).
Proc. ACM Program. Lang.
Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, Adam Chlipala
2023 A* conf
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System.
SP
Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno
2023 J jnl
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System.
IACR Cryptol. ePrint Arch.
Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno
2023 — conf
Tectonic-Shift: A Composite Storage Fabric for Large-Scale ML Training.
USENIX ATC
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
2022 J jnl
Magnetic Induction Technology-Based Wireless Sensor Network for Underground Infrastructure, Monitoring Soil Conditions, and Environmental Observation Applications: Challenges and Future Aspects.
J. Sensors
Pratap Singh, Rishi Pal Singh, Yudhvir Singh, Jasgurpreet Singh Chohan, Shubham Sharma, Milad Sadeghzadeh, Alibek Issakhov
2021 A conf
Facebook's Tectonic Filesystem: Efficiency from Exascale.
FAST
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