Jay Bosamiya is an author at Carnegie Mellon University specializing in formal methods, program analysis, and system software.
Top concepts
CompilersEngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware SystemsOperating SystemsSoftware AnalysisFormal Verification
Publications per year
2021–2024
3
3
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno et al. · 2021 · 19 citations
Verus: A Practical Foundation for Systems Verification
Andrea Lattuada, Travis Hance, Jay Bosamiya et al. · 2024 · 18 citations · Full text
Rows per page
1–3 of 3