Sherlock: scalable deadlock detection for concurrent programs M Eslamimehr, J Palsberg Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 81 | 2014 |
Race Directed Scheduling of Concurrent Programs M Eslamimehr, J Palsberg PPOPP, 2014 | 53 | 2014 |
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 | 12 | 2018 |
The Survey of Model Based Testing and Industrial Tools M Eslamimehr Master Thesis, Linköping University, 2008 | 11 | 2008 |
Testing versus static analysis of maximum stack size M Eslamimehr, J Palsberg 2013 IEEE 37th Annual Computer Software and Applications Conference, 619-626, 2013 | 9 | 2013 |
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 | 4 | 2015 |
AtomChase: Directed search towards atomicity violations M Eslamimehr, M Lesani 2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015 | 3 | 2015 |
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 |
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 | | 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 |