Search filters

List of works by Abhik Roychoudhury

AutoCodeRover: Autonomous Program Improvement

scientific article published on 11 September 2024

Efficient Greybox Fuzzing to Detect Memory Errors

scientific article published on 06 January 2023

Greybox Fuzzing of Distributed Systems

scientific article published on 21 November 2023

KLEESpectre

scientific article published on 01 June 2020

Oracle-Guided Program Selection from Large Language Models

scientific article published on 11 September 2024

Program Repair Guided by Datalog-Defined Static Analysis

scientific article published on 30 November 2023

Program Repair and Trusted Automatic Programming

scientific article published on 20 February 2024

ProveNFix: Temporal Property-Guided Program Repair

scientific article published on 12 July 2024

Smart Contract Repair

scientific article published on 26 September 2020

Timing Side-Channel Mitigation via Automated Program Repair

scientific article published on 16 July 2024

Verifix: Verified Repair of Programming Assignments

scientific article published in 2022

Paulina is supported by:

About Paulina

Help