Publications

Conference Papers

STADA: Specification-based Testing for Autonomous Driving Agents

Joy Saha, Trey Woodlief, Sebastian Elbaum, Matthew B. Dwyer

Published in IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2026), 2026

STADA systematically generates scenarios for testing autonomous driving agents from a formal specification expressed in temporal logic (LTLf), achieving more than 2x higher coverage than the best baseline while requiring far fewer simulations.

The Fault in our Stars: Quality Assessment of Code Generation Benchmarks

Mohammed Latif Siddiq, Simantika Dristi, Joy Saha, Joanna C. S. Santos

Published in 24th IEEE International Conference on Source Code Analysis and Manipulation (SCAM 2024), 2024

A study of 3,566 prompts across 9 code generation benchmarks, showing widespread prompt-quality issues that measurably affect model performance and raise data-contamination concerns.

Preprints

Probabilistic Clustering of Cells Using Single-Cell RNA-Seq Data

Joy Saha, Ridwanul Hasan Tanvir, Md. Abul Hassan Samee, Atif Rahman

Published in bioRxiv preprint, 2023

A generative, probabilistic clustering method for single-cell RNA-seq data that handles dropout events and works without prior marker-gene information.

You can also find my articles on my Google Scholar profile.