Follow
Mahdi Eslamimehr
Mahdi Eslamimehr
Quandary Peak Research
Verified email at ucla.edu
Title
Cited by
Cited by
Year
Sherlock: scalable deadlock detection for concurrent programs
M Eslamimehr, J Palsberg
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
782014
Race Directed Scheduling of Concurrent Programs
M Eslamimehr, J Palsberg
PPOPP, 2014
522014
Efficient detection and validation of atomicity violations in concurrent programs
M Eslamimehr, M Lesani, G Edwards
Journal of Systems and Software 137, 618-635, 2018
102018
The Survey of Model Based Testing and Industrial Tools
M Eslamimehr
Master Thesis, Linköping University, 2008
102008
Testing versus static analysis of maximum stack size
M Eslamimehr, J Palsberg
2013 IEEE 37th Annual Computer Software and Applications Conference, 619-626, 2013
92013
Recognising and Generating Terms using Derivatives of Parsing Expression Grammars
AW Tony Garnock-Jones, Mahdi Eslamimehr
http://arxiv.org/abs/1801.10490, 2018
7*2018
Constraints as a design pattern
H Samimi, A Warth, M Eslamimehr, A Borning
2015 ACM International Symposium on New Ideas, New Paradigms, and …, 2015
42015
AtomChase: Directed search towards atomicity violations
M Eslamimehr, M Lesani
2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015
32015
Timing Analysis of Event-Driven Programs with Directed Testing
M Eslamimehr, H Samimi
15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015), 2015
12015
Retargetable Communication for Distributed Programs
O Freiberg, J Palsberg, M Eslamimehr
2016 12th International ACM SIGSOFT Conference on Quality of Software …, 2016
2016
End-to-End Cross-Language Test Case Generation for Web Applications
M Eslamimehr, G Edwards
9th EAI International Conference on Performance Evaluation Methodologies and …, 2015
2015
Race Directed Scheduling of Concurrent Program
M Eslamimehr, J Palsberg
US Patent App. 61/904,977, 2014
2014
Directed Testing of Event-Driven and Parallel Programs
MM Eslamimehr
University of California, Los Angeles, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–13