Hesam Samimi, Ph.D.

Affiliations: 
2013 Computer Science 0201 University of California, Los Angeles, Los Angeles, CA 
Area:
programming language design; static type systems; program analysis; software model checking; formal methods; compilers
Google:
"Hesam Samimi"

Parents

Sign in to add mentor
Todd Millstein grad student 2013 UCLA
 (From Validation to Automated Repair & Beyond with Constraint Solving.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Eslamimehr M, Samimi H. (2015) Timing analysis of event-driven programs with directed testing Openaccess Series in Informatics. 47: 21-31
Samimi H, Warth A, Eslamimehr M, et al. (2015) Constraints as a design pattern Onward! 2015 - Proceedings of the 2015 Acm International Symposium On New Ideas, New Paradigms, and Reflections On Programming and Software, Part of Splash 2015. 28-43
Samimi H, Deaton C, Ohshima Y, et al. (2014) Call by meaning Onward! 2014 - Proceedings of the 2014 Acm International Symposium On New Ideas, New Paradigms, and Reflections On Programming and Software, Part of Splash 2014. 11-28
Samimi H, Hicks R, Fogel A, et al. (2013) Declarative mocking 2013 International Symposium On Software Testing and Analysis, Issta 2013 - Proceedings. 246-256
Samimi H, Rajan K. (2011) Specification-based sketching with Sketch# Ecoop 2011 Workshop Proceedings - 13th Workshop On Formal Techniques For Java-Like Programs, Ftfjp 2011
Samimi H, Aung ED, Millstein T. (2010) Falling back on executable specifications Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6183: 552-576
See more...