All Stories

  1. A 2030 Roadmap for Software Engineering

    Article • ACM Transactions on Software Engineering and Methodology, May 2025, ACM (Association for Computing Machinery)

    Birgit Penzenstadler, Abhik Roychoudhury

  2. Automatic Programming: Large Language Models and Beyond

    Article • ACM Transactions on Software Engineering and Methodology, May 2025, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  3. Fuzzing: On Benchmarking Outcome as a Function of Benchmark Properties

    Article • ACM Transactions on Software Engineering and Methodology, April 2025, ACM (Association for Computing Machinery)

    Dylan Wolff, Abhik Roychoudhury

  4. Vulnerability Repair via Concolic Execution and Code Mutations

    Article • ACM Transactions on Software Engineering and Methodology, April 2025, ACM (Association for Computing Machinery)

    Ridwan Shariffdeen, Yannic Noller, Abhik Roychoudhury

  5. SpecRover: Code Intent Extraction via LLMs

    Article • April 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Abhik Roychoudhury

  6. Selectively Uniform Concurrency Testing

    Article • March 2025, ACM (Association for Computing Machinery)

    Umang Mathur, Abhik Roychoudhury, Dylan Wolff

  7. Editorial: TOSEM journal in 2025 and beyond

    Article • ACM Transactions on Software Engineering and Methodology, December 2024, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  8. Program Environment Fuzzing

    Article • December 2024, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  9. EffFix: Efficient and Effective Repair of Pointer Manipulating Programs

    Article • ACM Transactions on Software Engineering and Methodology, November 2024, ACM (Association for Computing Machinery)

    Ridwan Shariffdeen, Abhik Roychoudhury

  10. Oracle-Guided Program Selection from Large Language Models

    Article • September 2024, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  11. AutoCodeRover: Autonomous Program Improvement

    Article • September 2024, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  12. Timing Side-Channel Mitigation via Automated Program Repair

    Article • ACM Transactions on Software Engineering and Methodology, July 2024, ACM (Association for Computing Machinery)

    Yannic Noller, Abhik Roychoudhury

  13. ProveNFix: Temporal Property-Guided Program Repair

    Article • Proceedings of the ACM on Software Engineering, July 2024, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  14. Proceedings of the IEEE/ACM 46th International Conference on Software Engineering

    Article • May 2024, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  15. Concurrent Program Testing for Everyone via "Fuzzing"

    Article • April 2024, ACM (Association for Computing Machinery)

    Dylan Wolff, Umang Mathur, Abhik Roychoudhury

  16. APR Competition 2024

    Article • April 2024, ACM (Association for Computing Machinery)

    Yannic Noller, Ridwan Shariffdeen, Abhik Roychoudhury

  17. Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings

    Article • April 2024, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  18. Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results

    Article • April 2024, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  19. Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training

    Article • April 2024, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  20. Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice

    Article • April 2024, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  21. Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Society

    Article • April 2024, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  22. Program Repair and Trusted Automatic Programming

    Article • February 2024, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  23. Program Repair Guided by Datalog-Defined Static Analysis

    Article • November 2023, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  24. Greybox Fuzzing of Distributed Systems

    Article • November 2023, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  25. Concept-Based Automated Grading of CS-1 Programming Assignments

    Article • July 2023, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  26. Automated Repair of Programs from Large Language Models

    Article • May 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Abhik Roychoudhury

  27. Cerberus: a Program Repair Framework

    Article • May 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Ridwan Shariffdeen, Yannic Noller, Abhik Roychoudhury

  28. Hippodrome : Data Race Repair Using Static Analysis Summaries

    Article • ACM Transactions on Software Engineering and Methodology, March 2023, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  29. Efficient Greybox Fuzzing to Detect Memory Errors

    Article • October 2022, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  30. Program vulnerability repair via inductive inference

    Article • July 2022, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  31. Trust enhancement issues in program repair

    Article • May 2022, ACM (Association for Computing Machinery)

    Yannic Noller, Ridwan Shariffdeen, Abhik Roychoudhury

  32. Linear-time temporal logic guided greybox fuzzing

    Article • May 2022, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  33. Fair decision making via automated repair of decision trees

    Article • May 2022, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  34. On Privacy Risks of Watching YouTube over Cellular Networks with Carrier Aggregation

    Article • Proceedings of the ACM on Interactive Mobile Wearable and Ubiquitous Technologies, March 2022, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  35. Verifix: Verified Repair of Programming Assignments

    Article • ACM Transactions on Software Engineering and Methodology, March 2022, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  36. Scalable Fuzzing of Program Binaries with E9AFL

    Article • November 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Abhik Roychoudhury

  37. APIfix: output-oriented program synthesis for combating breaking changes in libraries

    Article • Proceedings of the ACM on Programming Languages, October 2021, ACM (Association for Computing Machinery)

    Ridwan Shariffdeen, Abhik Roychoudhury

  38. Flaky test detection in Android via event order exploration

    Article • August 2021, ACM (Association for Computing Machinery)

    Zhen Dong, Abhik Roychoudhury

  39. Automated patch backporting in Linux (experience paper)

    Article • July 2021, ACM (Association for Computing Machinery)

    Ridwan Shariffdeen, Abhik Roychoudhury

  40. Concolic program repair

    Article • June 2021, ACM (Association for Computing Machinery)

    Ridwan Shariffdeen, Yannic Noller, Abhik Roychoudhury

  41. Localizing Vulnerabilities Statistically From One Exploit

    Article • May 2021, ACM (Association for Computing Machinery)

    Zhen Dong, Abhik Roychoudhury

  42. Beyond Tests

    Article • ACM Transactions on Software Engineering and Methodology, April 2021, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  43. Automated Patch Transplantation

    Article • ACM Transactions on Software Engineering and Methodology, January 2021, ACM (Association for Computing Machinery)

    Ridwan Shariffdeen, Mingyuan Gao, Abhik Roychoudhury

  44. Smart Contract Repair

    Article • ACM Transactions on Software Engineering and Methodology, October 2020, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  45. KLEESpectre

    Article • ACM Transactions on Software Engineering and Methodology, July 2020, ACM (Association for Computing Machinery)

    Tulika Mitra, Abhik Roychoudhury

  46. Fuzz testing based data augmentation to improve robustness of deep neural networks

    Article • June 2020, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  47. Time-travel testing of Android apps

    Article • June 2020, ACM (Association for Computing Machinery)

    Zhen Dong, Abhik Roychoudhury

  48. Binary rewriting without control flow recovery

    Article • June 2020, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  49. Welcome

    Article • Communications of the ACM, March 2020, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  50. Automated program repair

    Article • Communications of the ACM, November 2019, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  51. Crash-avoiding program repair

    Article • July 2019, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  52. Test-Equivalence Analysis for Automatic Patch Generation

    Article • ACM Transactions on Software Engineering and Methodology, November 2018, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  53. Android testing via synthetic symbolic execution

    Article • September 2018, ACM (Association for Computing Machinery)

    Zhen Dong, Abhik Roychoudhury

  54. Semantic program repair using a reference implementation

    Article • May 2018, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  55. Repairing crashes in Android apps

    Article • May 2018, ACM (Association for Computing Machinery)

    Zhen Dong, Abhik Roychoudhury

  56. A correlation study between automated program repair and test-suite metrics

    Article • May 2018, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  57. Trustworthy Software and Automatic Program Repair

    Article • December 2017, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  58. Directed Greybox Fuzzing

    Article • October 2017, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  59. A feasibility study of using automated program repair for introductory programming assignments

    Article • August 2017, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  60. Anti-patterns in search-based program repair

    Article • November 2016, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  61. Coverage-based Greybox Fuzzing as Markov Chain

    Article • October 2016, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  62. Model-based whitebox fuzzing for program binaries

    Article • August 2016, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  63. Formula-based software debugging

    Article • Communications of the ACM, June 2016, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  64. Automated partitioning of android applications for trusted execution environments

    Article • May 2016, ACM (Association for Computing Machinery)

    Tulika Mitra, Abhik Roychoudhury

  65. Angelix

    Article • May 2016, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  66. A Unified WCET analysis framework for multicore platforms

    Article • ACM Transactions on Embedded Computing Systems, July 2014, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  67. Detecting energy bugs and hotspots in mobile apps

    Article • January 2014, ACM (Association for Computing Machinery)

    Abhik Roychoudhury

  68. Mining message sequence graphs

    Article • May 2011, ACM (Association for Computing Machinery)

    Abhik Roychoudhury