Mahdi Eslamimehr

Affiliations:
  • Y Combinator Research, USA
  • UCLA, USA (former)


According to our database1, Mahdi Eslamimehr authored at least 10 papers between 2013 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Efficient detection and validation of atomicity violations in concurrent programs.
J. Syst. Softw., 2018

Recognising and Generating Terms using Derivatives of Parsing Expression Grammars.
CoRR, 2018

2016
Retargetable Communication for Distributed Programs.
Proceedings of the 12th International ACM SIGSOFT Conference on Quality of Software Architectures, 2016

2015
Timing Analysis of Event-Driven Programs with Directed Testing.
Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015

Constraints as a design pattern.
Proceedings of the 2015 ACM International Symposium on New Ideas, 2015

AtomChase: Directed search towards atomicity violations.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

2014
Directed Testing of Event-Driven and Parallel Programs.
PhD thesis, 2014

Sherlock: scalable deadlock detection for concurrent programs.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Race directed scheduling of concurrent programs.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

2013
Testing versus Static Analysis of Maximum Stack Size.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013


  Loading...