Mahdi Eslamimehr

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 6

Top Topics

Static Analysis

Directed Search

Concurrent Programs

Top Venues

Publications

Mahdi Eslamimehr, Mohsen Lesani, George Edwards
Efficient detection and validation of atomicity violations in concurrent programs. J. Syst. Softw. 137 (2018)
Tony Garnock-Jones, Mahdi Eslamimehr, Alessandro Warth
Recognising and Generating Terms using Derivatives of Parsing Expression Grammars. CoRR (2018)
Oren Freiberg, Jens Palsberg, Mahdi Eslamimehr
Retargetable Communication for Distributed Programs. QoSA (2016)
Mahdi Eslamimehr, Mohsen Lesani
AtomChase: Directed search towards atomicity violations. ISSRE (2015)
Mahdi Eslamimehr, Hesam Samimi
Timing Analysis of Event-Driven Programs with Directed Testing. WCET (2015)
Hesam Samimi, Alessandro Warth, Mahdi Eslamimehr, Alan Borning
Constraints as a design pattern. Onward! (2015)
Mahdi Eslamimehr, Jens Palsberg
Sherlock: scalable deadlock detection for concurrent programs. SIGSOFT FSE (2014)
Mahdi Eslamimehr, Jens Palsberg
Race directed scheduling of concurrent programs. PPOPP (2014)
Mahdi Eslamimehr, Jens Palsberg
Testing versus Static Analysis of Maximum Stack Size. COMPSAC (2013)