Charitha Saumya

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 14

Top Topics

Symbolic Execution

Tensor Factorization

Computing Systems

Top Venues

Proc. ACM Program. Lang.

Publications

Zengxiang Lei, Jiawei Xue, Xiaowei Chen, Xinwu Qian, Charitha Saumya, Mingyi He, Stanislav Sobolevsky, Milind Kulkarni, Satish V. Ukkusuri
METS-R SIM: A simulator for Multi-modal Energy-optimal Trip Scheduling in Real-time with shared autonomous electric vehicles. Simul. Model. Pract. Theory 132 (2024)
Rodrigo C. O. Rocha, Charitha Saumya, Kirshanthan Sundararajah, Pavlos Petoumenos, Milind Kulkarni, Michael F. P. O'Boyle
HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction. CC (2023)
Charitha Saumya, Rohan Gangaraju, Kirshanthan Sundararajah, Milind Kulkarni
Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution. CoRR (2023)
Charitha Saumya, Kirshanthan Sundararajah, Milind Kulkarni
DARM: Control-Flow Melding for SIMT Thread Divergence Reduction. CGO (2022)
Vidush Singhal, Akul Abhilash Pillai, Charitha Saumya, Milind Kulkarni, Aravind Machiry
Cornucopia : A Framework for Feedback Guided Generation of Binaries. ASE (2022)
Vidush Singhal, Akul Abhilash Pillai, Charitha Saumya, Milind Kulkarni, Aravind Machiry
Cornucopia: A Framework for Feedback Guided Generation of Binaries. CoRR (2022)
Adhitha Dias, Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni
SparseLNR: accelerating sparse tensor computations using loop nest restructuring. ICS (2022)
Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni
UniRec: a unimodular-like framework for nested recursions and loops. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Adhitha Dias, Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni
SparseLNR: Accelerating Sparse Tensor Computations Using Loop Nest Restructuring. CoRR (2022)
Charitha Saumya, Kirshanthan Sundararajah, Milind Kulkarni
CFM: SIMT Thread Divergence Reduction by Melding Similar Control-Flow Regions in GPGPU Programs. CoRR (2021)
Zengxiang Lei, Jiawei Xue, Xiaowei Chen, Charitha Saumya, Xinwu Qian, Mingyi He, Stanislav Sobolevsky, Satish V. Ukkusuri
ADDS-EVS: An agent-based deployment decision-support system for electric vehicle services. ITSC (2021)
Jinkyu Koo, Charitha Saumya, Milind Kulkarni, Saurabh Bagchi
PySE: Automatic Worst-Case Test Generation by Reinforcement Learning. ICST (2019)
Charitha Saumya, Jinkyu Koo, Milind Kulkarni, Saurabh Bagchi
XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path Conditions. ICST (2019)
Shreya Inamdar, Charitha Saumya, Nomchin Banga
Orion+: Automated Problem Diagnosis in Computing Systems by Mining Metric Data. CoRR (2018)