Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Isha Chaudhary
conf.researchr.org general profile
ICSE 2026 profile
PLDI 2026 profile
POPL 2024 profile
Registered user since Sat 10 Jun 2023
Name:
Isha Chaudhary
Contributions
2026
PAgE
Author of Lumos: Let there be Language Model System Certification within the PAgE 2026-track
ICSE
Author of Specification Generation for Neural Networks in Systems within the Posters-track
2024
VMCAI
Committee Member in Artifact Evaluation Committee within the VMCAI 2024-track
Share
x
Sat 24 Oct 15:36