Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Charitha Saumya"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 6:1264-1290
Scheduling transformations reorder operations in a program to improve locality and/or parallelism. There are mature loop transformation frameworks such as the polyhedral model for composing and applying instance-wise scheduling transformations for lo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::11dc5a9fbc5ea2c57c8381cad490d7f3
https://doi.org/10.1145/3563333
https://doi.org/10.1145/3563333
Irregular control-flow structures like deeply nested conditional branches are common in real-world software applications. Improving the performance and efficiency of such programs is often challenging because it is difficult to analyze and optimize p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b57754b9ad9940953ef39c0e4e0dbb0
Autor:
Satish Ukkusuri, Stanislav Sobolevsky, Milind Kulkarni, Zengxiang Lei, Jiawei Xue, Xinwu Qian, Charitha Saumya, Xiaowei Chen, Juan Suarez Lopez, Zhenyu Wang, Ramin Saedi Germi, Mingyi He
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d70aaf082331d4e14e15594db5787e78
https://doi.org/10.2172/1859675
https://doi.org/10.2172/1859675
Binary analysis is an important capability required for many security and software engineering applications. Consequently, there are many binary analysis techniques and tools with varied capabilities. However, testing these tools requires a large, va
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3013f0189df511e381c05b08571d9b91
Artifact for CGO'22 paper "DARM: Control-Flow Melding for SIMT Thread Divergence Reduction" Also available at Code :https://github.com/charitha22/cgo22ae-darm-code Benchmarks :https://github.com/charitha22/cgo22ae-darm-benchmarks
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::df1f56499fadf1337ced0d09087c2fef
Autor:
Jiawei Xue, Charitha Saumya, Xinwu Qian, Xiaowei Chen, Zengxiang Lei, Mingyi He, Satish V. Ukkusuri, Stanislav Sobolevsky
Publikováno v:
ITSC
Rapid and sustainable development of the electric vehicle (EV) industry places the requirement for the plan of EV deployment. For public EV, existing models mainly focus on the charging facility design and fail to capture the multi-modal scenarios. I
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5248597552fefabf479ad624097fd8ea
https://doi.org/10.1109/itsc48978.2021.9564435
https://doi.org/10.1109/itsc48978.2021.9564435
Dissertation/ Thesis
Irregular control-flow structures like deeply nested conditional branches are common in real-world software applications. Improving the performance and efficiency of such programs is often challenging because it is difficult to analyze and optimize p
Publikováno v:
ICST
An important part of software testing is generation of worst-case test inputs, which exercise a program under extreme loads. For such a task, symbolic execution is a useful tool with its capability to reason about all possible execution paths of a pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5739428b00a2f26be26ddac902e2f72e
https://doi.org/10.1109/icst.2019.00011
https://doi.org/10.1109/icst.2019.00011
Autor:
Charitha Saumya, Imesh Lihinikaduarachchi, Sajith Asanka Rajapaksha, Viraj Senevirathne, Pujitha Silva
Publikováno v:
TENCON 2015 - 2015 IEEE Region 10 Conference.
This paper discusses a methodology to analyze human gait using a wearable sensor mechanism based on Inertial Measurement Units (IMUs). Our approach uses three 6 DOF Inertial Measurement Units to analyze the motion of the lower limb. The kinematic con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d217fcc4f851c4c47f5ec2fe2ad8781b
https://doi.org/10.1109/tencon.2015.7372999
https://doi.org/10.1109/tencon.2015.7372999