Pratap Singh

According to our database, Pratap Singh authored at least 5 papers between 2021 and 2023.

Collaborative distances:

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

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