Orion+: Automated Problem Diagnosis in Computing Systems by Mining Metric Data. - Shreya Inamdar; Charitha Saumya; Nomchin Banga (CoRR, 2018)

PySE: Automatic Worst-Case Test Generation by Reinforcement Learning. - Jinkyu Koo; Charitha Saumya; Milind Kulkarni 001; Saurabh Bagchi (ICST, 2019)

XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path Conditions. - Charitha Saumya; Jinkyu Koo; Milind Kulkarni 001; Saurabh Bagchi (ICST, 2019)

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 (ITSC, 2021)

CFM: SIMT Thread Divergence Reduction by Melding Similar Control-Flow Regions in GPGPU Programs. - Charitha Saumya; Kirshanthan Sundararajah; Milind Kulkarni 001 (CoRR, 2021)

DARM: Control-Flow Melding for SIMT Thread Divergence Reduction. - Charitha Saumya; Kirshanthan Sundararajah; Milind Kulkarni 001 (CGO, 2022)

SparseLNR: accelerating sparse tensor computations using loop nest restructuring. - Adhitha Dias; Kirshanthan Sundararajah; Charitha Saumya; Milind Kulkarni 001 (ICS, 2022)

Cornucopia : A Framework for Feedback Guided Generation of Binaries. - Vidush Singhal; Akul Abhilash Pillai; Charitha Saumya; Milind Kulkarni 001; Aravind Machiry (ASE, 2022)

UniRec: a unimodular-like framework for nested recursions and loops. - Kirshanthan Sundararajah; Charitha Saumya; Milind Kulkarni 001 (Proc. ACM Program. Lang., 2022)

HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction. - Rodrigo C. O. Rocha; Charitha Saumya; Kirshanthan Sundararajah; Pavlos Petoumenos; Milind Kulkarni 001; Michael F. P. O'Boyle (CC, 2023)

Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution. - Charitha Saumya; Rohan Gangaraju; Kirshanthan Sundararajah; Milind Kulkarni 001 (CoRR, 2023)

METS-R SIM: A simulator for Multi-modal Energy-optimal Trip Scheduling in Real-time with shared autonomous electric vehicles. - Zengxiang Lei; Jiawei Xue; Xiaowei Chen; Xinwu Qian; Charitha Saumya; Mingyi He; Stanislav Sobolevsky; Milind Kulkarni 001; Satish V. Ukkusuri (Simul. Model. Pract. Theory, 2024)