Charitha Saumya

According to our database, Charitha Saumya authored at least 11 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution.

Charitha Saumya, Rohan Gangaraju, Kirshanthan Sundararajah, Milind Kulkarni

CoRR, 2023

HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction.

Rodrigo C. O. Rocha, Charitha Saumya, Kirshanthan Sundararajah, Pavlos Petoumenos, Milind Kulkarni, Michael F. P. O'Boyle

Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023

2022

UniRec: a unimodular-like framework for nested recursions and loops.

Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni

Proc. ACM Program. Lang., 2022

Cornucopia : A Framework for Feedback Guided Generation of Binaries.

Vidush Singhal, Akul Abhilash Pillai, Charitha Saumya, Milind Kulkarni, Aravind Machiry

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

SparseLNR: accelerating sparse tensor computations using loop nest restructuring.

Adhitha Dias, Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni

Proceedings of the ICS '22: 2022 International Conference on Supercomputing, Virtual Event, June 28, 2022

DARM: Control-Flow Melding for SIMT Thread Divergence Reduction.

Charitha Saumya, Kirshanthan Sundararajah, Milind Kulkarni

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022

2021

CFM: SIMT Thread Divergence Reduction by Melding Similar Control-Flow Regions in GPGPU Programs.

Charitha Saumya, Kirshanthan Sundararajah, Milind Kulkarni

CoRR, 2021

ADDS-EVS: An agent-based deployment decision-support system for electric vehicle services.

Zengxiang Lei, Jiawei Xue, Xiaowei Chen, Charitha Saumya, Xinwu Qian, Mingyi He, Stanislav Sobolevsky, Satish V. Ukkusuri

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

2019

XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path Conditions.

Charitha Saumya, Jinkyu Koo, Milind Kulkarni, Saurabh Bagchi

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

PySE: Automatic Worst-Case Test Generation by Reinforcement Learning.

Jinkyu Koo, Charitha Saumya, Milind Kulkarni, Saurabh Bagchi

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

2018

Orion+: Automated Problem Diagnosis in Computing Systems by Mining Metric Data.

Shreya Inamdar, Charitha Saumya, Nomchin Banga

CoRR, 2018