Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Greybox Fuzzing of Distributed Systems., , , and . CCS, page 1615-1629. ACM, (2023)Linear-time Temporal Logic guided Greybox Fuzzing., , , , and . ICSE, page 1343-1355. ACM, (2022)Fspen: an Ultra-Lightweight Network for Real Time Speech Enahncment., , , , , and . ICASSP, page 10671-10675. IEEE, (2024)Detecting concurrency memory corruption vulnerabilities., , , , , , and . ESEC/SIGSOFT FSE, page 706-717. ACM, (2019)ConRS: A Requests Scheduling Framework for Increasing Concurrency Degree of Server Programs., , , and . COMPSAC (1), page 169-178. IEEE, (2019)Low-overhead deadlock prediction., , and . ICSE, page 1298-1309. ACM, (2020)CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities., , , , , and . ASE, page 1154-1157. IEEE, (2019)Program Environment Fuzzing., , and . CoRR, (2024)Finding Counterexamples of Temporal Logic properties in Software Implementations via Greybox Fuzzing., , , , and . CoRR, (2021)Modelling individual head-related transfer function (HRTF) based on anthropometric parameters and generic HRTF amplitudes., , , , , and . CAAI Trans. Intell. Technol., 8 (2): 364-378 (June 2023)