Charitha Saumya -

Registered user since Fri 24 Apr 2026

Name:Charitha Saumya

Affiliation:Intel

Personal website: https://charitha22.github.io/

Contributions

2026

SPLASH

Author of Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution within the OOPSLA-track

ECOOP

Author of Eliminate Branches by Melding IR Instructions within the Technical Papers-track