Full Name
Abhik Roychoudhury
Variants
Roychoudhury, Abhik
Roychoudhnry, A.
Roychoudhury, A.
 
 
 
Email
dcsar@nus.edu.sg
 

Publications

Refined By:
File Format:  Adobe PDF

Results 1-13 of 13 (Search time: 0.006 seconds).

Issue DateTitleAuthor(s)
1May-2023Automated Repair of Programs from Large Language ModelsFan, Zhiyu; Gao, Xiang ; Mirchev, Martin; Roychoudhury, Abhik ; Tan, Shin Hwei 
22020BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety ProofShinde, Shweta ; Wang, Shengyi; Yuan, Pinghai ; Hobor, Aquinas ; Roychoudhury, Abhik ; Saxena, Prateek 
316-Aug-2023Bleem: Packet Sequence Oriented Fuzzing for Protocol ImplementationsLiu, Z; Yu, J; Zuo, F; Liu, J; Jiang, Y; Chen, T ; Roychoudhury, Abhik ; Sun, J
4May-2023Cerberus: a Program Repair FrameworkShariffdeen, Ridwan ; Mirchev, Martin; Noller, Yannic ; Roychoudhury, Abhik 
52020Concurrency-related Flaky Test Detection in Android apps.Dong, Zhen ; Tiwari, Abhishek ; Yu, Xiao Liang ; Roychoudhury, Abhik 
61-May-2021Fuzzing: Challenges and ReflectionsBoehme, M.; Cadar, Cristian; Roychoudhury, Abhik 
76-Sep-2021Linear-time Temporal Logic guided Greybox FuzzingMeng, Ruijie; Dong, Zhen; Li, Jialin ; Beschastnikh, Ivan; Roychoudhury, Abhik 
82020Localizing Patch Points From One Exploit.Shen, Shiqi ; Kolluri, Aashish; Dong, Zhen ; Saxena, Prateek ; Roychoudhury, Abhik 
92018oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis.Wang, Guanhua ; Chattopadhyay, Sudipta ; Gotovchits, Ivan; Mitra, Tulika ; Roychoudhury, Abhik 
102017Partitioning Patches into Test-equivalence Classes for Scaling Program Repair.Mechtaev, Sergey ; Gao, Xiang ; Tan, Shin Hwei ; Roychoudhury, Abhik 
11Oct-2020Smart Contract RepairYu, Xiao Liang ; Al-Bataineh, Omar ; Lo, David; Roychoudhury, Abhik 
121-Sep-2021Smart Greybox FuzzingPham, Van-Thuan ; Bohme, Marcel; Santosa, Andrew E ; Caciulescu, Alexandru Razvan; Roychoudhury, Abhik 
1330-Aug-2021Trust Enhancement Issues in Program RepairNoller, Yannic ; Shariffdeen, Ridwan ; Gao, Xiang ; Roychoudhury, Abhik