Abhik Roychoudhury

282 papers A* 46A 33B 12C 8Misc 7Journal 111Unranked 56

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Year in TOSEM: New Research Award, Agentic AI Special Issue and Much More. ACM Trans. Softw. Eng. Methodol. Abhik Roychoudhury
2026	J	`jnl`	Code Review Agent Benchmark. CoRR Yuntong Zhang, Zhiyuan Pan, Imam Nur Bani Yusuf, Haifeng Ruan, Ridwan Shariffdeen, Abhik Roychoudhury
2026	J	`jnl`	Computation Tree Logic Guided Program Repair. IEEE Trans. Software Eng. Yu Liu, Yahui Song, Martin Mirchev, Abhik Roychoudhury
2026	J	`jnl`	Fuzzing: On Benchmarking Outcome as a Function of Benchmark Properties. ACM Trans. Softw. Eng. Methodol. Dylan Wolff, Marcel Böhme, Abhik Roychoudhury
2026	J	`jnl`	Lemma Discovery in Agentic Program Verification. CoRR Huan Zhao, Haoxin Tu, Zhengyao Liu, Martin Rinard, Abhik Roychoudhury
2026	J	`jnl`	SE Journals in 2036: Looking Back at the Future We Need to Have. CoRR Tim Menzies, Paris Avgeriou, Robert Feldt, Mauro Pezzè, Abhik Roychoudhury, Miroslaw Staron, Sebastián Uchitel, Thomas Zimmermann
2026	J	`jnl`	VeriGrey: Greybox Agent Validation. CoRR Yuntong Zhang, Sungmin Kang, Ruijie Meng, Marcel Böhme, Abhik Roychoudhury
2025	J	`jnl`	A 2030 Roadmap for Software Engineering. ACM Trans. Softw. Eng. Methodol. Mauro Pezzè, Silvia Abrahão, Birgit Penzenstadler, Denys Poshyvanyk, Abhik Roychoudhury, Tao Yue
2025	J	`jnl`	AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing. IEEE Trans. Software Eng. Ruijie Meng, Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
2025	J	`jnl`	AI Software Engineer: Programming with Trust. CoRR Abhik Roychoudhury, Corina S. Pasareanu, Michael Pradel, Baishakhi Ray
2025	J	`jnl`	Agent That Debugs: Dynamic State-Guided Vulnerability Repair. CoRR Zhengyao Liu, Yunlong Ma, Jingxuan Xu, Junchen Ai, Xiang Gao, Hailong Sun, Abhik Roychoudhury
2025	J	`jnl`	Agentic AI for Software: thoughts from Software Engineering community. CoRR Abhik Roychoudhury
2025	J	`jnl`	Agentic Program Verification. CoRR Haoxin Tu, Huan Zhao, Yahui Song, Mehtab Zafar, Ruijie Meng, Abhik Roychoudhury
2025	J	`jnl`	AutoCodeSherpa: Symbolic Explanations in AI Coding Agents. CoRR Sungmin Kang, Haifeng Ruan, Abhik Roychoudhury
2025	J	`jnl`	Automatic Programming: Large Language Models and Beyond. ACM Trans. Softw. Eng. Methodol. Michael R. Lyu, Baishakhi Ray, Abhik Roychoudhury, Shin Hwei Tan, Patanamon Thongtanunam
2025	J	`jnl`	Computation Tree Logic Guided Program Repair. CoRR Yu Liu, Yahui Song, Martin Mirchev, Abhik Roychoudhury
2025	J	`jnl`	Concurrency Testing in the Linux Kernel via eBPF. CoRR Jiacheng Xu, Dylan Wolff, Xing Yi Han, Jialin Li, Abhik Roychoudhury
2025	—	`conf`	Detecting Python Malware in the Software Supply Chain with Program Analysis. SEIP@ICSE Ridwan Shariffdeen, Behnaz Hassanshahi, Martin Mirchev, Ali El Husseini, Abhik Roychoudhury
2025	J	`jnl`	Editorial: TOSEM Journal in 2025 and Beyond. ACM Trans. Softw. Eng. Methodol. Abhik Roychoudhury
2025	J	`jnl`	EffFix: Efficient and Effective Repair of Pointer Manipulating Programs. ACM Trans. Softw. Eng. Methodol. Yuntong Zhang, Andreea Costea, Ridwan Shariffdeen, Davin McCall, Abhik Roychoudhury
2025	J	`jnl`	Enhancing Protocol Fuzzing via Diverse Seed Corpus Generation. IEEE Trans. Software Eng. Zhengxiong Luo, Qingpeng Du, Yujue Wang, Abhik Roychoudhury, Yu Jiang
2025	—	`conf`	Selectively Uniform Concurrency Testing. ASPLOS (1) Huan Zhao, Dylan Wolff, Umang Mathur, Abhik Roychoudhury
2025	J	`jnl`	Shifting fuzzing left in software workflows. Empir. Softw. Eng. Dylan Wolff, Ridwan Shariffdeen, Yannic Noller, Abhik Roychoudhury
2025	—	`conf`	Software Engineering Educational Experience in Building an Intelligent Tutoring System. CSEE&T Zhiyu Fan, Yannic Noller, Ashish Dandekar, Abhik Roychoudhury
2025	A*	`conf`	SpecRover: Code Intent Extraction via LLMs. ICSE Haifeng Ruan, Yuntong Zhang, Abhik Roychoudhury
2025	J	`jnl`	Unified Software Engineering agent as AI Software Engineer. CoRR Leonhard Applis, Yuntong Zhang, Shanchao Liang, Nan Jiang, Lin Tan, Abhik Roychoudhury
2025	J	`jnl`	Vulnerability Repair via Concolic Execution and Code Mutations. ACM Trans. Softw. Eng. Methodol. Ridwan Shariffdeen, Christopher Steven Timperley, Yannic Noller, Claire Le Goues, Abhik Roychoudhury
2025	J	`jnl`	Will AI replace Software Engineers? Do not hold your breath. CoRR Abhik Roychoudhury, Andreas Zeller
2024	J	`jnl`	AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing. CoRR Ruijie Meng, Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
2024	J	`jnl`	Assured Automatic Programming via Large Language Models. CoRR Martin Mirchev, Andreea Costea, Abhishek Kr Singh, Abhik Roychoudhury
2024	A	`conf`	AutoCodeRover: Autonomous Program Improvement. ISSTA Yuntong Zhang, Haifeng Ruan, Zhiyu Fan, Abhik Roychoudhury
2024	J	`jnl`	AutoCodeRover: Autonomous Program Improvement. CoRR Yuntong Zhang, Haifeng Ruan, Zhiyu Fan, Abhik Roychoudhury
2024	J	`jnl`	Automated Programming and Program Repair (Dagstuhl Seminar 24431). Dagstuhl Reports Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Shin Hwei Tan
2024	J	`jnl`	Automatic Programming: Large Language Models and Beyond. CoRR Michael R. Lyu, Baishakhi Ray, Abhik Roychoudhury, Shin Hwei Tan, Patanamon Thongtanunam
2024	J	`jnl`	Codexity: Secure AI-assisted Code Generation. CoRR Sung Yong Kim, Zhiyu Fan, Yannic Noller, Abhik Roychoudhury
2024	A	`conf`	Evolutionary Testing for Program Repair. ICST Haifeng Ruan, Hoang Lam Nguyen, Ridwan Shariffdeen, Yannic Noller, Abhik Roychoudhury
2024	J	`jnl`	Fixing Security Vulnerabilities with AI in OSS-Fuzz. CoRR Yuntong Zhang, Jiawei Wang, Dominic Berzin, Martin Mirchev, Dongge Liu, Abhishek Arya, Oliver Chang, Abhik Roychoudhury
2024	—	`conf`	Greybox Fuzzing for Concurrency Testing. ASPLOS (2) Dylan Wolff, Zheng Shi, Gregory J. Duck, Umang Mathur, Abhik Roychoudhury
2024	J	`jnl`	Large Language Model assisted Hybrid Fuzzing. CoRR Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury
2024	A*	`conf`	Large Language Model guided Protocol Fuzzing. NDSS Ruijie Meng, Martin Mirchev, Marcel Böhme, Abhik Roychoudhury
2024	A	`conf`	Oracle-Guided Program Selection from Large Language Models. ISSTA Zhiyu Fan, Haifeng Ruan, Sergey Mechtaev, Abhik Roychoudhury
2024	A*	`conf`	Program Environment Fuzzing. CCS Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury
2024	J	`jnl`	Program Environment Fuzzing. CoRR Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury
2024	—	`conf`	Program Repair Competition 2024. APR Ridwan Shariffdeen, Yannic Noller, Martin Mirchev, Haifeng Ruan, Xiang Gao, Andreea Costea, Gregory J. Duck, Abhik Roychoudhury
2024	—	`conf`	Program Repair and Trusted Automatic Programming. ISEC Abhik Roychoudhury
2024	J	`jnl`	ProveNFix: Temporal Property-Guided Program Repair. Proc. ACM Softw. Eng. Yahui Song, Xiang Gao, Wenhua Li, Wei-Ngan Chin, Abhik Roychoudhury
2024	J	`jnl`	SpecRover: Code Intent Extraction via LLMs. CoRR Haifeng Ruan, Yuntong Zhang, Abhik Roychoudhury
2024	J	`jnl`	Timing Side-Channel Mitigation via Automated Program Repair. ACM Trans. Softw. Eng. Methodol. Haifeng Ruan, Yannic Noller, Saeid Tizpaz-Niari, Sudipta Chattopadhyay, Abhik Roychoudhury
2024	J	`jnl`	Whose fault is it anyway? SILC: Safe Integration of LLM-Generated Code. CoRR Peisen Lin, Yuntong Zhang, Andreea Costea, Abhik Roychoudhury
2023	—	`ed.`	16th Innovations in Software Engineering Conference, ISEC2023, Allahabad, India, February 23-25, 2023 ISEC Sonali Agarwal, Abhik Roychoudhury, Rahul Purandare, Saurabh Tiwari, Lov Kumar
2023	A*	`conf`	Automated Repair of Programs from Large Language Models. ICSE Zhiyu Fan, Xiang Gao, Martin Mirchev, Abhik Roychoudhury, Shin Hwei Tan
2023	A*	`conf`	Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations. USENIX Security Symposium Zhengxiong Luo, Junze Yu, Feilong Zuo, Jianzhong Liu, Yu Jiang, Ting Chen, Abhik Roychoudhury, Jiaguang Sun
2023	—	`conf`	Cerberus: a Program Repair Framework. ICSE Companion Ridwan Shariffdeen, Martin Mirchev, Yannic Noller, Abhik Roychoudhury
2023	A	`conf`	Concept-Based Automated Grading of CS-1 Programming Assignments. ISSTA Zhiyu Fan, Shin Hwei Tan, Abhik Roychoudhury
2023	J	`jnl`	Distributed System Fuzzing. CoRR Ruijie Meng, George Pîrlea, Abhik Roychoudhury, Ilya Sergey
2023	B	`conf`	Efficient SMT-Based Network Fault Tolerance Verification. FM Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury
2023	A*	`conf`	Greybox Fuzzing of Distributed Systems. CCS Ruijie Meng, George Pîrlea, Abhik Roychoudhury, Ilya Sergey
2023	J	`jnl`	Hippodrome: Data Race Repair Using Static Analysis Summaries. ACM Trans. Softw. Eng. Methodol. Andreea Costea, Abhishek Tiwari, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey
2023	J	`jnl`	Intelligent Tutoring System: Experience of Linking Software Engineering and Programming Teaching. CoRR Zhiyu Fan, Yannic Noller, Ashish Dandekar, Abhik Roychoudhury
2023	J	`jnl`	Patch Space Exploration using Static Analysis Feedback. CoRR Yuntong Zhang, Andreea Costea, Ridwan Shariffdeen, Davin McCall, Abhik Roychoudhury
2023	—	`conf`	Program Repair Competition. APR@ICSE Ridwan Shariffdeen, Martin Mirchev, Abhik Roychoudhury
2023	—	`conf`	Program Repair Guided by Datalog-Defined Static Analysis. ESEC/SIGSOFT FSE Yu Liu, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury
2023	J	`jnl`	Program Repair by Fuzzing over Patch and Input Space. CoRR Yuntong Zhang, Ridwan Shariffdeen, Gregory J. Duck, Jiaqi Tan, Abhik Roychoudhury
2022	A*	`conf`	Efficient Greybox Fuzzing to Detect Memory Errors. ASE Jinsheng Ba, Gregory J. Duck, Abhik Roychoudhury
2022	J	`jnl`	Explainable Fuzzer Evaluation. CoRR Dylan Wolff, Marcel Böhme, Abhik Roychoudhury
2022	—	`conf`	Fair Decision Making via Automated Repair of Decision Trees. FairWare@ICSE Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury
2022	J	`jnl`	Fast Fuzzing for Memory Errors. CoRR Jinsheng Ba, Gregory J. Duck, Abhik Roychoudhury
2022	A*	`conf`	FlowMatrix: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation. USENIX Security Symposium Kaihang Ji, Jun Zeng, Yuancheng Jiang, Zhenkai Liang, Zheng Leong Chua, Prateek Saxena, Abhik Roychoudhury
2022	J	`jnl`	Improving automatically generated code from Codex via Automated Program Repair. CoRR Zhiyu Fan, Xiang Gao, Abhik Roychoudhury, Shin Hwei Tan
2022	A*	`conf`	Linear-time Temporal Logic guided Greybox Fuzzing. ICSE Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury
2022	—	`ed.`	Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022 ESEC/SIGSOFT FSE Abhik Roychoudhury, Cristian Cadar, Miryung Kim
2022	J	`jnl`	Program Repair. CoRR Xiang Gao, Yannic Noller, Abhik Roychoudhury
2022	A	`conf`	Program vulnerability repair via inductive inference. ISSTA Yuntong Zhang, Xiang Gao, Gregory J. Duck, Abhik Roychoudhury
2022	A*	`conf`	Stateful Greybox Fuzzing. USENIX Security Symposium Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen, Abhik Roychoudhury
2022	J	`jnl`	Stateful Greybox Fuzzing. CoRR Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen, Abhik Roychoudhury
2022	A*	`conf`	Trust Enhancement Issues in Program Repair. ICSE Yannic Noller, Ridwan Shariffdeen, Xiang Gao, Abhik Roychoudhury
2022	J	`jnl`	Verifix: Verified Repair of Programming Assignments. ACM Trans. Softw. Eng. Methodol. Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi, Omar I. Al-Bataineh, Abhik Roychoudhury
2021	J	`jnl`	APIfix: output-oriented program synthesis for combating breaking changes in libraries. Proc. ACM Program. Lang. Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury
2021	J	`jnl`	Automated Patch Transplantation. ACM Trans. Softw. Eng. Methodol. Ridwan Salihin Shariffdeen, Shin Hwei Tan, Mingyuan Gao, Abhik Roychoudhury
2021	A	`conf`	Automated patch backporting in Linux (experience paper). ISSTA Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, Abhik Roychoudhury
2021	J	`jnl`	Automatic Program Repair. IEEE Softw. Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra
2021	J	`jnl`	Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction. ACM Trans. Softw. Eng. Methodol. Xiang Gao, Bo Wang, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury
2021	A*	`conf`	Concolic program repair. PLDI Ridwan Salihin Shariffdeen, Yannic Noller, Lars Grunske, Abhik Roychoudhury
2021	J	`jnl`	Finding Counterexamples of Temporal Logic properties in Software Implementations via Greybox Fuzzing. CoRR Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury
2021	—	`conf`	Flaky test detection in Android via event order exploration. ESEC/SIGSOFT FSE Zhen Dong, Abhishek Tiwari, Xiao Liang Yu, Abhik Roychoudhury
2021	J	`jnl`	Fuzzing: Challenges and Reflections. IEEE Softw. Marcel Böhme, Cristian Cadar, Abhik Roychoudhury
2021	J	`jnl`	HIPPODROME: Data Race Repair using Static Analysis Summaries. CoRR Andreea Costea, Abhishek Tiwari, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey
2021	J	`jnl`	How to trust auto-generated code patches? A developer survey and empirical assessment of existing program repair tools. CoRR Yannic Noller, Ridwan Shariffdeen, Xiang Gao, Abhik Roychoudhury
2021	A	`conf`	Localizing Vulnerabilities Statistically From One Exploit. AsiaCCS Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, Abhik Roychoudhury
2021	A*	`conf`	Scalable Fuzzing of Program Binaries with E9AFL. ASE Xiang Gao, Gregory J. Duck, Abhik Roychoudhury
2021	J	`jnl`	Smart Greybox Fuzzing. IEEE Trans. Software Eng. Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury
2021	J	`jnl`	Verifix: Verified Repair of Programming Assignments. CoRR Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi, Omar I. Al-Bataineh, Abhik Roychoudhury
2021	J	`jnl`	oo7: Low-Overhead Defense Against Spectre Attacks via Program Analysis. IEEE Trans. Software Eng. Guanhua Wang, Sudipta Chattopadhyay, Ivan Gotovchits, Tulika Mitra, Abhik Roychoudhury
2020	A	`conf`	AFLNET: A Greybox Fuzzer for Network Protocols. ICST Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
2020	A*	`conf`	BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. USENIX Security Symposium Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
2020	A*	`conf`	Binary rewriting without control flow recovery. PLDI Gregory J. Duck, Xiang Gao, Abhik Roychoudhury
2020	J	`jnl`	Concurrency-related Flaky Test Detection in Android apps. CoRR Zhen Dong, Abhishek Tiwari, Xiao Liang Yu, Abhik Roychoudhury
2020	J	`jnl`	Fairness-guided SMT-based Rectification of Decision Trees and Random Forests. CoRR Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury
2020	—	`conf`	Fitness Guided Vulnerability Detection with Greybox Fuzzing. ICSE (Workshops) Raveendra Kumar Medicherla, Raghavan Komondoor, Abhik Roychoudhury
2020	A*	`conf`	Fuzz testing based data augmentation to improve robustness of deep neural networks. ICSE Xiang Gao, Ripon K. Saha, Mukul R. Prasad, Abhik Roychoudhury
2020	—	`conf`	Interactive Patch Generation and Suggestion. ICSE (Workshops) Xiang Gao, Abhik Roychoudhury
2020	J	`jnl`	KLEESpectre: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution. ACM Trans. Softw. Eng. Methodol. Guanhua Wang, Sudipta Chattopadhyay, Arnab Kumar Biswas, Tulika Mitra, Abhik Roychoudhury
2020	J	`jnl`	Localizing Patch Points From One Exploit. CoRR Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, Abhik Roychoudhury
2020	J	`jnl`	Singapore's cybersecurity ecosystem. Commun. ACM Karen Teh, Vivy Suhendra, Soon Chia Lim, Abhik Roychoudhury
2020	J	`jnl`	Smart Contract Repair. ACM Trans. Softw. Eng. Methodol. Xiao Liang Yu, Omar I. Al-Bataineh, David Lo, Abhik Roychoudhury
2020	A*	`conf`	Synthesizing Tasks for Block-based Programming. NeurIPS Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla
2020	J	`jnl`	Synthesizing Tasks for Block-based Programming. CoRR Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla
2020	A*	`conf`	Time-travel testing of Android apps. ICSE Zhen Dong, Marcel Böhme, Lucia Cojocaru, Abhik Roychoudhury
2020	J	`jnl`	Welcome. Commun. ACM Sue Moon, Ann E. Nicholson, Abhik Roychoudhury
2019	J	`jnl`	Automated program repair. Commun. ACM Claire Le Goues, Michael Pradel, Abhik Roychoudhury
2019	J	`jnl`	Automated program repair: a step towards software automation. Sci. China Inf. Sci. Abhik Roychoudhury, Yingfei Xiong
2019	J	`jnl`	Coverage-Based Greybox Fuzzing as Markov Chain. IEEE Trans. Software Eng. Marcel Böhme, Van-Thuan Pham, Abhik Roychoudhury
2019	A	`conf`	Crash-avoiding program repair. ISSTA Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury
2019	J	`jnl`	Fuzzing and Symbolic Execution: Reflections, Challenges, and Opportunities (NII Shonan Meeting 160). NII Shonan Meet. Rep. Marcel Böhme, Cristian Cadar, Abhik Roychoudhury
2019	J	`jnl`	KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution. CoRR Guanhua Wang, Sudipta Chattopadhyay, Arnab Kumar Biswas, Tulika Mitra, Abhik Roychoudhury
2019	A*	`conf`	Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints. NDSS Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena
2019	A*	`conf`	Re-Factoring Based Program Repair Applied to Programming Assignments. ASE Yang Hu, Umair Z. Ahmed, Sergey Mechtaev, Ben Leong, Abhik Roychoudhury
2019	J	`jnl`	Smart Contract Repair. CoRR Xiao Liang Yu, Omar I. Al-Bataineh, David Lo, Abhik Roychoudhury
2018	A*	`conf`	A correlation study between automated program repair and test-suite metrics. ICSE Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury
2018	J	`jnl`	A correlation study between automated program repair and test-suite metrics. Empir. Softw. Eng. Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury
2018	A*	`conf`	Android testing via synthetic symbolic execution. ASE Xiang Gao, Shin Hwei Tan, Zhen Dong, Abhik Roychoudhury
2018	J	`jnl`	BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. CoRR Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
2018	J	`jnl`	EnergyPatch: Repairing Resource Leaks to Improve Energy-Efficiency of Android Apps. IEEE Trans. Software Eng. Abhijeet Banerjee, Lee Kee Chong, Clément Ballabriga, Abhik Roychoudhury
2018	J	`jnl`	Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution. CoRR Shiqi Shen, Soundarya Ramesh, Shweta Shinde, Abhik Roychoudhury, Prateek Saxena
2018	A*	`conf`	Repairing crashes in Android apps. ICSE Shin Hwei Tan, Zhen Dong, Xiang Gao, Abhik Roychoudhury
2018	A*	`conf`	Semantic program repair using a reference implementation. ICSE Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury
2018	J	`jnl`	Smart Greybox Fuzzing. CoRR Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury
2018	J	`jnl`	Symbolic Verification of Cache Side-Channel Freedom. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sudipta Chattopadhyay, Abhik Roychoudhury
2018	J	`jnl`	Symbolic Verification of Cache Side-channel Freedom. CoRR Sudipta Chattopadhyay, Abhik Roychoudhury
2018	—	`conf`	Symbolic execution with existential second-order constraints. ESEC/SIGSOFT FSE Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury
2018	J	`jnl`	Test-Equivalence Analysis for Automatic Patch Generation. ACM Trans. Softw. Eng. Methodol. Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury
2018	J	`jnl`	oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis. CoRR Guanhua Wang, Sudipta Chattopadhyay, Ivan Gotovchits, Tulika Mitra, Abhik Roychoudhury
2017	—	`ed.`	A Systems Approach to Cyber Security - Proceedings of the 2nd Singapore Cyber-Security R&D Conference (SG-CRC 2017), Singapore, February 21-22, 2017 SG-CRC Abhik Roychoudhury, Yang Liu
2017	—	`conf`	A feasibility study of using automated program repair for introductory programming assignments. ESEC/SIGSOFT FSE Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, Abhik Roychoudhury
2017	J	`jnl`	Automated Program Repair (Dagstuhl Seminar 17022). Dagstuhl Reports Sunghun Kim, Claire Le Goues, Michael Pradel, Abhik Roychoudhury
2017	B	`conf`	Bucketing Failing Tests via Symbolic Analysis. FASE Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury
2017	—	`conf`	Codeflaws: a programming competition benchmark for evaluating automated program repair tools. ICSE (Companion Volume) Shin Hwei Tan, Jooyong Yi, Yulis, Sergey Mechtaev, Abhik Roychoudhury
2017	A*	`conf`	Directed Greybox Fuzzing. CCS Marcel Böhme, Van-Thuan Pham, Manh-Dung Nguyen, Abhik Roychoudhury
2017	—	`conf`	Future of Mobile Software for Smartphones and Drones: Energy and Performance. MOBILESoft@ICSE Abhijeet Banerjee, Abhik Roychoudhury
2017	J	`jnl`	Partitioning Patches into Test-equivalence Classes for Scaling Program Repair. CoRR Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury
2017	—	`conf`	Trustworthy Software and Automatic Program Repair. SoICT Abhik Roychoudhury
2016	A*	`conf`	Angelix: scalable multiline program patch synthesis via symbolic analysis. ICSE Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
2016	—	`conf`	Anti-patterns in search-based program repair. SIGSOFT FSE Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, Abhik Roychoudhury
2016	A*	`conf`	Automated partitioning of android applications for trusted execution environments. ICSE Konstantin Rubinov, Lucia Rosculete, Tulika Mitra, Abhik Roychoudhury
2016	—	`conf`	Automated re-factoring of Android apps to enhance energy-efficiency. MOBILESoft Abhijeet Banerjee, Abhik Roychoudhury
2016	A*	`conf`	Coverage-based Greybox Fuzzing as Markov Chain. CCS Marcel Böhme, Van-Thuan Pham, Abhik Roychoudhury
2016	—	`conf`	Debugging energy-efficiency related field failures in mobile apps. MOBILESoft Abhijeet Banerjee, Hai-Feng Guo, Abhik Roychoudhury
2016	J	`jnl`	Formula-based software debugging. Commun. ACM Abhik Roychoudhury, Satish Chandra
2016	A*	`conf`	Model-based whitebox fuzzing for program binaries. ASE Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
2016	J	`jnl`	On Testing Embedded Software. Adv. Comput. Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury
2016	A	`ed.`	Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016 ISSTA 2016 Andreas Zeller, Abhik Roychoudhury
2016	—	`ed.`	Proceedings of the Singapore Cyber-Security Conference (SG-CRC) 2016 - Cyber-Security by Design, Singapore, January 14-15, 2016. SG-CRC Aditya Mathur, Abhik Roychoudhury
2016	—	`conf`	SemFix and beyond: semantic techniques for program repair. ForMABS@ASE Abhik Roychoudhury
2015	—	`conf`	DirectFix: Looking for Simple Program Repairs. ICSE (1) Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
2015	—	`conf`	Hercules: Reproducing Crashes in Real-World Application Binaries. ICSE (1) Van-Thuan Pham, Wei Boon Ng, Konstantin Rubinov, Abhik Roychoudhury
2015	J	`jnl`	Software Change Contracts. ACM Trans. Softw. Eng. Methodol. Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury
2015	—	`conf`	relifix: Automated Repair of Software Regressions. ICSE (1) Shin Hwei Tan, Abhik Roychoudhury
2014	J	`jnl`	A Unified WCET analysis framework for multicore platforms. ACM Trans. Embed. Comput. Syst. Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Peter Marwedel, Heiko Falk
2014	J	`jnl`	Cache-Related Preemption Delay Analysis for Multilevel Noninclusive Caches. ACM Trans. Embed. Comput. Syst. Sudipta Chattopadhyay, Abhik Roychoudhury
2014	B	`conf`	Cache-related preemption delay analysis for FIFO caches. LCTES Clément Ballabriga, Lee Kee Chong, Abhik Roychoudhury
2014	A	`conf`	CoREBench: studying complexity of regression errors. ISSTA Marcel Böhme, Abhik Roychoudhury
2014	—	`conf`	Detecting energy bugs and hotspots in mobile apps. SIGSOFT FSE Abhijeet Banerjee, Lee Kee Chong, Sudipta Chattopadhyay, Abhik Roychoudhury
2014	A	`conf`	Dynamic Inference of Change Contracts. ICSME Tien-Duy B. Le, Jooyong Yi, David Lo, Ferdian Thung, Abhik Roychoudhury
2014	—	`conf`	Energy-aware design patterns for mobile application development (invited talk). DeMobile@SIGSOFT FSE Abhijeet Banerjee, Abhik Roychoudhury
2014	J	`jnl`	Static analysis of multi-core TDMA resource arbitration delays. Real Time Syst. Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay, Abhik Roychoudhury
2014	J	`jnl`	Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization. Found. Trends Electron. Des. Autom. Sudipta Chattopadhyay, Abhik Roychoudhury, Jakob Rosen, Petru Eles, Zebo Peng
2013	A	`conf`	Expressing and checking intended changes via software change contracts. ISSTA Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury
2013	A	`conf`	Integrated Timing Analysis of Application and Operating Systems Code. RTSS Lee Kee Chong, Clément Ballabriga, Van-Thuan Pham, Sudipta Chattopadhyay, Abhik Roychoudhury
2013	A*	`conf`	Partition-based regression verification. ICSE Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury
2013	—	`conf`	Past expression: encapsulating pre-states at post-conditions by means of AOP. AOSD Jooyong Yi, Robby, Xianghua Deng, Abhik Roychoudhury
2013	J	`jnl`	Path exploration based on symbolic output. ACM Trans. Softw. Eng. Methodol. Dawei Qi, Hoang D. T. Nguyen, Abhik Roychoudhury
2013	A	`conf`	Precise micro-architectural modeling for WCET analysis via AI+SAT. IEEE Real-Time and Embedded Technology and Applications Symposium Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury
2013	B	`conf`	Program performance spectrum. LCTES Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury
2013	J	`jnl`	Regression Testing of Evolving Programs. Adv. Comput. Marcel Böhme, Abhik Roychoudhury, Bruno C. d. S. Oliveira
2013	—	`conf`	Regression tests to expose change interaction errors. ESEC/SIGSOFT FSE Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury
2013	J	`jnl`	Scalable and precise refinement of cache timing analysis via path-sensitive verification. Real Time Syst. Sudipta Chattopadhyay, Abhik Roychoudhury
2013	A*	`conf`	SemFix: program repair via semantic analysis. ICSE Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra
2013	A	`conf`	Static Analysis Driven Cache Performance Testing. RTSS Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury
2012	A	`conf`	A Unified WCET Analysis Framework for Multi-core Platforms. IEEE Real-Time and Embedded Technology and Applications Symposium Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Peter Marwedel, Heiko Falk
2012	J	`jnl`	DARWIN: An approach to debugging evolving programs. ACM Trans. Softw. Eng. Methodol. Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani
2012	A*	`conf`	Inferring class level specifications for distributed systems. ICSE Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo
2012	—	`conf`	Modeling Software Execution Environment. WCRE Dawei Qi, William N. Sumner, Feng Qin, Mai Zheng, Xiangyu Zhang, Abhik Roychoudhury
2012	J	`jnl`	Performance debugging of Esterel specifications. Real Time Syst. Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty
2012	J	`jnl`	Relating software validation to technology trends. Int. J. Softw. Tools Technol. Transf. Zhiming Liu, Abhik Roychoudhury
2012	—	`conf`	Software change contracts. SIGSOFT FSE Dawei Qi, Jooyong Yi, Abhik Roychoudhury
2012	J	`jnl`	Symbolic Message Sequence Charts. ACM Trans. Softw. Eng. Methodol. Abhik Roychoudhury, Ankit Goel, Bikram Sengupta
2012	A	`conf`	Tenant Onboarding in Evolving Multi-tenant Software-as-a-Service Systems. ICWS Lei Ju, Bikram Sengupta, Abhik Roychoudhury
2012	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings ICTAC Abhik Roychoudhury, Meenakshi D'Souza
2012	J	`jnl`	Timing analysis of concurrent programs running on shared cache multi-cores. Real Time Syst. Yun Liang, Huping Ding, Tulika Mitra, Abhik Roychoudhury, Yan Li, Vivy Suhendra
2011	B	`conf`	Bus-Aware Multicore WCET Analysis through TDMA Offset Bounds. ECRTS Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay, Abhik Roychoudhury
2011	—	`conf`	Engineering multi-tenant software-as-a-service systems. PESOS@ICSE Bikram Sengupta, Abhik Roychoudhury
2011	—	`conf`	Locating failure-inducing environment changes. PASTE Dawei Qi, Minh Ngoc Ngo, Tao Sun, Abhik Roychoudhury
2011	A*	`conf`	Mining message sequence graphs. ICSE Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo
2011	—	`conf`	Path exploration based on symbolic output. SIGSOFT FSE Dawei Qi, Hoang D. T. Nguyen, Abhik Roychoudhury
2011	A	`conf`	Scalable and Precise Refinement of Cache Timing Analysis via Model Checking. RTSS Sudipta Chattopadhyay, Abhik Roychoudhury
2011	A	`conf`	Scope-Aware Data Cache Analysis for WCET Estimation. IEEE Real-Time and Embedded Technology and Applications Symposium Bach Khoa Huynh, Lei Ju, Abhik Roychoudhury
2011	B	`conf`	Static bus schedule aware scratchpad allocation in multiprocessors. LCTES Sudipta Chattopadhyay, Abhik Roychoudhury
2011	A	`conf`	Timing Analysis of a Protected Operating System Kernel. RTSS Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, Gernot Heiser
2010	—	`conf`	Golden implementation driven software debugging. SIGSOFT FSE Ansuman Banerjee, Abhik Roychoudhury, Johannes A. Harlie, Zhenkai Liang
2010	C	`conf`	Modeling shared cache and bus in multi-cores for timing analysis. SCOPES Sudipta Chattopadhyay, Abhik Roychoudhury, Tulika Mitra
2010	J	`jnl`	Scratchpad allocation for concurrent embedded software. ACM Trans. Program. Lang. Syst. Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra
2010	A*	`conf`	Test generation to expose changes in evolving programs. ASE Dawei Qi, Abhik Roychoudhury, Zhenkai Liang
2010	A*	`conf`	Timing analysis of esterel programs on general-purpose multiprocessors. DAC Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty
2010	—	`conf`	WOMM: A Weak Operational Memory Model. ISoLA (1) Arnab De, Abhik Roychoudhury, Deepak D'Souza
2009	J	`jnl`	Cache-aware optimization of BAN applications. Des. Autom. Embed. Syst. Lei Ju, Yun Liang, Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury
2009	J	`jnl`	Cache-aware timing analysis of streaming applications. Real Time Syst. Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele
2009	A*	`conf`	Context-sensitive timing analysis of Esterel programs. DAC Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty, Abhik Roychoudhury
2009	—	`conf`	Darwin: an approach for debugging evolving programs. ESEC/SIGSOFT FSE Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani
2009	—	`conf`	Debugging as a Science, that too, when your Program is Changing. TTSS Abhik Roychoudhury
2009	—	`book`	Embedded Systems and Software Validation. Abhik Roychoudhury
2009	B	`conf`	Fair Model Checking with Process Counter Abstraction. FM Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong
2009	—	`conf`	Footprinter: Round-trip engineering via scenario and state based models. ICSE Companion Ankit Goel, Bikram Sengupta, Abhik Roychoudhury
2009	A*	`conf`	Generating test programs to cover pipeline interactions. DAC Thanh Nga Dang, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra
2009	J	`jnl`	Interacting process classes. ACM Trans. Softw. Eng. Methodol. Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan
2009	A	`conf`	Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores. RTSS Yan Li, Vivy Suhendra, Yun Liang, Tulika Mitra, Abhik Roychoudhury
2009	A	`conf`	Unified Cache Modeling for WCET Analysis and Layout Optimizations. RTSS Sudipta Chattopadhyay, Abhik Roychoudhury
2008	Misc	`conf`	Cache-aware optimization of BAN applications. CODES+ISSS Yun Liang, Lei Ju, Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury
2008	C	`conf`	Debugging Statecharts Via Model-Code Traceability. ISoLA Liang Guo, Abhik Roychoudhury
2008	J	`jnl`	Dynamic slicing on Java bytecode traces. ACM Trans. Program. Lang. Syst. Tao Wang, Abhik Roychoudhury
2008	—	`conf`	Java memory model aware software validation. PASTE Arnab De, Abhik Roychoudhury, Deepak D'Souza
2008	Misc	`conf`	Performance debugging of Esterel specifications. CODES+ISSS Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty
2008	A	`conf`	Schedulability Analysis of MSC-based System Models. IEEE Real-Time and Embedded Technology and Applications Symposium Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty
2008	Misc	`conf`	Scratchpad allocation for concurrent embedded software. CODES+ISSS Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra
2007	—	`conf`	A Retargetable Software Timing Analyzer Using Architecture Description Language. ASP-DAC Xianfeng Li, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra, Xu Cheng
2007	A	`conf`	Accounting for cache-related preemption delay in dynamic priority schedulability analysis. DATE Lei Ju, Samarjit Chakraborty, Abhik Roychoudhury
2007	B	`conf`	Cache-Aware Timing Analysis of Streaming Applications. ECRTS Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele, Unmesh D. Bordoloi, Cem Derdiyok
2007	J	`jnl`	Chronos: A timing analyzer for embedded software. Sci. Comput. Program. Xianfeng Li, Liang Yun, Tulika Mitra, Abhik Roychoudhury
2007	A	`conf`	Hierarchical dynamic slicing. ISSTA Tao Wang, Abhik Roychoudhury
2007	J	`jnl`	Memory model sensitive bytecode verification. Formal Methods Syst. Des. Thuan Quang Huynh, Abhik Roychoudhury
2007	—	`conf`	Symbolic message sequence charts. ESEC/SIGSOFT FSE Abhik Roychoudhury, Ankit Goel, Bikram Sengupta
2007	—	`conf`	Timing Analysis of Body Area Network Applications. WCET Liang Yun, Abhik Roychoudhury, Tulika Mitra
2007	Misc	`conf`	Tutorial T8B: Performance Debugging of Complex Embedded Systems. VLSI Design Samarjit Chakraborty, Abhik Roychoudhury
2007	—	`ch.`	Worst-Case Execution Time and Energy Analysis. The Compiler Design Handbook, 2nd ed. Tulika Mitra, Abhik Roychoudhury
2006	B	`conf`	A Memory Model Sensitive Checker for C#. FM Thuan Quang Huynh, Abhik Roychoudhury
2006	B	`conf`	Accurately Choosing Execution Runs for Software Fault Localization. CC Liang Guo, Abhik Roychoudhury, Tao Wang
2006	A*	`conf`	Efficient detection and exploitation of infeasible paths for software timing analysis. DAC Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen
2006	Misc	`conf`	Handling Constraints in Multi-Objective GA for Embedded System Design. VLSI Design Biman Chakraborty, Ting Chen, Tulika Mitra, Abhik Roychoudhury
2006	A*	`conf`	Interacting process classes. ICSE Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan
2006	J	`jnl`	Modeling out-of-order processors for WCET analysis. Real Time Syst. Xianfeng Li, Abhik Roychoudhury, Tulika Mitra
2006	—	`ed.`	Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005 SVV@ICFEM Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang
2006	C	`conf`	Synthesis and Traceability of Scenario-Based Executable Models. ISoLA Ankit Goel, Abhik Roychoudhury
2005	Misc	`conf`	Analyzing Loop Paths for Execution Time Estimation. ICDCIT Abhik Roychoudhury, Tulika Mitra, Hemendra Singh Negi
2005	A*	`conf`	Automated path generation for software fault localization. ASE Tao Wang, Abhik Roychoudhury
2005	—	`conf`	Exploiting Branch Constraints without Exhaustive Path Enumeration. WCET Ting Chen, Tulika Mitra, Abhik Roychoudhury, Vivy Suhendra
2005	J	`jnl`	Modeling Control Speculation for Timing Analysis. Real Time Syst. Xianfeng Li, Tulika Mitra, Abhik Roychoudhury
2005	—	`conf`	Preface. SVV@ICFEM Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang
2005	—	`ed.`	Proceedings of the International Workshop on Software Verification and Validation, SVV@ICLP 2003, Mumbai, India, December 14, 2003 SVV@ICLP Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury
2005	A	`conf`	WCET Centric Data Allocation to Scratchpad Memory. RTSS Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen
2004	J	`jnl`	An unfold/fold transformation framework for definite logic programs. ACM Trans. Program. Lang. Syst. Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
2004	A	`conf`	Automatic Generation of Protocol Converters from Scenario-Based Specifications. RTSS Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva
2004	A	`conf`	Design space exploration of caches using compressed traces. ICS Xianfeng Li, Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury
2004	—	`conf`	Impact of Java Memory Model on Out-of-Order Multiprocessors. IEEE PACT Tulika Mitra, Abhik Roychoudhury, Qinghua Shen
2004	J	`jnl`	Inductively Verifying Invariant Properties of Parameterized Systems. Autom. Softw. Eng. Abhik Roychoudhury, I. V. Ramakrishnan
2004	A	`conf`	Modeling Out-of-Order Processors for Software Timing Analysis. RTSS Xianfeng Li, Abhik Roychoudhury, Tulika Mitra
2004	C	`conf`	Symbolic Execution of Behavioral Requirements. PADL Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary
2004	—	`ch.`	Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems. Program Development in Computational Logic Abhik Roychoudhury, C. R. Ramakrishnan
2004	A*	`conf`	Using Compressed Bytecode Traces for Slicing Java Programs. ICSE Tao Wang, Abhik Roychoudhury
2003	Misc	`conf`	Accurate estimation of cache-related preemption delay. CODES+ISSS Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury
2003	A*	`conf`	Accurate timing analysis by modeling caches, speculation and their interaction. DAC Xianfeng Li, Tulika Mitra, Abhik Roychoudhury
2003	—	`conf`	Communicating Transaction Processes. ACSD Abhik Roychoudhury, P. S. Thiagarajan
2003	—	`conf`	Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems. Lectures on Concurrency and Petri Nets Abhik Roychoudhury, P. S. Thiagarajan
2003	B	`conf`	Compactly representing parallel program executions. PPoPP Ankit Goel, Abhik Roychoudhury, Tulika Mitra
2003	A*	`conf`	Depiction and Playout of Multi-threaded Program Executions. ASE Abhik Roychoudhury
2003	—	`conf`	Preface. SVV@ICLP Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury
2003	A	`conf`	Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol. DATE Abhik Roychoudhury, Tulika Mitra, S. R. Karri
2002	—	`conf`	An Executable Specification Language Based on Message Sequence Charts. 10th Anniversary Colloquium of UNU/IIST Abhik Roychoudhury, P. S. Thiagarajan
2002	J	`jnl`	Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. Int. J. Found. Comput. Sci. Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
2002	C	`conf`	Formal Reasoning about Hardware and Software Memory Models. ICFEM Abhik Roychoudhury
2002	A*	`conf`	Specifying multithreaded Java semantics for program verification. ICSE Abhik Roychoudhury, Tulika Mitra
2002	—	`conf`	Timing Analysis of Embedded Software for Speculative Processors. ISSS Abhik Roychoudhury, Xianfeng Li, Tulika Mitra
2001	A*	`conf`	Automated Inductive Verification of Parameterized Protocols. CAV Abhik Roychoudhury, I. V. Ramakrishnan
2000	C	`conf`	Justifying proofs using memo tables. PPDP Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan
2000	A	`conf`	Verification of Parameterized Systems Using Logic Program Transformations. TACAS Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka
2000	A*	`conf`	XMC: A Logic-Programming-Based Verification Toolset. CAV C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan
1999	C	`conf`	A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. PPDP Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
1999	—	`conf`	Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. ASIAN Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
1999	A	`conf`	Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems. CADE Amy P. Felty, Douglas J. Howe, Abhik Roychoudhury
1999	B	`conf`	Generalized Unfold/fold Transformation Systems for Normal Logic Programs. ICLP Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan
1998	—	`conf`	A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. ICCL Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. Sekar
1998	—	`conf`	Logic Programming and Model Checking. PLILP/ALP Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren
1998	—	`conf`	Tabulation-based Induction Proofs with Application to Automated Verification. TAPD Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka
1995	—	`conf`	Efficient Algorithms for Vertex Arboricity of Planar Graphs. FSTTCS Abhik Roychoudhury, Susmita Sur-Kolay