Charitha Saumya
Computer Science · Purdue University West Lafayette
Publications
25
Citations
75
Est. group size
~2
Recurring co-author estimate
Active years
12
Publishing since 2015
Charitha Saumya works on compiler and program-analysis techniques that make software run faster or be tested more effectively, including reducing code size and control-flow complexity in GPU programs, transforming code for automated bug-finding (symbolic execution), and generating test binaries. Some work also applies these systems techniques to simulating electric-vehicle trip scheduling. This research is largely tool- and systems-oriented, aimed at improving performance and reliability of compiled code and testing infrastructure.
Publication output has been variable but generally increasing over the past decade, with a notable surge in 2022 and again projected for 2025-2026, following a slower period around 2017-2020.
Generated by claude-sonnet-5 from public bibliographic data · Jul 20, 2026
- Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
Proceedings of the ACM on Programming Languages · 2026
- Eliminate Branches by Melding IR Instructions (Artifact)
Zenodo (CERN European Organization for Nuclear Research) · 2026
- Eliminate Branches by Melding IR Instructions (Artifact)
Zenodo (CERN European Organization for Nuclear Research) · 2026
- Eliminate Branches by Melding IR Instructions (Artifact)
Dagstuhl Research Online Publication Server · 2026
- Eliminate Branches by Melding IR Instructions
Dagstuhl Research Online Publication Server · 2026
- Eliminate Branches by Melding IR Instructions
Open MIND · 2025
- Eliminate Branches by Melding IR Instructions
arXiv (Cornell University) · 2025
- METS-R SIM: A simulator for Multi-modal Energy-optimal Trip Scheduling in Real-time with shared autonomous electric vehicles
Simulation Modelling Practice and Theory · 2024
- HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction
2023
- UniRec: a unimodular-like framework for nested recursions and loops
Proceedings of the ACM on Programming Languages · 2022
- SparseLNR
2022
- DARM: Control-Flow Melding for SIMT Thread Divergence Reduction
2022
- Cornucopia : A Framework for Feedback Guided Generation of Binaries
2022
- Cornucopia: A Framework for Feedback Guided Generation of Binaries
arXiv (Cornell University) · 2022
- Multi-modal Energy-optimal Trip Scheduling in Real-time (METS-R) for Transportation Hubs (Final Report)
2022
- arXiv (Cornell University)×5
- Zenodo (CERN European Organization for Nuclear Research)×4
- Proceedings of the ACM on Programming Languages×2
- Dagstuhl Research Online Publication Server×2
- Simulation Modelling Practice and Theory×1
- Michael D. Bond
Computer Science · The Ohio State University
- Pedro Fonseca
Computer Science · Purdue University West Lafayette
- Atanas Rountev
Computer Science · The Ohio State University
- Chaitanya Koparkar
Computer Science · Indiana University
- Changhee Jung
Computer Science · Purdue University West Lafayette
This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.
Last updated Jul 20, 2026.
Claim or correct this profile