Mahdi Eslamimehr

15 papers A* 1A 1B 2Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Hybrid Concolic Testing with Large Language Models for Guided Path Exploration.
CoRR
Mahdi Eslamimehr
2026 J jnl
Synergistic Directed Execution and LLM-Driven Analysis for Zero-Day AI-Generated Malware Detection.
CoRR
George Edwards, Mahdi Eslamimehr
2025 — conf
LightBench: A Hardware-Aware Trusted Execution Platform for Intelligent Malware Detection at the Edge.
ACM Great Lakes Symposium on VLSI
Ning Miao, Hossein Sayadi, Kumara Srivatsa Kondapalli, Mahdi Eslamimehr, Houman Homayoun
2025 — conf
Navigating the Trilemma: Security, Power, and Performance Trade-Offs in Bluetooth Low Energy.
ISQED
Ning Miao, Chongzhou Fang, Ruijie Fang, Ruoyu Zhang, Mahdi Eslamimehr, Setareh Rafatirad, Hossein Sayadi, Houman Homayoun
2024 J jnl
APEX: Attention on Personality based Emotion ReXgnition Framework.
CoRR
Ruijie Fang, Ruoyu Zhang, Elahe Hosseini, Chongzhou Fang, Mahdi Eslamimehr, Setareh Rafatirad, Houman Homayoun
2024 A* conf
Architectural Whispers: Robust Machine Learning Models Fingerprinting via Frequency Throttling Side-Channels.
DAC
Najmeh Nazari, Chongzhou Fang, Hosein Mohammadi Makrani, Behnam Omidi, Mahdi Eslamimehr, Setareh Rafatirad, Avesta Sasan, Hossein Sayadi, Khaled N. Khasawneh, Houman Homayoun
2018 J jnl
Efficient detection and validation of atomicity violations in concurrent programs.
J. Syst. Softw.
Mahdi Eslamimehr, Mohsen Lesani, George Edwards
2018 J jnl
Recognising and Generating Terms using Derivatives of Parsing Expression Grammars.
CoRR
Tony Garnock-Jones, Mahdi Eslamimehr, Alessandro Warth
2016 — conf
Retargetable Communication for Distributed Programs.
QoSA
Oren Freiberg, Jens Palsberg, Mahdi Eslamimehr
2015 A conf
AtomChase: Directed search towards atomicity violations.
ISSRE
Mahdi Eslamimehr, Mohsen Lesani
2015 — conf
Constraints as a design pattern.
Onward!
Hesam Samimi, Alessandro Warth, Mahdi Eslamimehr, Alan Borning
2015 — conf
Timing Analysis of Event-Driven Programs with Directed Testing.
WCET
Mahdi Eslamimehr, Hesam Samimi
2014 B conf
Race directed scheduling of concurrent programs.
PPoPP
Mahdi Eslamimehr, Jens Palsberg
2014 — conf
Sherlock: scalable deadlock detection for concurrent programs.
SIGSOFT FSE
Mahdi Eslamimehr, Jens Palsberg
2013 B conf
Testing versus Static Analysis of Maximum Stack Size.
COMPSAC
Mahdi Eslamimehr, Jens Palsberg