Pratap Singh

Foundational Verification of Running-Time Bounds for Interactive Programs

Tectonic-Shift: A Composite Storage Fabric for Large-Scale ML Training

Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust

OwlC: Compiling Security Protocols to Verified, Secure, High-Performance Libraries

Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict

Owl: Compositional Verification of Security Protocols via an Information-Flow Type System

AI-Augmented Multi-Factor Subnet Selection for Dynamic Network Slice Creation in 3GPP Networks

Facebook's Tectonic Filesystem: Efficiency from Exascale

Forecasting and Mitigating Interference in TDD Mobile Communication Networks Using Machine Learning: A Data-Driven Approach

Adaptive Network Configuration Using Network Digital Twin and AI/ML: Performance-Driven Approach

Flexible Instruction-Set Semantics via Type Classes

Instruction sets, from families like x86 and ARM, are at the center of many ambitious formal-methods projects. Many verification, synthesis, programming, and debugging tools rely on formal...