• Sign in
  • Sign up
conf.researchr.org / Jay Bosamiya
  • PLDI 2026 profile
  • POPL 2020 profile
  • POPL 2023 profile
Jay Bosamiya

Registered user since Fri 3 Jan 2020

Name:Jay Bosamiya
Country:United States
Affiliation:Microsoft Research
Personal website: https://www.jaybosamiya.com/
GitHub: https://github.com/jaybosamiya
Research interests:Security, Systems, PL

Contributions

2026

PLDI

  • Author of [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software within the PLDI Research Papers-track

2023

POPL

  • Author of MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code within the POPL-track

2020

PriSC

  • Author of WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing within the Principles of Secure Compilation 2020-track
Share
xMon 15 Jun 07:00
using conf.researchr.org (v1.73.2)
Support page
Sign Up