Abhik Roychoudhury

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 104

Top Venues

CoRR

ICSE

ACM Trans. Softw. Eng. Methodol.

ASE

Publications

Abhik Roychoudhury
Program Repair and Trusted Automatic Programming. ISEC (2024)
Ridwan Shariffdeen, Martin Mirchev, Abhik Roychoudhury
Program Repair Competition. APR@ICSE (2023)
Ridwan Shariffdeen, Martin Mirchev, Yannic Noller, Abhik Roychoudhury
Cerberus: a Program Repair Framework. ICSE Companion (2023)
Zhengxiong Luo, Junze Yu, Feilong Zuo, Jianzhong Liu, Yu Jiang, Ting Chen, Abhik Roychoudhury, Jiaguang Sun
Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations. USENIX Security Symposium (2023)
Yuntong Zhang, Ridwan Shariffdeen, Gregory J. Duck, Jiaqi Tan, Abhik Roychoudhury
Program Repair by Fuzzing over Patch and Input Space. CoRR (2023)
Ruijie Meng, George Pîrlea, Abhik Roychoudhury, Ilya Sergey
Distributed System Fuzzing. CoRR (2023)
Yu Liu, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury
Program Repair Guided by Datalog-Defined Static Analysis. ESEC/SIGSOFT FSE (2023)
Ruijie Meng, George Pîrlea, Abhik Roychoudhury, Ilya Sergey
Greybox Fuzzing of Distributed Systems. CCS (2023)
Zhiyu Fan, Yannic Noller, Ashish Dandekar, Abhik Roychoudhury
Intelligent Tutoring System: Experience of Linking Software Engineering and Programming Teaching. CoRR (2023)
Andreea Costea, Abhishek Tiwari, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey
Hippodrome: Data Race Repair Using Static Analysis Summaries. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
Zhiyu Fan, Shin Hwei Tan, Abhik Roychoudhury
Concept-Based Automated Grading of CS-1 Programming Assignments. ISSTA (2023)
Zhiyu Fan, Xiang Gao, Martin Mirchev, Abhik Roychoudhury, Shin Hwei Tan
Automated Repair of Programs from Large Language Models. ICSE (2023)
Yuntong Zhang, Andreea Costea, Ridwan Shariffdeen, Davin McCall, Abhik Roychoudhury
Patch Space Exploration using Static Analysis Feedback. CoRR (2023)
Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury
Efficient SMT-Based Network Fault Tolerance Verification. FM (2023)
Zhiyu Fan, Xiang Gao, Abhik Roychoudhury, Shin Hwei Tan
Improving automatically generated code from Codex via Automated Program Repair. CoRR (2022)
Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury
Linear-time Temporal Logic guided Greybox Fuzzing. ICSE (2022)
Dylan Wolff, Marcel Böhme, Abhik Roychoudhury
Explainable Fuzzer Evaluation. CoRR (2022)
Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi, Omar I. Al-Bataineh, Abhik Roychoudhury
Verifix: Verified Repair of Programming Assignments. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Jinsheng Ba, Gregory J. Duck, Abhik Roychoudhury
Fast Fuzzing for Memory Errors. CoRR (2022)
Jinsheng Ba, Gregory J. Duck, Abhik Roychoudhury
Efficient Greybox Fuzzing to Detect Memory Errors. ASE (2022)
Xiang Gao, Yannic Noller, Abhik Roychoudhury
Program Repair. CoRR (2022)
Kaihang Ji, Jun Zeng, Yuancheng Jiang, Zhenkai Liang, Zheng Leong Chua, Prateek Saxena, Abhik Roychoudhury
FlowMatrix: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation. USENIX Security Symposium (2022)
Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen, Abhik Roychoudhury
Stateful Greybox Fuzzing. USENIX Security Symposium (2022)
Yannic Noller, Ridwan Shariffdeen, Xiang Gao, Abhik Roychoudhury
Trust Enhancement Issues in Program Repair. ICSE (2022)
Yuntong Zhang, Xiang Gao, Gregory J. Duck, Abhik Roychoudhury
Program vulnerability repair via inductive inference. ISSTA (2022)
Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen, Abhik Roychoudhury
Stateful Greybox Fuzzing. CoRR (2022)
Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury
Fair Decision Making via Automated Repair of Decision Trees. FairWare@ICSE (2022)
Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra
Automatic Program Repair. IEEE Softw. 38 (4) (2021)
Ridwan Salihin Shariffdeen, Yannic Noller, Lars Grunske, Abhik Roychoudhury
Concolic program repair. PLDI (2021)
Marcel Böhme, Cristian Cadar, Abhik Roychoudhury
Fuzzing: Challenges and Reflections. IEEE Softw. 38 (3) (2021)
Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, Abhik Roychoudhury
Localizing Vulnerabilities Statistically From One Exploit. AsiaCCS (2021)
Andreea Costea, Abhishek Tiwari, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey
HIPPODROME: Data Race Repair using Static Analysis Summaries. CoRR (2021)
Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi, Omar I. Al-Bataineh, Abhik Roychoudhury
Verifix: Verified Repair of Programming Assignments. CoRR (2021)
Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, Abhik Roychoudhury
Automated patch backporting in Linux (experience paper). ISSTA (2021)
Xiang Gao, Bo Wang, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction. ACM Trans. Softw. Eng. Methodol. 30 (2) (2021)
Yannic Noller, Ridwan Shariffdeen, Xiang Gao, Abhik Roychoudhury
How to trust auto-generated code patches? A developer survey and empirical assessment of existing program repair tools. CoRR (2021)
Xiang Gao, Gregory J. Duck, Abhik Roychoudhury
Scalable Fuzzing of Program Binaries with E9AFL. ASE (2021)
Zhen Dong, Abhishek Tiwari, Xiao Liang Yu, Abhik Roychoudhury
Flaky test detection in Android via event order exploration. ESEC/SIGSOFT FSE (2021)
Ridwan Salihin Shariffdeen, Shin Hwei Tan, Mingyuan Gao, Abhik Roychoudhury
Automated Patch Transplantation. ACM Trans. Softw. Eng. Methodol. 30 (1) (2021)
Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury
Finding Counterexamples of Temporal Logic properties in Software Implementations via Greybox Fuzzing. CoRR (2021)
Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury
Smart Greybox Fuzzing. IEEE Trans. Software Eng. 47 (9) (2021)
Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury
APIfix: output-oriented program synthesis for combating breaking changes in libraries. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Guanhua Wang, Sudipta Chattopadhyay, Ivan Gotovchits, Tulika Mitra, Abhik Roychoudhury
oo7: Low-Overhead Defense Against Spectre Attacks via Program Analysis. IEEE Trans. Software Eng. 47 (11) (2021)
Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla
Synthesizing Tasks for Block-based Programming. NeurIPS (2020)
Xiang Gao, Abhik Roychoudhury
Interactive Patch Generation and Suggestion. ICSE (Workshops) (2020)
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. USENIX Security Symposium (2020)
Zhen Dong, Marcel Böhme, Lucia Cojocaru, Abhik Roychoudhury
Time-travel testing of Android apps. ICSE (2020)
Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury
Fairness-guided SMT-based Rectification of Decision Trees and Random Forests. CoRR (2020)
Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla
Synthesizing Tasks for Block-based Programming. CoRR (2020)
Zhen Dong, Abhishek Tiwari, Xiao Liang Yu, Abhik Roychoudhury
Concurrency-related Flaky Test Detection in Android apps. CoRR (2020)
Raveendra Kumar Medicherla, Raghavan Komondoor, Abhik Roychoudhury
Fitness Guided Vulnerability Detection with Greybox Fuzzing. ICSE (Workshops) (2020)
Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
AFLNET: A Greybox Fuzzer for Network Protocols. ICST (2020)
Xiang Gao, Ripon K. Saha, Mukul R. Prasad, Abhik Roychoudhury
Fuzz testing based data augmentation to improve robustness of deep neural networks. ICSE (2020)
Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, Abhik Roychoudhury
Localizing Patch Points From One Exploit. CoRR (2020)
Xiao Liang Yu, Omar I. Al-Bataineh, David Lo, Abhik Roychoudhury
Smart Contract Repair. ACM Trans. Softw. Eng. Methodol. 29 (4) (2020)
Gregory J. Duck, Xiang Gao, Abhik Roychoudhury
Binary rewriting without control flow recovery. PLDI (2020)
Sue Moon, Ann E. Nicholson, Abhik Roychoudhury
Welcome. Commun. ACM 63 (4) (2020)
Karen Teh, Vivy Suhendra, Soon Chia Lim, Abhik Roychoudhury
Singapore's cybersecurity ecosystem. Commun. ACM 63 (4) (2020)
Guanhua Wang, Sudipta Chattopadhyay, Arnab Kumar Biswas, Tulika Mitra, Abhik Roychoudhury
KLEESpectre: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution. ACM Trans. Softw. Eng. Methodol. 29 (3) (2020)
Claire Le Goues, Michael Pradel, Abhik Roychoudhury
Automated program repair. Commun. ACM 62 (12) (2019)
Marcel Böhme, Cristian Cadar, Abhik Roychoudhury
Fuzzing and Symbolic Execution: Reflections, Challenges, and Opportunities (NII Shonan Meeting 160). NII Shonan Meet. Rep. 2019 (2019)
Abhik Roychoudhury, Yingfei Xiong
Automated program repair: a step towards software automation. Sci. China Inf. Sci. 62 (10) (2019)
Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury
Crash-avoiding program repair. ISSTA (2019)
Xiao Liang Yu, Omar I. Al-Bataineh, David Lo, Abhik Roychoudhury
Smart Contract Repair. CoRR (2019)
Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints. NDSS (2019)
Yang Hu, Umair Z. Ahmed, Sergey Mechtaev, Ben Leong, Abhik Roychoudhury
Re-Factoring Based Program Repair Applied to Programming Assignments. ASE (2019)
Guanhua Wang, Sudipta Chattopadhyay, Arnab Kumar Biswas, Tulika Mitra, Abhik Roychoudhury
KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution. CoRR (2019)
Marcel Böhme, Van-Thuan Pham, Abhik Roychoudhury
Coverage-Based Greybox Fuzzing as Markov Chain. IEEE Trans. Software Eng. 45 (5) (2019)
Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury
A correlation study between automated program repair and test-suite metrics. ICSE (2018)
Sudipta Chattopadhyay, Abhik Roychoudhury
Symbolic Verification of Cache Side-channel Freedom. CoRR (2018)
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. CoRR (2018)
Xiang Gao, Shin Hwei Tan, Zhen Dong, Abhik Roychoudhury
Android testing via synthetic symbolic execution. ASE (2018)
Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury
A correlation study between automated program repair and test-suite metrics. Empir. Softw. Eng. 23 (5) (2018)
Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury
Test-Equivalence Analysis for Automatic Patch Generation. ACM Trans. Softw. Eng. Methodol. 27 (4) (2018)
Shin Hwei Tan, Zhen Dong, Xiang Gao, Abhik Roychoudhury
Repairing crashes in Android apps. ICSE (2018)
Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury
Smart Greybox Fuzzing. CoRR (2018)
Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury
Symbolic execution with existential second-order constraints. ESEC/SIGSOFT FSE (2018)
Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury
Semantic program repair using a reference implementation. ICSE (2018)
Sudipta Chattopadhyay, Abhik Roychoudhury
Symbolic Verification of Cache Side-Channel Freedom. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Abhijeet Banerjee, Lee Kee Chong, Clément Ballabriga, Abhik Roychoudhury
EnergyPatch: Repairing Resource Leaks to Improve Energy-Efficiency of Android Apps. IEEE Trans. Software Eng. 44 (5) (2018)
Guanhua Wang, Sudipta Chattopadhyay, Ivan Gotovchits, Tulika Mitra, Abhik Roychoudhury
oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis. CoRR (2018)
Shiqi Shen, Soundarya Ramesh, Shweta Shinde, Abhik Roychoudhury, Prateek Saxena
Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution. CoRR (2018)
Abhik Roychoudhury
Trustworthy Software and Automatic Program Repair. SoICT (2017)
Abhijeet Banerjee, Abhik Roychoudhury
Future of Mobile Software for Smartphones and Drones: Energy and Performance. MOBILESoft@ICSE (2017)
Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury
Partitioning Patches into Test-equivalence Classes for Scaling Program Repair. CoRR (2017)
Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, Abhik Roychoudhury
A feasibility study of using automated program repair for introductory programming assignments. ESEC/SIGSOFT FSE (2017)
Shin Hwei Tan, Jooyong Yi, Yulis, Sergey Mechtaev, Abhik Roychoudhury
Codeflaws: a programming competition benchmark for evaluating automated program repair tools. ICSE (Companion Volume) (2017)
Marcel Böhme, Van-Thuan Pham, Manh-Dung Nguyen, Abhik Roychoudhury
Directed Greybox Fuzzing. CCS (2017)
Sunghun Kim, Claire Le Goues, Michael Pradel, Abhik Roychoudhury
Automated Program Repair (Dagstuhl Seminar 17022). Dagstuhl Reports 7 (1) (2017)
Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury
Bucketing Failing Tests via Symbolic Analysis. FASE (2017)
Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
Angelix: scalable multiline program patch synthesis via symbolic analysis. ICSE (2016)
Abhik Roychoudhury
SemFix and beyond: semantic techniques for program repair. ForMABS@ASE (2016)
Konstantin Rubinov, Lucia Rosculete, Tulika Mitra, Abhik Roychoudhury
Automated partitioning of android applications for trusted execution environments. ICSE (2016)
Marcel Böhme, Van-Thuan Pham, Abhik Roychoudhury
Coverage-based Greybox Fuzzing as Markov Chain. CCS (2016)
Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
Model-based whitebox fuzzing for program binaries. ASE (2016)
Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, Abhik Roychoudhury
Anti-patterns in search-based program repair. SIGSOFT FSE (2016)
Abhijeet Banerjee, Abhik Roychoudhury
Automated re-factoring of Android apps to enhance energy-efficiency. MOBILESoft (2016)
Abhik Roychoudhury, Satish Chandra
Formula-based software debugging. Commun. ACM 59 (7) (2016)
Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury
On Testing Embedded Software. Adv. Comput. 101 (2016)
Abhijeet Banerjee, Hai-Feng Guo, Abhik Roychoudhury
Debugging energy-efficiency related field failures in mobile apps. MOBILESoft (2016)

Abhik Roychoudhury.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Abhik Roychoudhury