default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAbhik Roychoudhury
Person information
- affiliation: National University of Singapore
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j52]Abhik Roychoudhury
:
Editorial: TOSEM Journal in 2025 and Beyond. ACM Trans. Softw. Eng. Methodol. 34(1): 1:1-1:3 (2025)- [j51]Yuntong Zhang, Andreea Costea, Ridwan Shariffdeen, Davin McCall, Abhik Roychoudhury:
EffFix: Efficient and Effective Repair of Pointer Manipulating Programs. ACM Trans. Softw. Eng. Methodol. 34(3): 69:1-69:27 (2025) - [j50]Ruijie Meng, Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury:
AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing. IEEE Trans. Software Eng. 51(4): 960-974 (2025) - [c157]Huan Zhao, Dylan Wolff, Umang Mathur, Abhik Roychoudhury:
Selectively Uniform Concurrency Testing. ASPLOS (1) 2025: 1003-1019 - [i43]Abhik Roychoudhury, Corina S. Pasareanu, Michael Pradel, Baishakhi Ray:
AI Software Engineer: Programming with Trust. CoRR abs/2502.13767 (2025) - [i42]Yu Liu, Yahui Song, Martin Mirchev, Abhik Roychoudhury:
Computation Tree Logic Guided Program Repair. CoRR abs/2502.15344 (2025) - [i41]Abhik Roychoudhury, Andreas Zeller:
Will AI replace Software Engineers? Do not hold your breath. CoRR abs/2502.20429 (2025) - [i40]Zhengyao Liu, Yunlong Ma, Jingxuan Xu, Junchen Ai, Xiang Gao, Hailong Sun, Abhik Roychoudhury:
Agent That Debugs: Dynamic State-Guided Vulnerability Repair. CoRR abs/2504.07634 (2025) - [i39]Jiacheng Xu, Dylan Wolff, Xing Yi Han, Jialin Li, Abhik Roychoudhury:
Concurrency Testing in the Linux Kernel via eBPF. CoRR abs/2504.21394 (2025) - 2024
- [j49]Yahui Song, Xiang Gao, Wenhua Li, Wei-Ngan Chin, Abhik Roychoudhury:
ProveNFix: Temporal Property-Guided Program Repair. Proc. ACM Softw. Eng. 1(FSE): 226-248 (2024) - [j48]Haifeng Ruan, Yannic Noller, Saeid Tizpaz-Niari, Sudipta Chattopadhyay, Abhik Roychoudhury:
Timing Side-Channel Mitigation via Automated Program Repair. ACM Trans. Softw. Eng. Methodol. 33(8): 206:1-206:27 (2024) - [c156]Dylan Wolff, Zheng Shi, Gregory J. Duck, Umang Mathur, Abhik Roychoudhury:
Greybox Fuzzing for Concurrency Testing. ASPLOS (2) 2024: 482-498 - [c155]Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury:
Program Environment Fuzzing. CCS 2024: 720-734 - [c154]Ridwan Shariffdeen, Yannic Noller, Martin Mirchev, Haifeng Ruan, Xiang Gao, Andreea Costea, Gregory J. Duck, Abhik Roychoudhury:
Program Repair Competition 2024. APR 2024: 46-49 - [c153]Haifeng Ruan, Hoang Lam Nguyen, Ridwan Shariffdeen, Yannic Noller, Abhik Roychoudhury:
Evolutionary Testing for Program Repair. ICST 2024: 105-116 - [c152]Abhik Roychoudhury:
Program Repair and Trusted Automatic Programming. ISEC 2024: 2:1 - [c151]Zhiyu Fan, Haifeng Ruan, Sergey Mechtaev, Abhik Roychoudhury:
Oracle-Guided Program Selection from Large Language Models. ISSTA 2024: 628-640 - [c150]Yuntong Zhang, Haifeng Ruan, Zhiyu Fan, Abhik Roychoudhury:
AutoCodeRover: Autonomous Program Improvement. ISSTA 2024: 1592-1604 - [c149]Ruijie Meng, Martin Mirchev, Marcel Böhme, Abhik Roychoudhury:
Large Language Model guided Protocol Fuzzing. NDSS 2024 - [d3]Sung Yong Kim, Zhiyu Fan, Yannic Noller, Abhik Roychoudhury:
Codexity-APR/Codexity: Codexity: Secure AI-assisted Code Generation v1.0.0. Zenodo, 2024
- [i38]Yuntong Zhang, Haifeng Ruan, Zhiyu Fan, Abhik Roychoudhury:
AutoCodeRover: Autonomous Program Improvement. CoRR abs/2404.05427 (2024) - [i37]Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury:
Program Environment Fuzzing. CoRR abs/2404.13951 (2024) - [i36]Michael R. Lyu, Baishakhi Ray, Abhik Roychoudhury, Shin Hwei Tan, Patanamon Thongtanunam:
Automatic Programming: Large Language Models and Beyond. CoRR abs/2405.02213 (2024) - [i35]Sung Yong Kim, Zhiyu Fan, Yannic Noller, Abhik Roychoudhury:
Codexity: Secure AI-assisted Code Generation. CoRR abs/2405.03927 (2024) - [i34]Haifeng Ruan, Yuntong Zhang, Abhik Roychoudhury:
SpecRover: Code Intent Extraction via LLMs. CoRR abs/2408.02232 (2024) - [i33]Martin Mirchev, Andreea Costea, Abhishek Kr Singh, Abhik Roychoudhury:
Assured Automatic Programming via Large Language Models. CoRR abs/2410.18494 (2024) - [i32]Peisen Lin, Yuntong Zhang, Andreea Costea, Abhik Roychoudhury:
Whose fault is it anyway? SILC: Safe Integration of LLM-Generated Code. CoRR abs/2410.18703 (2024) - [i31]Yuntong Zhang, Jiawei Wang, Dominic Berzin, Martin Mirchev, Dongge Liu, Abhishek Arya, Oliver Chang, Abhik Roychoudhury:
Fixing Security Vulnerabilities with AI in OSS-Fuzz. CoRR abs/2411.03346 (2024) - [i30]Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury:
Large Language Model assisted Hybrid Fuzzing. CoRR abs/2412.15931 (2024) - [i29]Ruijie Meng, Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury:
AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing. CoRR abs/2412.20324 (2024) - [i28]Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Shin Hwei Tan:
Automated Programming and Program Repair (Dagstuhl Seminar 24431). Dagstuhl Reports 14(10): 39-57 (2024) - 2023
- [j47]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): 41:1-41:33 (2023) - [c148]Ruijie Meng, George Pîrlea, Abhik Roychoudhury, Ilya Sergey:
Greybox Fuzzing of Distributed Systems. CCS 2023: 1615-1629 - [c147]Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury:
Efficient SMT-Based Network Fault Tolerance Verification. FM 2023: 92-100 - [c146]Ridwan Shariffdeen, Martin Mirchev, Yannic Noller, Abhik Roychoudhury:
Cerberus: a Program Repair Framework. ICSE Companion 2023: 73-77 - [c145]Zhiyu Fan, Xiang Gao, Martin Mirchev, Abhik Roychoudhury, Shin Hwei Tan:
Automated Repair of Programs from Large Language Models. ICSE 2023: 1469-1481 - [c144]Ridwan Shariffdeen, Martin Mirchev, Abhik Roychoudhury:
Program Repair Competition. APR@ICSE 2023: 19-20 - [c143]Zhiyu Fan, Shin Hwei Tan, Abhik Roychoudhury:
Concept-Based Automated Grading of CS-1 Programming Assignments. ISSTA 2023: 199-210 - [c142]Yu Liu, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury:
Program Repair Guided by Datalog-Defined Static Analysis. ESEC/SIGSOFT FSE 2023: 1216-1228 - [c141]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: 4481-4498 - [e8]Sonali Agarwal, Abhik Roychoudhury, Rahul Purandare, Saurabh Tiwari, Lov Kumar:
16th Innovations in Software Engineering Conference, ISEC2023, Allahabad, India, February 23-25, 2023. ACM 2023, ISBN 979-8-4007-0064-4 [contents] - [i27]Ruijie Meng, George Pîrlea, Abhik Roychoudhury, Ilya Sergey:
Distributed System Fuzzing. CoRR abs/2305.02601 (2023) - [i26]Yuntong Zhang, Andreea Costea, Ridwan Shariffdeen, Davin McCall, Abhik Roychoudhury:
Patch Space Exploration using Static Analysis Feedback. CoRR abs/2308.00294 (2023) - [i25]Yuntong Zhang, Ridwan Shariffdeen, Gregory J. Duck, Jiaqi Tan, Abhik Roychoudhury:
Program Repair by Fuzzing over Patch and Input Space. CoRR abs/2308.00666 (2023) - [i24]Zhiyu Fan, Yannic Noller, Ashish Dandekar, Abhik Roychoudhury:
Intelligent Tutoring System: Experience of Linking Software Engineering and Programming Teaching. CoRR abs/2310.05472 (2023) - 2022
- [j46]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): 74:1-74:31 (2022) - [c140]Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury:
Fair Decision Making via Automated Repair of Decision Trees. FairWare@ICSE 2022: 9-16 - [c139]Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury:
Linear-time Temporal Logic guided Greybox Fuzzing. ICSE 2022: 1343-1355 - [c138]Yannic Noller, Ridwan Shariffdeen, Xiang Gao, Abhik Roychoudhury:
Trust Enhancement Issues in Program Repair. ICSE 2022: 2228-2240 - [c137]Yuntong Zhang, Xiang Gao, Gregory J. Duck, Abhik Roychoudhury:
Program vulnerability repair via inductive inference. ISSTA 2022: 691-702 - [c136]Jinsheng Ba, Gregory J. Duck, Abhik Roychoudhury:
Efficient Greybox Fuzzing to Detect Memory Errors. ASE 2022: 37:1-37:12 - [c135]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: 2567-2584 - [c134]Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen, Abhik Roychoudhury:
Stateful Greybox Fuzzing. USENIX Security Symposium 2022: 3255-3272 - [e7]Abhik Roychoudhury, Cristian Cadar, Miryung Kim:
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. ACM 2022, ISBN 978-1-4503-9413-0 [contents] - [d2]Yannic Noller, Ridwan Shariffdeen, Xiang Gao, Abhik Roychoudhury:
Replication Package for "Trust Enhancement Issues in Program Repair". Version 2. Zenodo, 2022 [all versions] - [d1]Yannic Noller, Ridwan Shariffdeen, Xiang Gao, Abhik Roychoudhury:
Replication Package for "Trust Enhancement Issues in Program Repair". Version 3. Zenodo, 2022 [all versions] - [i23]Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen, Abhik Roychoudhury:
Stateful Greybox Fuzzing. CoRR abs/2204.02545 (2022) - [i22]Jinsheng Ba, Gregory J. Duck, Abhik Roychoudhury:
Fast Fuzzing for Memory Errors. CoRR abs/2204.02773 (2022) - [i21]Zhiyu Fan, Xiang Gao, Abhik Roychoudhury, Shin Hwei Tan:
Improving automatically generated code from Codex via Automated Program Repair. CoRR abs/2205.10583 (2022) - [i20]Xiang Gao, Yannic Noller, Abhik Roychoudhury:
Program Repair. CoRR abs/2211.12787 (2022) - [i19]Dylan Wolff, Marcel Böhme, Abhik Roychoudhury:
Explainable Fuzzer Evaluation. CoRR abs/2212.09519 (2022) - 2021
- [j45]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): 1-27 (2021) - [j44]Marcel Böhme, Cristian Cadar, Abhik Roychoudhury:
Fuzzing: Challenges and Reflections. IEEE Softw. 38(3): 79-86 (2021) - [j43]Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra:
Automatic Program Repair. IEEE Softw. 38(4): 22-27 (2021) - [j42]Ridwan Salihin Shariffdeen, Shin Hwei Tan, Mingyuan Gao, Abhik Roychoudhury:
Automated Patch Transplantation. ACM Trans. Softw. Eng. Methodol. 30(1): 6:1-6:36 (2021) - [j41]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): 14:1-14:27 (2021) - [j40]Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury:
Smart Greybox Fuzzing. IEEE Trans. Software Eng. 47(9): 1980-1997 (2021) - [j39]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): 2504-2519 (2021) - [c133]Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, Abhik Roychoudhury:
Localizing Vulnerabilities Statistically From One Exploit. AsiaCCS 2021: 537-549 - [c132]Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, Abhik Roychoudhury:
Automated patch backporting in Linux (experience paper). ISSTA 2021: 633-645 - [c131]Xiang Gao, Gregory J. Duck, Abhik Roychoudhury:
Scalable Fuzzing of Program Binaries with E9AFL. ASE 2021: 1247-1251 - [c130]Ridwan Salihin Shariffdeen, Yannic Noller, Lars Grunske, Abhik Roychoudhury:
Concolic program repair. PLDI 2021: 390-405 - [c129]Zhen Dong, Abhishek Tiwari, Xiao Liang Yu, Abhik Roychoudhury:
Flaky test detection in Android via event order exploration. ESEC/SIGSOFT FSE 2021: 367-378 - [i18]Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi, Omar I. Al-Bataineh, Abhik Roychoudhury:
Verifix: Verified Repair of Programming Assignments. CoRR abs/2106.16199 (2021) - [i17]Andreea Costea, Abhishek Tiwari, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey:
HIPPODROME: Data Race Repair using Static Analysis Summaries. CoRR abs/2108.02490 (2021) - [i16]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 abs/2108.13064 (2021) - [i15]Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury:
Finding Counterexamples of Temporal Logic properties in Software Implementations via Greybox Fuzzing. CoRR abs/2109.02312 (2021) - 2020
- [j38]Sue Moon, Ann E. Nicholson, Abhik Roychoudhury:
Welcome. Commun. ACM 63(4): 44-46 (2020) - [j37]Karen Teh, Vivy Suhendra, Soon Chia Lim, Abhik Roychoudhury:
Singapore's cybersecurity ecosystem. Commun. ACM 63(4): 55-57 (2020) - [j36]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): 14:1-14:31 (2020) - [j35]Xiao Liang Yu, Omar I. Al-Bataineh, David Lo, Abhik Roychoudhury:
Smart Contract Repair. ACM Trans. Softw. Eng. Methodol. 29(4): 27:1-27:32 (2020) - [c128]Xiang Gao, Abhik Roychoudhury:
Interactive Patch Generation and Suggestion. ICSE (Workshops) 2020: 17-18 - [c127]Zhen Dong, Marcel Böhme, Lucia Cojocaru, Abhik Roychoudhury:
Time-travel testing of Android apps. ICSE 2020: 481-492 - [c126]Raveendra Kumar Medicherla, Raghavan Komondoor, Abhik Roychoudhury:
Fitness Guided Vulnerability Detection with Greybox Fuzzing. ICSE (Workshops) 2020: 513-520 - [c125]Xiang Gao, Ripon K. Saha, Mukul R. Prasad, Abhik Roychoudhury:
Fuzz testing based data augmentation to improve robustness of deep neural networks. ICSE 2020: 1147-1158 - [c124]Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury:
AFLNET: A Greybox Fuzzer for Network Protocols. ICST 2020: 460-465 - [c123]Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla:
Synthesizing Tasks for Block-based Programming. NeurIPS 2020 - [c122]Gregory J. Duck, Xiang Gao, Abhik Roychoudhury:
Binary rewriting without control flow recovery. PLDI 2020: 151-163 - [c121]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: 523-540 - [i14]Zhen Dong, Abhishek Tiwari, Xiao Liang Yu, Abhik Roychoudhury:
Concurrency-related Flaky Test Detection in Android apps. CoRR abs/2005.10762 (2020) - [i13]Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla:
Synthesizing Tasks for Block-based Programming. CoRR abs/2006.16913 (2020) - [i12]Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, Abhik Roychoudhury:
Localizing Patch Points From One Exploit. CoRR abs/2008.04516 (2020) - [i11]Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury:
Fairness-guided SMT-based Rectification of Decision Trees and Random Forests. CoRR abs/2011.11001 (2020)
2010 – 2019
- 2019
- [j34]Claire Le Goues, Michael Pradel, Abhik Roychoudhury:
Automated program repair. Commun. ACM 62(12): 56-65 (2019) - [j33]Abhik Roychoudhury, Yingfei Xiong:
Automated program repair: a step towards software automation. Sci. China Inf. Sci. 62(10): 200103:1-200103:3 (2019) - [j32]Marcel Böhme, Van-Thuan Pham, Abhik Roychoudhury:
Coverage-Based Greybox Fuzzing as Markov Chain. IEEE Trans. Software Eng. 45(5): 489-506 (2019) - [c120]Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury:
Crash-avoiding program repair. ISSTA 2019: 8-18 - [c119]Yang Hu, Umair Z. Ahmed, Sergey Mechtaev, Ben Leong, Abhik Roychoudhury:
Re-Factoring Based Program Repair Applied to Programming Assignments. ASE 2019: 388-398 - [c118]Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena:
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints. NDSS 2019 - [i10]Guanhua Wang, Sudipta Chattopadhyay, Arnab Kumar Biswas, Tulika Mitra, Abhik Roychoudhury:
KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution. CoRR abs/1909.00647 (2019) - [i9]Xiao Liang Yu, Omar I. Al-Bataineh, David Lo, Abhik Roychoudhury:
Smart Contract Repair. CoRR abs/1912.05823 (2019) - [i8]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) - 2018
- [j31]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): 2948-2979 (2018) - [j30]Sudipta Chattopadhyay, Abhik Roychoudhury:
Symbolic Verification of Cache Side-Channel Freedom. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2812-2823 (2018) - [j29]Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury:
Test-Equivalence Analysis for Automatic Patch Generation. ACM Trans. Softw. Eng. Methodol. 27(4): 15:1-15:37 (2018) - [j28]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): 470-490 (2018) - [c117]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: 24 - [c116]Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury:
Semantic program repair using a reference implementation. ICSE 2018: 129-139 - [c115]Shin Hwei Tan, Zhen Dong, Xiang Gao, Abhik Roychoudhury:
Repairing crashes in Android apps. ICSE 2018: 187-198 - [c114]Xiang Gao, Shin Hwei Tan, Zhen Dong, Abhik Roychoudhury:
Android testing via synthetic symbolic execution. ASE 2018: 419-429 - [c113]Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury:
Symbolic execution with existential second-order constraints. ESEC/SIGSOFT FSE 2018: 389-399 - [i7]Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena:
BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. CoRR abs/1807.00477 (2018) - [i6]Shiqi Shen, Soundarya Ramesh, Shweta Shinde, Abhik Roychoudhury, Prateek Saxena:
Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution. CoRR abs/1807.00575 (2018) - [i5]Sudipta Chattopadhyay, Abhik Roychoudhury:
Symbolic Verification of Cache Side-channel Freedom. CoRR abs/1807.04701 (2018) - [i4]Guanhua Wang, Sudipta Chattopadhyay, Ivan Gotovchits, Tulika Mitra, Abhik Roychoudhury:
oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis. CoRR abs/1807.05843 (2018) - [i3]Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury:
Smart Greybox Fuzzing. CoRR abs/1811.09447 (2018) - 2017
- [c112]Marcel Böhme, Van-Thuan Pham, Manh-Dung Nguyen, Abhik Roychoudhury:
Directed Greybox Fuzzing. CCS 2017: 2329-2344 - [c111]Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury:
Bucketing Failing Tests via Symbolic Analysis. FASE 2017: 43-59 - [c110]Abhijeet Banerjee, Abhik Roychoudhury:
Future of Mobile Software for Smartphones and Drones: Energy and Performance. MOBILESoft@ICSE 2017: 1-12 - [c109]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: 180-182 - [c108]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: 740-751 - [c107]Abhik Roychoudhury:
Trustworthy Software and Automatic Program Repair. SoICT 2017: 3 - [e6]Abhik Roychoudhury, Yang Liu:
A Systems Approach to Cyber Security - Proceedings of the 2nd Singapore Cyber-Security R&D Conference (SG-CRC 2017), Singapore, February 21-22, 2017. Cryptology and Information Security Series 15, IOS Press 2017, ISBN 978-1-61499-743-6 [contents] - [i2]Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury:
Partitioning Patches into Test-equivalence Classes for Scaling Program Repair. CoRR abs/1707.03139 (2017) - [i1]Sunghun Kim, Claire Le Goues, Michael Pradel, Abhik Roychoudhury:
Automated Program Repair (Dagstuhl Seminar 17022). Dagstuhl Reports 7(1): 19-31 (2017) - 2016
- [j27]Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury:
On Testing Embedded Software. Adv. Comput. 101: 121-153 (2016) - [j26]Abhik Roychoudhury, Satish Chandra:
Formula-based software debugging. Commun. ACM 59(7): 68-77 (2016) - [c106]Marcel Böhme, Van-Thuan Pham, Abhik Roychoudhury:
Coverage-based Greybox Fuzzing as Markov Chain. CCS 2016: 1032-1043 - [c105]Abhijeet Banerjee, Hai-Feng Guo, Abhik Roychoudhury:
Debugging energy-efficiency related field failures in mobile apps. MOBILESoft 2016: 127-138 - [c104]Abhijeet Banerjee, Abhik Roychoudhury:
Automated re-factoring of Android apps to enhance energy-efficiency. MOBILESoft 2016: 139-150 - [c103]Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury:
Angelix: scalable multiline program patch synthesis via symbolic analysis. ICSE 2016: 691-701 - [c102]Konstantin Rubinov, Lucia Rosculete, Tulika Mitra, Abhik Roychoudhury:
Automated partitioning of android applications for trusted execution environments. ICSE 2016: 923-934 - [c101]Abhik Roychoudhury:
SemFix and beyond: semantic techniques for program repair. ForMABS@ASE 2016: 2 - [c100]Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury:
Model-based whitebox fuzzing for program binaries. ASE 2016: 543-553 - [c99]Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, Abhik Roychoudhury:
Anti-patterns in search-based program repair. SIGSOFT FSE 2016: 727-738 - [e5]Andreas Zeller, Abhik Roychoudhury:
Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016. ACM 2016, ISBN 978-1-4503-4390-9 [contents] - [e4]Aditya Mathur, Abhik Roychoudhury:
Proceedings of the Singapore Cyber-Security Conference (SG-CRC) 2016 - Cyber-Security by Design, Singapore, January 14-15, 2016. Cryptology and Information Security Series 14, IOS Press 2016, ISBN 978-1-61499-616-3 [contents] - 2015
- [j25]Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury:
Software Change Contracts. ACM Trans. Softw. Eng. Methodol. 24(3): 18:1-18:43 (2015) - [c98]Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury:
DirectFix: Looking for Simple Program Repairs. ICSE (1) 2015: 448-458 - [c97]Shin Hwei Tan, Abhik Roychoudhury:
relifix: Automated Repair of Software Regressions. ICSE (1) 2015: 471-482 - [c96]Van-Thuan Pham, Wei Boon Ng, Konstantin Rubinov, Abhik Roychoudhury:
Hercules: Reproducing Crashes in Real-World Application Binaries. ICSE (1) 2015: 891-901 - 2014
- [j24]Sudipta Chattopadhyay, Abhik Roychoudhury, Jakob Rosen, Petru Eles, Zebo Peng:
Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization. Found. Trends Electron. Des. Autom. 8(3-4): 199-356 (2014) - [j23]Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay, Abhik Roychoudhury:
Static analysis of multi-core TDMA resource arbitration delays. Real Time Syst. 50(2): 185-229 (2014) - [j22]Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Peter Marwedel, Heiko Falk:
A Unified WCET analysis framework for multicore platforms. ACM Trans. Embed. Comput. Syst. 13(4s): 124:1-124:29 (2014) - [j21]Sudipta Chattopadhyay, Abhik Roychoudhury:
Cache-Related Preemption Delay Analysis for Multilevel Noninclusive Caches. ACM Trans. Embed. Comput. Syst. 13(5s): 147:1-147:29 (2014) - [c95]Tien-Duy B. Le, Jooyong Yi, David Lo, Ferdian Thung, Abhik Roychoudhury:
Dynamic Inference of Change Contracts. ICSME 2014: 451-455 - [c94]Marcel Böhme, Abhik Roychoudhury:
CoREBench: studying complexity of regression errors. ISSTA 2014: 105-115 - [c93]Clément Ballabriga, Lee Kee Chong, Abhik Roychoudhury:
Cache-related preemption delay analysis for FIFO caches. LCTES 2014: 33-42 - [c92]Abhijeet Banerjee, Abhik Roychoudhury:
Energy-aware design patterns for mobile application development (invited talk). DeMobile@SIGSOFT FSE 2014: 15-16 - [c91]Abhijeet Banerjee, Lee Kee Chong, Sudipta Chattopadhyay, Abhik Roychoudhury:
Detecting energy bugs and hotspots in mobile apps. SIGSOFT FSE 2014: 588-598 - 2013
- [j20]Marcel Böhme, Abhik Roychoudhury, Bruno C. d. S. Oliveira:
Regression Testing of Evolving Programs. Adv. Comput. 89: 53-88 (2013) - [j19]Sudipta Chattopadhyay, Abhik Roychoudhury:
Scalable and precise refinement of cache timing analysis via path-sensitive verification. Real Time Syst. 49(4): 517-562 (2013) - [j18]Dawei Qi, Hoang D. T. Nguyen, Abhik Roychoudhury:
Path exploration based on symbolic output. ACM Trans. Softw. Eng. Methodol. 22(4): 32:1-32:41 (2013) - [c90]Jooyong Yi, Robby, Xianghua Deng, Abhik Roychoudhury:
Past expression: encapsulating pre-states at post-conditions by means of AOP. AOSD 2013: 133-144 - [c89]Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury:
Partition-based regression verification. ICSE 2013: 302-311 - [c88]Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra:
SemFix: program repair via semantic analysis. ICSE 2013: 772-781 - [c87]Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury:
Expressing and checking intended changes via software change contracts. ISSTA 2013: 1-11 - [c86]Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury:
Program performance spectrum. LCTES 2013: 65-76 - [c85]Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury:
Precise micro-architectural modeling for WCET analysis via AI+SAT. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 87-96 - [c84]Lee Kee Chong, Clément Ballabriga, Van-Thuan Pham, Sudipta Chattopadhyay, Abhik Roychoudhury:
Integrated Timing Analysis of Application and Operating Systems Code. RTSS 2013: 128-139 - [c83]Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury:
Static Analysis Driven Cache Performance Testing. RTSS 2013: 319-329 - [c82]Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury:
Regression tests to expose change interaction errors. ESEC/SIGSOFT FSE 2013: 334-344 - 2012
- [j17]Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty:
Performance debugging of Esterel specifications. Real Time Syst. 48(5): 570-600 (2012) - [j16]Yun Liang, Huping Ding, Tulika Mitra, Abhik Roychoudhury, Yan Li, Vivy Suhendra:
Timing analysis of concurrent programs running on shared cache multi-cores. Real Time Syst. 48(6): 638-680 (2012) - [j15]Zhiming Liu, Abhik Roychoudhury:
Relating software validation to technology trends. Int. J. Softw. Tools Technol. Transf. 14(6): 631-638 (2012) - [j14]Abhik Roychoudhury, Ankit Goel, Bikram Sengupta:
Symbolic Message Sequence Charts. ACM Trans. Softw. Eng. Methodol. 21(2): 12:1-12:44 (2012) - [j13]Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani:
DARWIN: An approach to debugging evolving programs. ACM Trans. Softw. Eng. Methodol. 21(3): 19:1-19:29 (2012) - [c81]Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo:
Inferring class level specifications for distributed systems. ICSE 2012: 914-924 - [c80]Lei Ju, Bikram Sengupta, Abhik Roychoudhury:
Tenant Onboarding in Evolving Multi-tenant Software-as-a-Service Systems. ICWS 2012: 415-422 - [c79]Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Peter Marwedel, Heiko Falk:
A Unified WCET Analysis Framework for Multi-core Platforms. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 99-108 - [c78]Dawei Qi, Jooyong Yi, Abhik Roychoudhury:
Software change contracts. SIGSOFT FSE 2012: 22 - [c77]Dawei Qi, William N. Sumner, Feng Qin, Mai Zheng, Xiangyu Zhang, Abhik Roychoudhury:
Modeling Software Execution Environment. WCRE 2012: 415-424 - [e3]Abhik Roychoudhury, Meenakshi D'Souza:
Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings. Lecture Notes in Computer Science 7521, Springer 2012, ISBN 978-3-642-32942-5 [contents] - 2011
- [c76]Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay, Abhik Roychoudhury:
Bus-Aware Multicore WCET Analysis through TDMA Offset Bounds. ECRTS 2011: 3-12 - [c75]Bikram Sengupta, Abhik Roychoudhury:
Engineering multi-tenant software-as-a-service systems. PESOS@ICSE 2011: 15-21 - [c74]Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo:
Mining message sequence graphs. ICSE 2011: 91-100 - [c73]Sudipta Chattopadhyay, Abhik Roychoudhury:
Static bus schedule aware scratchpad allocation in multiprocessors. LCTES 2011: 11-20 - [c72]Dawei Qi, Minh Ngoc Ngo, Tao Sun, Abhik Roychoudhury:
Locating failure-inducing environment changes. PASTE 2011: 29-36 - [c71]Bach Khoa Huynh, Lei Ju, Abhik Roychoudhury:
Scope-Aware Data Cache Analysis for WCET Estimation. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 203-212 - [c70]Sudipta Chattopadhyay, Abhik Roychoudhury:
Scalable and Precise Refinement of Cache Timing Analysis via Model Checking. RTSS 2011: 193-203 - [c69]Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, Gernot Heiser:
Timing Analysis of a Protected Operating System Kernel. RTSS 2011: 339-348 - [c68]Dawei Qi, Hoang D. T. Nguyen, Abhik Roychoudhury:
Path exploration based on symbolic output. SIGSOFT FSE 2011: 278-288 - 2010
- [j12]Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra:
Scratchpad allocation for concurrent embedded software. ACM Trans. Program. Lang. Syst. 32(4): 13:1-13:47 (2010) - [c67]Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty:
Timing analysis of esterel programs on general-purpose multiprocessors. DAC 2010: 48-51 - [c66]Arnab De, Abhik Roychoudhury, Deepak D'Souza:
WOMM: A Weak Operational Memory Model. ISoLA (1) 2010: 519-534 - [c65]Dawei Qi, Abhik Roychoudhury, Zhenkai Liang:
Test generation to expose changes in evolving programs. ASE 2010: 397-406 - [c64]Sudipta Chattopadhyay, Abhik Roychoudhury, Tulika Mitra:
Modeling shared cache and bus in multi-cores for timing analysis. SCOPES 2010: 6 - [c63]Ansuman Banerjee, Abhik Roychoudhury, Johannes A. Harlie, Zhenkai Liang:
Golden implementation driven software debugging. SIGSOFT FSE 2010: 177-186
2000 – 2009
- 2009
- [b1]Abhik Roychoudhury:
Embedded Systems and Software Validation. The Morgan Kaufmann series in systems on silicon, Morgan Kaufmann 2009, ISBN 978-0-12-374230-8, pp. I-XII, 1-254 - [j11]Lei Ju, Yun Liang, Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury:
Cache-aware optimization of BAN applications. Des. Autom. Embed. Syst. 13(3): 159-178 (2009) - [j10]Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele:
Cache-aware timing analysis of streaming applications. Real Time Syst. 41(1): 52-85 (2009) - [j9]Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan:
Interacting process classes. ACM Trans. Softw. Eng. Methodol. 18(4): 13:1-13:47 (2009) - [c62]Thanh Nga Dang, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra:
Generating test programs to cover pipeline interactions. DAC 2009: 142-147 - [c61]Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty, Abhik Roychoudhury:
Context-sensitive timing analysis of Esterel programs. DAC 2009: 870-873 - [c60]Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong:
Fair Model Checking with Process Counter Abstraction. FM 2009: 123-139 - [c59]Ankit Goel, Bikram Sengupta, Abhik Roychoudhury:
Footprinter: Round-trip engineering via scenario and state based models. ICSE Companion 2009: 419-420 - [c58]Sudipta Chattopadhyay, Abhik Roychoudhury:
Unified Cache Modeling for WCET Analysis and Layout Optimizations. RTSS 2009: 47-56 - [c57]Yan Li, Vivy Suhendra, Yun Liang, Tulika Mitra, Abhik Roychoudhury:
Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores. RTSS 2009: 57-67 - [c56]Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani:
Darwin: an approach for debugging evolving programs. ESEC/SIGSOFT FSE 2009: 33-42 - [c55]Abhik Roychoudhury:
Debugging as a Science, that too, when your Program is Changing. TTSS 2009: 3-15 - 2008
- [j8]Tao Wang, Abhik Roychoudhury:
Dynamic slicing on Java bytecode traces. ACM Trans. Program. Lang. Syst. 30(2): 10:1-10:49 (2008) - [c54]Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra:
Scratchpad allocation for concurrent embedded software. CODES+ISSS 2008: 37-42 - [c53]Yun Liang, Lei Ju, Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury:
Cache-aware optimization of BAN applications. CODES+ISSS 2008: 149-154 - [c52]Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty:
Performance debugging of Esterel specifications. CODES+ISSS 2008: 173-178 - [c51]Liang Guo, Abhik Roychoudhury:
Debugging Statecharts Via Model-Code Traceability. ISoLA 2008: 292-306 - [c50]Arnab De, Abhik Roychoudhury, Deepak D'Souza:
Java memory model aware software validation. PASTE 2008: 8-14 - [c49]Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty:
Schedulability Analysis of MSC-based System Models. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 215-224 - 2007
- [j7]Thuan Quang Huynh, Abhik Roychoudhury:
Memory model sensitive bytecode verification. Formal Methods Syst. Des. 31(3): 281-305 (2007) - [j6]Xianfeng Li, Liang Yun, Tulika Mitra, Abhik Roychoudhury:
Chronos: A timing analyzer for embedded software. Sci. Comput. Program. 69(1-3): 56-67 (2007) - [c48]Xianfeng Li, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra, Xu Cheng:
A Retargetable Software Timing Analyzer Using Architecture Description Language. ASP-DAC 2007: 396-401 - [c47]Lei Ju, Samarjit Chakraborty, Abhik Roychoudhury:
Accounting for cache-related preemption delay in dynamic priority schedulability analysis. DATE 2007: 1623-1628 - [c46]Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele, Unmesh D. Bordoloi, Cem Derdiyok:
Cache-Aware Timing Analysis of Streaming Applications. ECRTS 2007: 159-168 - [c45]Tao Wang, Abhik Roychoudhury:
Hierarchical dynamic slicing. ISSTA 2007: 228-238 - [c44]Abhik Roychoudhury, Ankit Goel, Bikram Sengupta:
Symbolic message sequence charts. ESEC/SIGSOFT FSE 2007: 275-284 - [c43]Samarjit Chakraborty, Abhik Roychoudhury:
Tutorial T8B: Performance Debugging of Complex Embedded Systems. VLSI Design 2007: 13 - [c42]Liang Yun, Abhik Roychoudhury, Tulika Mitra:
Timing Analysis of Body Area Network Applications. WCET 2007 - [p2]Tulika Mitra, Abhik Roychoudhury:
Worst-Case Execution Time and Energy Analysis. The Compiler Design Handbook, 2nd ed. 2007: 1 - 2006
- [j5]Xianfeng Li, Abhik Roychoudhury, Tulika Mitra:
Modeling out-of-order processors for WCET analysis. Real Time Syst. 34(3): 195-227 (2006) - [c41]Liang Guo, Abhik Roychoudhury, Tao Wang:
Accurately Choosing Execution Runs for Software Fault Localization. CC 2006: 80-95 - [c40]Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen:
Efficient detection and exploitation of infeasible paths for software timing analysis. DAC 2006: 358-363 - [c39]Thuan Quang Huynh, Abhik Roychoudhury:
A Memory Model Sensitive Checker for C#. FM 2006: 476-491 - [c38]Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan:
Interacting process classes. ICSE 2006: 302-311 - [c37]Ankit Goel, Abhik Roychoudhury:
Synthesis and Traceability of Scenario-Based Executable Models. ISoLA 2006: 347-354 - [c36]Biman Chakraborty, Ting Chen, Tulika Mitra, Abhik Roychoudhury:
Handling Constraints in Multi-Objective GA for Embedded System Design. VLSI Design 2006: 305-310 - [e2]Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang:
Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005. Electronic Notes in Theoretical Computer Science 157(1), Elsevier 2006 [contents] - 2005
- [j4]Xianfeng Li, Tulika Mitra, Abhik Roychoudhury:
Modeling Control Speculation for Timing Analysis. Real Time Syst. 29(1): 27-58 (2005) - [c35]Abhik Roychoudhury, Tulika Mitra, Hemendra Singh Negi:
Analyzing Loop Paths for Execution Time Estimation. ICDCIT 2005: 458-469 - [c34]Tao Wang, Abhik Roychoudhury:
Automated path generation for software fault localization. ASE 2005: 347-351 - [c33]Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen:
WCET Centric Data Allocation to Scratchpad Memory. RTSS 2005: 223-232 - [c32]Ting Chen, Tulika Mitra, Abhik Roychoudhury, Vivy Suhendra:
Exploiting Branch Constraints without Exhaustive Path Enumeration. WCET 2005 - [c31]Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang:
Preface. SVV@ICFEM 2005: 1 - [e1]Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury:
Proceedings of the International Workshop on Software Verification and Validation, SVV@ICLP 2003, Mumbai, India, December 14, 2003. Electronic Notes in Theoretical Computer Science 118, Elsevier 2005 [contents] - 2004
- [j3]Abhik Roychoudhury, I. V. Ramakrishnan:
Inductively Verifying Invariant Properties of Parameterized Systems. Autom. Softw. Eng. 11(2): 101-139 (2004) - [j2]Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan:
An unfold/fold transformation framework for definite logic programs. ACM Trans. Program. Lang. Syst. 26(3): 464-509 (2004) - [c30]Tulika Mitra, Abhik Roychoudhury, Qinghua Shen:
Impact of Java Memory Model on Out-of-Order Multiprocessors. IEEE PACT 2004: 99-110 - [c29]Xianfeng Li, Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury:
Design space exploration of caches using compressed traces. ICS 2004: 116-125 - [c28]Tao Wang, Abhik Roychoudhury:
Using Compressed Bytecode Traces for Slicing Java Programs. ICSE 2004: 512-521 - [c27]Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary:
Symbolic Execution of Behavioral Requirements. PADL 2004: 178-192 - [c26]Xianfeng Li, Abhik Roychoudhury, Tulika Mitra:
Modeling Out-of-Order Processors for Software Timing Analysis. RTSS 2004: 92-103 - [c25]Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva:
Automatic Generation of Protocol Converters from Scenario-Based Specifications. RTSS 2004: 447-458 - [p1]Abhik Roychoudhury, C. R. Ramakrishnan:
Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems. Program Development in Computational Logic 2004: 261-290 - 2003
- [c24]Abhik Roychoudhury, P. S. Thiagarajan:
Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems. Lectures on Concurrency and Petri Nets 2003: 789-818 - [c23]Abhik Roychoudhury, P. S. Thiagarajan:
Communicating Transaction Processes. ACSD 2003: 157-166 - [c22]Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury:
Accurate estimation of cache-related preemption delay. CODES+ISSS 2003: 201-206 - [c21]Xianfeng Li, Tulika Mitra, Abhik Roychoudhury:
Accurate timing analysis by modeling caches, speculation and their interaction. DAC 2003: 466-471 - [c20]Abhik Roychoudhury, Tulika Mitra, S. R. Karri:
Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol. DATE 2003: 10828-10833 - [c19]Abhik Roychoudhury:
Depiction and Playout of Multi-threaded Program Executions. ASE 2003: 331-336 - [c18]Ankit Goel, Abhik Roychoudhury, Tulika Mitra:
Compactly representing parallel program executions. PPoPP 2003: 191-202 - [c17]Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury:
Preface. SVV@ICLP 2003: 1- - 2002
- [j1]Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan:
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. Int. J. Found. Comput. Sci. 13(3): 387-403 (2002) - [c16]Abhik Roychoudhury:
Formal Reasoning about Hardware and Software Memory Models. ICFEM 2002: 423-434 - [c15]Abhik Roychoudhury, Tulika Mitra:
Specifying multithreaded Java semantics for program verification. ICSE 2002: 489-499 - [c14]Abhik Roychoudhury, Xianfeng Li, Tulika Mitra:
Timing Analysis of Embedded Software for Speculative Processors. ISSS 2002: 126-131 - [c13]Abhik Roychoudhury, P. S. Thiagarajan:
An Executable Specification Language Based on Message Sequence Charts. 10th Anniversary Colloquium of UNU/IIST 2002: 226-241 - 2001
- [c12]Abhik Roychoudhury, I. V. Ramakrishnan:
Automated Inductive Verification of Parameterized Protocols. CAV 2001: 25-37 - 2000
- [c11]C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan:
XMC: A Logic-Programming-Based Verification Toolset. CAV 2000: 576-580 - [c10]Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan:
Justifying proofs using memo tables. PPDP 2000: 178-189 - [c9]Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka:
Verification of Parameterized Systems Using Logic Program Transformations. TACAS 2000: 172-187
1990 – 1999
- 1999
- [c8]Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan:
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. ASIAN 1999: 322-333 - [c7]Amy P. Felty, Douglas J. Howe, Abhik Roychoudhury:
Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems. CADE 1999: 237-251 - [c6]Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan:
Generalized Unfold/fold Transformation Systems for Normal Logic Programs. ICLP 1999: 616 - [c5]Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan:
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. PPDP 1999: 396-413 - 1998
- [c4]Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. Sekar:
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. ICCL 1998: 196-205 - [c3]Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren:
Logic Programming and Model Checking. PLILP/ALP 1998: 1-20 - [c2]Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka:
Tabulation-based Induction Proofs with Application to Automated Verification. TAPD 1998: 83-88 - 1995
- [c1]Abhik Roychoudhury, Susmita Sur-Kolay:
Efficient Algorithms for Vertex Arboricity of Planar Graphs. FSTTCS 1995: 37-51
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-28 20:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
