Arindam is a Doctoral Student in the Software Reliability Group at Imperial College London. He joined the group after completing his MSc. in Computer Science from the University of Oxford.
His research interests include software verification, software security and machine learning.
Group Publications
-
Generating and Contributing Test Cases for C Libraries from Client Code: A Case Study
Ahmed Zaki, Arindam Sharma, Cristian Cadar
IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2025)
-
Effective Fuzzing within CI/CD Pipelines (Registered Report)
Arindam Sharma, Cristian Cadar, Jonathan Metzman
International Fuzzing Workshop (FUZZING 2024)
-
GrayC: Greybox Fuzzing of Compilers and Analysers for C
Karine Even-Mendoza, Arindam Sharma, Alastair Donaldson, Cristian Cadar
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
-
Patch Specifications via Product Programs
Cristian Cadar, Daniel Schemmel, Arindam Sharma
2023 International Conference on Formal Methods in Software Engineering (FormaliSE 2023)
Talks
-
GrayC: Greybox Fuzzing of Compilers and Analysers for C
Talk @ ISSTA 2023