Roham Koohestani

Memory-Constrained Probabilistic Trace Models for Agentic AI under review

Roham Koohestani, Ziyou Li, Anton Podkopaev, Maliheh Izadi

Formal Aspects of Computing (FAC) · first author

arXiv code

TriCEGAR: A Trace-Driven Abstraction Mechanism for Agentic AI under review

Roham Koohestani, Ateş Görpelioğlu, Egor Klimov, Burcu Kulahcioglu Ozkan, Maliheh Izadi

Preprint · co-first author

arXiv artifact

AST-PAC: AST-guided Membership Inference for Code

Roham Koohestani, Ali Al-Kaswan, Jonathan Katzy, Maliheh Izadi

FSE Companion 2026 (IVR Track) · first author · from bachelor thesis

DOI artifact

Does In-IDE Calibration of Large Language Models Work at Scale?

Roham Koohestani, Agnia Sergeyuk, David Gros, Claudio Spiess, Sergey Titov, Prem Devanbu, Maliheh Izadi

FSE Companion 2026 (Industry Track) · co-first author

DOI arXiv artifact

Code4Me V2: A Research-oriented Code-completion Platform

Roham Koohestani, Parham Bateni, Aydin Ebrahimi, Behdad Etezadi, Kiarash Karimi, Maliheh Izadi

ICSE Companion 2026 (Demonstrations) · co-first author

DOI arXiv platform

Benchmarking AI Models in Software Engineering: A Review, Search Tool, and Enhancement Protocol

Roham Koohestani, Philippe de Bekker, Begüm Koç, Maliheh Izadi

IEEE Transactions on Software Engineering (journal-first at FSE 2026) · first author

arXiv code BenchScout

AgentGuard: Runtime Verification of AI Agents

Roham Koohestani

ASE 2025 Workshops (SE Agents) · sole author

DOI arXiv

HyperSeq: A Hyper-Adaptive Representation for Predictive Sequencing of States

Roham Koohestani, Maliheh Izadi

FSE Companion 2025 · first author

DOI code

Rethinking IDE Customization for Enhanced HAX: A Hyperdimensional Perspective

Roham Koohestani, Maliheh Izadi

IDE Workshop 2025 (co-located with ICSE) · first author

DOI

Leveraging Large Language Models for Enhancing the Understandability of Generated Unit Tests

Amirhossein Deljouyi, Roham Koohestani, Maliheh Izadi, Andy Zaidman

ICSE 2025 · second author

arXiv code