Charitha Saumya

Orcid: 0000-0001-9900-2804

According to our database1, Charitha Saumya authored at least 12 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
METS-R SIM: A simulator for Multi-modal Energy-optimal Trip Scheduling in Real-time with shared autonomous electric vehicles.
Simul. Model. Pract. Theory, 2024

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

HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction.
Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023

2022
UniRec: a unimodular-like framework for nested recursions and loops.
Proc. ACM Program. Lang., 2022

Cornucopia : A Framework for Feedback Guided Generation of Binaries.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

SparseLNR: accelerating sparse tensor computations using loop nest restructuring.
Proceedings of the ICS '22: 2022 International Conference on Supercomputing, Virtual Event, June 28, 2022

DARM: Control-Flow Melding for SIMT Thread Divergence Reduction.
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.
CoRR, 2021

ADDS-EVS: An agent-based deployment decision-support system for electric vehicle services.
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.
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

PySE: Automatic Worst-Case Test Generation by Reinforcement Learning.
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.
CoRR, 2018


  Loading...