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
-
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