Pratap Singh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CPP | Foundational Verification of Running-Time Bounds for Interactive Programs. | Andy Tockman, Pratap Singh, Andres Erbsen, Samuel Gruetter, Adam Chlipala |
| 2023 | SP | Owl: Compositional Verification of Security Protocols via an Information-Flow Type System. | Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno |
| 2023 | USENIX | 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 |
| 2021 | FAST | 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 |