Publications
International Conferences
(2026) Xuyang Li, Jiahao Xia, Ahmed Adnan, Jingbo Wang, "PSoufflé: Scaling Exact Probabilistic Logic Inference for Program Analysis", at the 26th International Conference on Formal Methods in Computer-Aided Design (FMCAD'26) [pdf] [artifact]
(2026) Ahmed Adnan, Mushfiqur Rahman, Antu Saha, Oscar Chaparro, "Rethinking Issue Resolution for AI/ML Systems", at the 42nd IEEE International Conference on Software Maintenance and Evolution (ICSME'26) [pdf]
(2025) Ahmed Adnan, Mushfiqur Rahman, Saad Sakib Noor, Kazi Sakib, "CLARA: A Developer's Companion for Code Comprehension and Analysis", at the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE'25) [pdf] [tool_repository]
(2025) Ahmed Adnan, Antu Saha, Oscar Chaparro, "SPRINT: An Assistant for Issue Report Management", at the 22nd IEEE/ACM International Conference on Mining Software Repositories (MSR'25) [ pdf ] [ tool repository ] [ GitHub Application ]
Journals:
(2026) Debobrata Chakraborty, Ahmed Adnan, Emon Kumar Dey, "Urban LiDAR Point Cloud Segmentation Using Multi-Level Stacked Learning With Counterfactual Guided Minority Class Enhancement", at IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing (J-STARS) [Q1, IF: 6.3] [pdf_to_come]
Papers Currently Under Review:
(2026) Tory Park, Ahmed Adnan, Tanusree Sharma, "Missed, Mistaken, and Inaccessible: How People Across Vision Abilities Navigate AI-Generated Content Disclosures", under review at the 45th ACM Conference on Human Factors in Computing Systems (CHI'27)
(2026) Tanusree Sharma, Anish Krishnagiri, Lili Dudas, Ahmed Adnan, Visar Berisha, "V.O.I.C.E (Voice, Ownership, Identity, Control, Expression): Risk Taxonomy of Synthetic Voice Generation From Empirical Data", under review at the 35th USENIX Security Symposium (EACL'27).
Ongoing Research Projects
Analysis of Community Signals to Infer Provenance Cues and Better Navigation of AI-generated Content on YouTube
Advisor: Dr. Tanusree Sharma
A Google-funded research project on large-scale assessment of community signals of Deepfake/AI-generated content (AIGC) on social media platforms.
Currently leading a research project and have developed a tool to provide provenance cues and security-related information by analyzing community signals of AIGC.
Voice Data Risk Taxonomy & Benchmarking
Advisor: Dr. Tanusree Sharma
Currently working on a research project regarding preparing a risk taxonomy by annotating voice actor data. This taxonomy is utilized to create a threat model and a multimodal data benchmarking.
Software Projects
Pharmasync
An Optimized Solution to ensure Security and Transparency in Pharmaceutical Supply Chains using Decentralized Hybrid Blockchain.
Technical Skills: Next.JS, Hedera Hashgraph, Hyperledger Indy, Solidity, IPFS
E-School
A web platform for students and teachers offering class updates, study material sharing, automated online class management, exam management and evaluation.
Technical Skills: Python, Django, JavaScript, React, SQLite3
Routine Dynamics
An application that generates and dynamically adjusts personalized study plans based on students' details (past results, study hours, IQ, and target grade)
Technical Skills: Java, JavaFX, Inferential Statistical algorithms
SPRINT
(iSsue rePoRt assIstaNT)
A GitHub plugin tool for Bug Report(Issue) management with duplicate issue detection, issue severity prediction, and bug localization
Samsung Medison's Ultrasound Medical Imaging Project
Automated Breast Tumor & Lesion Detection & Classification from Ultrasound Image Stream
Automated Bengali Text to IPA Transcription
A technique to generate IPA transcription from Bengali Text based on Phonetics
Improved DLS Method for Score Prediction
Improved the existing DLS method for ODI
cricket using Regression analysis