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; compilersGoogle:
"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
See more...
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. |
| 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, 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 |