Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Omar Muhammad
conf.researchr.org general profile
PLDI 2026 profile
Registered user since Fri 10 Oct 2025
Name:
Omar Muhammad
Contributions
2026
PLDI
Author of Verification Modulo Tested Library Contracts within the PLDI Research Papers-track
Share
x
Tue 6 Oct 18:45