Quantitative Symbolic Partial Equivalence Analysis.
Authors: Laboni Sarker, Abdus Satter, Tevfik Bultan.
International Conference on Software Engineering and Formal methods (SEFM'25) [Under Submission].

Hybrid Equivalence/Non-equivalence Testing.
Authors: Laboni Sarker, Tevfik Bultan.
In Proceedings of the 18th IEEE International Conference on Software Testing, Verification and Validation (ICST '25).
[Paper]

Quantitative Symbolic Non-Equivalence Analysis.
Authors: Laboni Sarker, Tevfik Bultan.
In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE '24).
[Paper]

STASE: Static Analysis Guided Symbolic Execution for UEFI Vulnerability Signature Generation.
Authors: Md Shafiuzzaman, Achintya Desai, Laboni Sarker, and Tevfik Bultan.
In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE '24).
[Paper]

Quantitative Symbolic Similarity Analysis.
Authors: Laboni Sarker.
In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023).
[Paper]

Rare Path Guided Fuzzing.
Authors: Seemanta Saha, Laboni Sarker, Md Shafiuzzaman, Chaofan Shou, Albert Li, Ganesh Sankaran, and Tevfik Bultan.
In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023).
[Paper]

Coeus: A System for Oblivious Document Ranking and Retrieval.
Authors: Ishtiyaque Ahmad, Laboni Sarker, Divyakant Agrawal, Amr El Abbadi, and Trinabh Gupta.
In Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles (SOSP '21).
[Paper]

COVID-DenseNet: A Deep Learning Architecture to Detect COVID-19 from Chest Radiology Images.
Authors: Md Mohaiminul Islam, Tanveer Hannan, Laboni Sarker, and Zakaria Ahmed.
In Proceedings of the 3rd International Conference on Data Science and Applications (ICDSA '22).
[Paper]

A Graph Theoretic Approach for Maximizing Target Coverage using Minimum Directional Sensors in Randomly Deployed Wireless Sensor Networks.
Authors: Laboni Sarker, Sakshar Chakravarty, and Ashikur Rahman.
In Proceedings of the 5th International Conference on Networking, Systems and Security (NSysS '18).
[Paper]

Syntactic Robustness for LLM-based Code Generation.
Authors: Laboni Sarker, Mara Downing, Achintya Desai, and Tevfik Bultan.
In arXiv preprint.
[Paper]

Technically Speaking : How continuous fuzzing secures software while increasing developer productivity.
Zhen Yu Ding, Laboni Sarker (Research Contributor).
In Motional News Portal.
[Link]