Abhik Roychoudhury
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
100
Venues
32
Active years
1999–2026
Best venue rank
A*
Where they publish
- A*ICSE30 papers
- AISSTA9 papers
- ARTSS9 papers
- A*DAC5 papers
- A*CCS4 papers
- ARTAS4 papers
- BFM3 papers
- CISoLA3 papers
- A*ASPLOS2 papers
- AICST2 papers
- A*NDSS2 papers
- A*PLDI2 papers
- BECRTS2 papers
- ADATE2 papers
- NationalVLSID2 papers
- A*CAV2 papers
- CPPDP2 papers
- A*SP1 paper
- AAsiaCCS1 paper
- BFASE1 paper
- AICWS1 paper
- CSCOPES1 paper
- BASPDAC1 paper
- BCC1 paper
- NationalICDCIT1 paper
- AICS1 paper
- CPADL1 paper
- BPPoPP1 paper
- CICFEM1 paper
- ATACAS1 paper
- ACADE1 paper
- BICLP1 paper
Papers
100 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SP | Agentic Concolic Execution. | Zhengxiong Luo, Huan Zhao, Dylan Wolff, Cristian Cadar, Abhik Roychoudhury |
| 2025 | ASPLOS | Selectively Uniform Concurrency Testing. | Huan Zhao, Dylan Wolff, Umang Mathur, Abhik Roychoudhury |
| 2025 | ICSE | SpecRover: Code Intent Extraction via LLMs. | Haifeng Ruan, Yuntong Zhang, Abhik Roychoudhury |
| 2024 | ASPLOS | Greybox Fuzzing for Concurrency Testing. | Dylan Wolff, Zheng Shi, Gregory J. Duck, Umang Mathur, Abhik Roychoudhury |
| 2024 | CCS | Program Environment Fuzzing. | Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury |
| 2024 | ICST | Evolutionary Testing for Program Repair. | Haifeng Ruan, Hoang Lam Nguyen, Ridwan Shariffdeen, Yannic Noller, Abhik Roychoudhury |
| 2024 | ISSTA | AutoCodeRover: Autonomous Program Improvement. | Yuntong Zhang, Haifeng Ruan, Zhiyu Fan, Abhik Roychoudhury |
| 2024 | ISSTA | Oracle-Guided Program Selection from Large Language Models. | Zhiyu Fan, Haifeng Ruan, Sergey Mechtaev, Abhik Roychoudhury |
| 2024 | NDSS | Large Language Model guided Protocol Fuzzing. | Ruijie Meng, Martin Mirchev, Marcel Bhme, Abhik Roychoudhury |
| 2023 | CCS | Greybox Fuzzing of Distributed Systems. | Ruijie Meng, George Prlea, Abhik Roychoudhury, Ilya Sergey |
| 2023 | FM | Efficient SMT-Based Network Fault Tolerance Verification. | Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury |
| 2023 | ICSE | Automated Repair of Programs from Large Language Models. | Zhiyu Fan, Xiang Gao, Martin Mirchev, Abhik Roychoudhury, Shin Hwei Tan |
| 2023 | ICSE | Cerberus: a Program Repair Framework. | Ridwan Shariffdeen, Martin Mirchev, Yannic Noller, Abhik Roychoudhury |
| 2023 | ISSTA | Concept-Based Automated Grading of CS-1 Programming Assignments. | Zhiyu Fan, Shin Hwei Tan, Abhik Roychoudhury |
| 2022 | ICSE | Linear-time Temporal Logic guided Greybox Fuzzing. | Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury |
| 2022 | ICSE | Trust Enhancement Issues in Program Repair. | Yannic Noller, Ridwan Shariffdeen, Xiang Gao, Abhik Roychoudhury |
| 2022 | ISSTA | Program vulnerability repair via inductive inference. | Yuntong Zhang, Xiang Gao, Gregory J. Duck, Abhik Roychoudhury |
| 2021 | AsiaCCS | Localizing Vulnerabilities Statistically From One Exploit. | Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, Abhik Roychoudhury |
| 2021 | ISSTA | Automated patch backporting in Linux (experience paper). | Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, Abhik Roychoudhury |
| 2021 | PLDI | Concolic program repair. | Ridwan Salihin Shariffdeen, Yannic Noller, Lars Grunske, Abhik Roychoudhury |
| 2020 | ICSE | Time-travel testing of Android apps. | Zhen Dong, Marcel Bhme, Lucia Cojocaru, Abhik Roychoudhury |
| 2020 | ICSE | Interactive Patch Generation and Suggestion. | Xiang Gao, Abhik Roychoudhury |
| 2020 | ICSE | Fuzz testing based data augmentation to improve robustness of deep neural networks. | Xiang Gao, Ripon K. Saha, Mukul R. Prasad, Abhik Roychoudhury |
| 2020 | ICSE | Fitness Guided Vulnerability Detection with Greybox Fuzzing. | Raveendra Kumar Medicherla, Raghavan Komondoor, Abhik Roychoudhury |
| 2020 | ICST | AFLNET: A Greybox Fuzzer for Network Protocols. | Van-Thuan Pham, Marcel Bhme, Abhik Roychoudhury |
| 2020 | PLDI | Binary rewriting without control flow recovery. | Gregory J. Duck, Xiang Gao, Abhik Roychoudhury |
| 2019 | ISSTA | Crash-avoiding program repair. | Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury |
| 2019 | NDSS | Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints. | Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena |
| 2018 | ICSE | Semantic program repair using a reference implementation. | Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury |
| 2018 | ICSE | Repairing crashes in Android apps. | Shin Hwei Tan, Zhen Dong, Xiang Gao, Abhik Roychoudhury |
| 2018 | ICSE | A correlation study between automated program repair and test-suite metrics. | Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Bhme, Abhik Roychoudhury |
| 2017 | CCS | Directed Greybox Fuzzing. | Marcel Bhme, Van-Thuan Pham, Manh-Dung Nguyen, Abhik Roychoudhury |
| 2017 | FASE | Bucketing Failing Tests via Symbolic Analysis. | Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury |
| 2017 | ICSE | Future of Mobile Software for Smartphones and Drones: Energy and Performance. | Abhijeet Banerjee, Abhik Roychoudhury |
| 2017 | ICSE | Codeflaws: a programming competition benchmark for evaluating automated program repair tools. | Shin Hwei Tan, Jooyong Yi, Yulis, Sergey Mechtaev, Abhik Roychoudhury |
| 2016 | CCS | Coverage-based Greybox Fuzzing as Markov Chain. | Marcel Bhme, Van-Thuan Pham, Abhik Roychoudhury |
| 2016 | ICSE | Debugging energy-efficiency related field failures in mobile apps. | Abhijeet Banerjee, Hai-Feng Guo, Abhik Roychoudhury |
| 2016 | ICSE | Automated re-factoring of Android apps to enhance energy-efficiency. | Abhijeet Banerjee, Abhik Roychoudhury |
| 2016 | ICSE | Angelix: scalable multiline program patch synthesis via symbolic analysis. | Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury |
| 2016 | ICSE | Automated partitioning of android applications for trusted execution environments. | Konstantin Rubinov, Lucia Rosculete, Tulika Mitra, Abhik Roychoudhury |
| 2015 | ICSE | DirectFix: Looking for Simple Program Repairs. | Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury |
| 2015 | ICSE | Hercules: Reproducing Crashes in Real-World Application Binaries. | Van-Thuan Pham, Wei Boon Ng, Konstantin Rubinov, Abhik Roychoudhury |
| 2015 | ICSE | relifix: Automated Repair of Software Regressions. | Shin Hwei Tan, Abhik Roychoudhury |
| 2014 | ISSTA | CoREBench: studying complexity of regression errors. | Marcel Bhme, Abhik Roychoudhury |
| 2013 | ICSE | Partition-based regression verification. | Marcel Bhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury |
| 2013 | ICSE | SemFix: program repair via semantic analysis. | Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra |
| 2013 | ISSTA | Expressing and checking intended changes via software change contracts. | Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury |
| 2013 | RTSS | Static Analysis Driven Cache Performance Testing. | Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury |
| 2013 | RTSS | Integrated Timing Analysis of Application and Operating Systems Code. | Lee Kee Chong, Clment Ballabriga, Van-Thuan Pham, Sudipta Chattopadhyay, Abhik Roychoudhury |
| 2013 | RTAS | Precise micro-architectural modeling for WCET analysis via AI+SAT. | Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury |
| 2012 | ICSE | Inferring class level specifications for distributed systems. | Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo |
| 2012 | ICWS | Tenant Onboarding in Evolving Multi-tenant Software-as-a-Service Systems. | Lei Ju, Bikram Sengupta, Abhik Roychoudhury |
| 2012 | RTAS | A Unified WCET Analysis Framework for Multi-core Platforms. | Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Peter Marwedel, Heiko Falk |
| 2011 | ECRTS | Bus-Aware Multicore WCET Analysis through TDMA Offset Bounds. | Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay, Abhik Roychoudhury |
| 2011 | ICSE | Mining message sequence graphs. | Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo |
| 2011 | ICSE | Engineering multi-tenant software-as-a-service systems. | Bikram Sengupta, Abhik Roychoudhury |
| 2011 | RTSS | Timing Analysis of a Protected Operating System Kernel. | Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, Gernot Heiser |
| 2011 | RTSS | Scalable and Precise Refinement of Cache Timing Analysis via Model Checking. | Sudipta Chattopadhyay, Abhik Roychoudhury |
| 2011 | RTAS | Scope-Aware Data Cache Analysis for WCET Estimation. | Bach Khoa Huynh, Lei Ju, Abhik Roychoudhury |
| 2010 | DAC | Timing analysis of esterel programs on general-purpose multiprocessors. | Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty |
| 2010 | ISoLA | WOMM: A Weak Operational Memory Model. | Arnab De, Abhik Roychoudhury, Deepak D'Souza |
| 2010 | SCOPES | Modeling shared cache and bus in multi-cores for timing analysis. | Sudipta Chattopadhyay, Abhik Roychoudhury, Tulika Mitra |
| 2009 | DAC | Generating test programs to cover pipeline interactions. | Thanh Nga Dang, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra |
| 2009 | DAC | Context-sensitive timing analysis of Esterel programs. | Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty, Abhik Roychoudhury |
| 2009 | FM | Fair Model Checking with Process Counter Abstraction. | Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong |
| 2009 | ICSE | Footprinter: Round-trip engineering via scenario and state based models. | Ankit Goel, Bikram Sengupta, Abhik Roychoudhury |
| 2009 | RTSS | Unified Cache Modeling for WCET Analysis and Layout Optimizations. | Sudipta Chattopadhyay, Abhik Roychoudhury |
| 2009 | RTSS | Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores. | Yan Li, Vivy Suhendra, Yun Liang, Tulika Mitra, Abhik Roychoudhury |
| 2008 | ISoLA | Debugging Statecharts Via Model-Code Traceability. | Liang Guo, Abhik Roychoudhury |
| 2008 | RTAS | Schedulability Analysis of MSC-based System Models. | Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty |
| 2007 | ASPDAC | A Retargetable Software Timing Analyzer Using Architecture Description Language. | Xianfeng Li, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra, Xu Cheng |
| 2007 | DATE | Accounting for cache-related preemption delay in dynamic priority schedulability analysis. | Lei Ju, Samarjit Chakraborty, Abhik Roychoudhury |
| 2007 | ECRTS | Cache-Aware Timing Analysis of Streaming Applications. | Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele, Unmesh D. Bordoloi, Cem Derdiyok |
| 2007 | ISSTA | Hierarchical dynamic slicing. | Tao Wang, Abhik Roychoudhury |
| 2007 | VLSID | Tutorial T8B: Performance Debugging of Complex Embedded Systems. | Samarjit Chakraborty, Abhik Roychoudhury |
| 2006 | CC | Accurately Choosing Execution Runs for Software Fault Localization. | Liang Guo, Abhik Roychoudhury, Tao Wang |
| 2006 | DAC | Efficient detection and exploitation of infeasible paths for software timing analysis. | Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen |
| 2006 | FM | A Memory Model Sensitive Checker for C#. | Thuan Quang Huynh, Abhik Roychoudhury |
| 2006 | ICSE | Interacting process classes. | Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan |
| 2006 | ISoLA | Synthesis and Traceability of Scenario-Based Executable Models. | Ankit Goel, Abhik Roychoudhury |
| 2006 | VLSID | Handling Constraints in Multi-Objective GA for Embedded System Design. | Biman Chakraborty, Ting Chen, Tulika Mitra, Abhik Roychoudhury |
| 2005 | ICDCIT | Analyzing Loop Paths for Execution Time Estimation. | Abhik Roychoudhury, Tulika Mitra, Hemendra Singh Negi |
| 2005 | RTSS | WCET Centric Data Allocation to Scratchpad Memory. | Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen |
| 2004 | ICS | Design space exploration of caches using compressed traces. | Xianfeng Li, Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury |
| 2004 | ICSE | Using Compressed Bytecode Traces for Slicing Java Programs. | Tao Wang, Abhik Roychoudhury |
| 2004 | PADL | Symbolic Execution of Behavioral Requirements. | Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary |
| 2004 | RTSS | Modeling Out-of-Order Processors for Software Timing Analysis. | Xianfeng Li, Abhik Roychoudhury, Tulika Mitra |
| 2004 | RTSS | Automatic Generation of Protocol Converters from Scenario-Based Specifications. | Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva |
| 2003 | DAC | Accurate timing analysis by modeling caches, speculation and their interaction. | Xianfeng Li, Tulika Mitra, Abhik Roychoudhury |
| 2003 | DATE | Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol. | Abhik Roychoudhury, Tulika Mitra, S. R. Karri |
| 2003 | PPoPP | Compactly representing parallel program executions. | Ankit Goel, Abhik Roychoudhury, Tulika Mitra |
| 2002 | ICFEM | Formal Reasoning about Hardware and Software Memory Models. | Abhik Roychoudhury |
| 2002 | ICSE | Specifying multithreaded Java semantics for program verification. | Abhik Roychoudhury, Tulika Mitra |
| 2001 | CAV | Automated Inductive Verification of Parameterized Protocols. | Abhik Roychoudhury, I. V. Ramakrishnan |
| 2000 | CAV | XMC: A Logic-Programming-Based Verification Toolset. | C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan |
| 2000 | PPDP | Justifying proofs using memo tables. | Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2000 | TACAS | Verification of Parameterized Systems Using Logic Program Transformations. | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka |
| 1999 | CADE | Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems. | Amy P. Felty, Douglas J. Howe, Abhik Roychoudhury |
| 1999 | ICLP | Generalized Unfold/fold Transformation Systems for Normal Logic Programs. | Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan |
| 1999 | PPDP | A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan |