Follow
Charitha Saumya
Title
Cited by
Cited by
Year
Pyse: Automatic worst-case test generation by reinforcement learning
J Koo, C Saumya, M Kulkarni, S Bagchi
2019 12th IEEE Conference on Software Testing, Validation and Verification …, 2019
312019
Xstressor: Automatic generation of large-scale worst-case test inputs by inferring path conditions
C Saumya, J Koo, M Kulkarni, S Bagchi
2019 12th IEEE Conference on Software Testing, Validation and Verification …, 2019
102019
DARM: control-flow melding for SIMT thread divergence reduction
C Saumya, K Sundararajah, M Kulkarni
2022 IEEE/ACM International Symposium on Code Generation and Optimization …, 2022
8*2022
SparseLNR: Accelerating Sparse Tensor Computations Using Loop Nest Restructuring
MK Adhitha Dias, Kirshanthan Sundararajah, Charitha Saumya
Proceedings of the 36th ACM International Conference on Supercomputing, 1-14, 2022
52022
Hybf: A hybrid branch fusion strategy for code size reduction
RCO Rocha, C Saumya, K Sundararajah, P Petoumenos, M Kulkarni, ...
Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler …, 2023
32023
ADDS-EVS: An agent-based deployment decision-support system for electric vehicle services
Z Lei, J Xue, X Chen, C Saumya, X Qian, M He, S Sobolevsky, ...
2021 IEEE International Intelligent Transportation Systems Conference (ITSC …, 2021
22021
Inertial Measurement units based wireless sensor network for real time gait analysis
I Lihinikaduarachchi, SA Rajapaksha, C Saumya, V Senevirathne, P Silva
TENCON 2015-2015 IEEE Region 10 Conference, 1-6, 2015
22015
METS-R SIM: A simulator for Multi-modal Energy-optimal Trip Scheduling in Real-time with shared autonomous electric vehicles
Z Lei, J Xue, X Chen, X Qian, C Saumya, M He, S Sobolevsky, M Kulkarni, ...
Simulation Modelling Practice and Theory 132, 102898, 2024
12024
UniRec: a unimodular-like framework for nested recursions and loops
K Sundararajah, C Saumya, M Kulkarni
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1264-1290, 2022
12022
Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution
C Saumya, R Gangaraju, K Sundararajah, M Kulkarni
arXiv preprint arXiv:2308.01554, 2023
2023
Taming Irregular Control-Flow with Targeted Compiler Transformations
CSG Waduge
Purdue University, 2023
2023
Cornucopia : A Framework for Feedback Guided Generation of Binaries
AM V Singhal, AA Pillai, C Saumya, M Kulkarni
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
2022
Multi-modal Energy-optimal Trip Scheduling in Real-time (METS-R) for Transportation Hubs
SV Ukkusuri, S Sobolevsky, M Kulkarni, Z Lei, J Xue, X Qian, C Saumya, ...
Purdue Univ., West Lafayette, IN (United States), 2022
2022
Orion+: Automated Problem Diagnosis in Computing Systems by Mining Metric Data
S Inamdar, C Saumya, N Banga
arXiv preprint arXiv:1802.10530, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–14