Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aditi Kabra
conf.researchr.org general profile
SPLASH 2020 profile
SPLASH/ISSTA 2026 profile
Not registered as user
Name:
Aditi Kabra
Country:
United States
Affiliation:
Carnegie Mellon University
Contributions
2026
SPLASH
Author of Hybrid Game Control Envelope Synthesis within the OOPSLA-track
2020
TAPAS
Author of Online Verification of Commutativity within the TAPAS-track
SPLASH
Author of Geometry Types for Graphics Programming within the OOPSLA Artifacts-track
Author of Geometry Types for Graphics Programming within the OOPSLA-track
Author of Geometry Types for Graphics Programming within the Posters-track
Share
x
Wed 14 Oct 20:08