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; et al. (FAST, 2021)

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)

Tectonic-Shift: A Composite Storage Fabric for Large-Scale ML Training. - Mark Zhao; Satadru Pan; Niket Agarwal; Zhaoduo Wen; David Xu 010; Anand Natarajan; Pavan Kumar; Shiva Shankar P.; Ritesh Tijoriwala; Karan Asher; Hao Wu; Aarti Basant; et al. (USENIX ATC, 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)

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., 2023)

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 (ANTS, 2024)

OwlC: Compiling Security Protocols to Verified, Secure, High-Performance Libraries. - Pratap Singh; Joshua Gancher; Bryan Parno (IACR Cryptol. ePrint Arch., 2025)