default search action

combined dblp search
author search
venue search
publication search

ask others

Pratap Singh

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2026
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/TockmanSEGC26
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/TockmanSEGC26
Andy Tockman, Pratap Singh, Andres Erbsen, Samuel Gruetter, Adam Chlipala:
Foundational Verification of Running-Time Bounds for Interactive Programs. CPP 2026: 187-200
2025
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEants/SinghSNGK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEants/SinghSNGK25
Pratap Singh, Karthikeyan Subramaniam, Venkatesh Narayanan, Deepanshu Gautam, Ashutosh Kaushik:
Adaptive Network Configuration Using Network Digital Twin and AI/ML: Performance-Driven Approach. ANTS 2025: 1-6
[c7]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/LinMSBHGP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/LinMSBHGP25
Zhengyao Lin, Michael McLoughlin, Pratap Singh, Rory Brennan-Jones, Paul Hitchcox, Joshua Gancher, Bryan Parno:
Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict. USENIX Security Symposium 2025: 5035-5052
[c6]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/SinghGP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/SinghGP25
Pratap Singh, Joshua Gancher, Bryan Parno:
OwlC: Compiling Security Protocols to Verified, Secure, High-Performance Libraries. USENIX Security Symposium 2025: 5071-5090
[c5]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/CaiSLBGSP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/CaiSLBGSP25
Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno:
Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust. USENIX Security Symposium 2025: 6917-6935
[i2]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/SinghGP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/SinghGP25
Pratap Singh, Joshua Gancher, Bryan Parno:
OwlC: Compiling Security Protocols to Verified, Secure, High-Performance Libraries. IACR Cryptol. ePrint Arch. 2025: 1092 (2025)
2024
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/algorithms/SalgotraSKSSL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/algorithms/SalgotraSKSSL24
Rohit Salgotra, Harmanjeet Singh, Gurpreet Kaur, Supreet Singh, Pratap Singh, Szymon Lukasik:
A Novel Approach to Predict the Asian Exchange Stock Market Index Using Artificial Intelligence. Algorithms 17(10): 457 (2024)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEants/SinghSPSBGV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEants/SinghSPSBGV24
Pratap Singh, Karthikeyan Subramaniam, Jamsheed Manja Ppallan, Varadarajan Seenivasan, Saravanan Balasubramanian, Deepanshu Gautam, S. Karun Vikhash:
Forecasting and Mitigating Interference in TDD Mobile Communication Networks Using Machine Learning: A Data-Driven Approach. ANTS 2024: 1-6
2023
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/BourgeatCEGSWC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/BourgeatCEGSWC23
Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, Adam Chlipala:
Flexible Instruction-Set Semantics via Abstract Monads (Experience Report). Proc. ACM Program. Lang. 7(ICFP): 108-124 (2023)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/GancherGSDP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/GancherGSDP23
Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno:
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System. SP 2023: 1130-1147
[c2]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/usenix/ZhaoPAWXNKPTAWB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/ZhaoPAWXNKPTAWB23
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:
Tectonic-Shift: A Composite Storage Fabric for Large-Scale ML Training. USENIX ATC 2023: 433-449
[i1]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/GancherGSDP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/GancherGSDP23
Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno:
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System. IACR Cryptol. ePrint Arch. 2023: 473 (2023)
2022
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/js/SinghSSCSSI22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/js/SinghSSCSSI22
Pratap Singh, Rishi Pal Singh, Yudhvir Singh, Jasgurpreet Singh Chohan, Shubham Sharma, Milad Sadeghzadeh, Alibek Issakhov:
Magnetic Induction Technology-Based Wireless Sensor Network for Underground Infrastructure, Monitoring Soil Conditions, and Environmental Observation Applications: Challenges and Future Aspects. J. Sensors 2022: 9332917:1-9332917:18 (2022)
2021
[c1]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/fast/PanSZSZSPSWGCPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fast/PanSZSZSPSWGCPS21
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:
Facebook's Tectonic Filesystem: Efficiency from Exascale. FAST 2021: 217-231

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.