Abhik Roychoudhury | DeepAI

AI Chat

Featured Co-authors

David Lo
123 publications
Adish Singla
62 publications
Xiang Gao
43 publications
Zhen Dong
36 publications
Prateek Saxena
24 publications
Sudipta Chattopadhyay
22 publications
Jiang Zhang
22 publications
Ivan Beschastnikh
18 publications
Shweta Shinde
17 publications
Ilya Sergey
16 publications
Maria Christakis
15 publications

∙ 08/01/2023

Program Repair by Fuzzing over Patch and Input Space

Fuzz testing (fuzzing) is a well-known method for exposing bugs/vulnerab...

0 Yuntong Zhang, et al. ∙

∙ 08/01/2023

Patch Space Exploration using Static Analysis Feedback

Automated Program Repair (APR) techniques typically rely on a given test...

0 Yuntong Zhang, et al. ∙

∙ 05/04/2023

Distributed System Fuzzing

Grey-box fuzzing is the lightweight approach of choice for finding bugs ...

0 Ruijie Meng, et al. ∙

∙ 12/19/2022

Explainable Fuzzer Evaluation

While the aim of fuzzer evaluation is to establish fuzzer performance in...

0 Dylan Wolff, et al. ∙

∙ 11/23/2022

Program Repair

Automated program repair is an emerging technology which consists of a s...

0 Xiang Gao, et al. ∙

∙ 05/21/2022

Improving automatically generated code from Codex via Automated Program Repair

Large language models, e.g., Codex and AlphaCode, have shown capability ...

0 Zhiyu Fan, et al. ∙

∙ 04/06/2022

Fast Fuzzing for Memory Errors

Greybox fuzzing is a proven effective testing method for the detection o...

0 Jinsheng Ba, et al. ∙

∙ 04/06/2022

Stateful Greybox Fuzzing

Many protocol implementations are reactive systems, where the protocol p...

0 Jinsheng Ba, et al. ∙

∙ 09/06/2021

Finding Counterexamples of Temporal Logic properties in Software Implementations via Greybox Fuzzing

Software model checking is a verification technique which is widely used...

0 Ruijie Meng, et al. ∙

∙ 08/30/2021

How to trust auto-generated code patches? A developer survey and empirical assessment of existing program repair tools

Automated program repair is an emerging technology that seeks to automat...

0 Yannic Noller, et al. ∙

∙ 08/05/2021

HIPPODROME: Data Race Repair using Static Analysis Summaries

Implementing bug-free concurrent programs is a challenging task in moder...

0 Andreea Costea, et al. ∙

∙ 06/30/2021

Verifix: Verified Repair of Programming Assignments

Automated feedback generation for introductory programming assignments i...

0 Umair Z. Ahmed, et al. ∙

∙ 11/22/2020

Fairness-guided SMT-based Rectification of Decision Trees and Random Forests

Data-driven decision making is gaining prominence with the popularity of...

0 Jiang Zhang, et al. ∙

∙ 08/11/2020

Localizing Patch Points From One Exploit

Automatic patch generation can significantly reduce the window of exposu...

0 Shiqi Shen, et al. ∙

∙ 06/17/2020

Synthesizing Tasks for Block-based Programming

Block-based visual programming environments play a critical role in intr...

0 Umair Z. Ahmed, et al. ∙

∙ 05/21/2020

Concurrency-related Flaky Test Detection in Android apps

Validation of Android apps via testing is difficult owing to the presenc...

0 Zhen Dong, et al. ∙

∙ 12/12/2019

Smart Contract Repair

Smart contracts are automated or self-enforcing contracts that can be us...

0 Xiao Liang Yu, et al. ∙

∙ 09/02/2019

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution

Spectre attacks disclosed in early 2018 expose data leakage scenarios vi...

0 Guanhua Wang, et al. ∙

∙ 11/23/2018

Smart Greybox Fuzzing

Coverage-based greybox fuzzing (CGF) is one of the most successful metho...

0 Van-Thuan Pham, et al. ∙

∙ 07/16/2018

oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis

The Spectre vulnerability in modern processors has been reported earlier...

0 Guanhua Wang, et al. ∙

∙ 07/16/2018

oo7: Low-overhead Defense against Spectre Attacks

The Spectre vulnerability in modern processors has been reported earlier...

0 Guanhua Wang, et al. ∙

∙ 07/12/2018

Symbolic Verification of Cache Side-channel Freedom

Cache timing attacks allow third-party observers to retrieve sensitive i...

0 Sudipta Chattopadhyay, et al. ∙

∙ 07/02/2018

Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution

Symbolic execution is a powerful technique for program analysis. However...

0 Shiqi Shen, et al. ∙

∙ 07/02/2018

BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves

New trusted computing primitives such as Intel SGX have shown the feasib...

0 Shweta Shinde, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world