Falling Back on Executable Specifications. - Hesam Samimi; Ei Darli Aung; Todd D. Millstein (ECOOP, 2010)

Specification-based sketching with Sketch. - Hesam Samimi; Kaushik Rajan (FTfJP@ECOOP, 2011)

Automated repair of HTML generation errors in PHP applications using string constraint solving. - Hesam Samimi; Max Schäfer; Shay Artzi; Todd D. Millstein; Frank Tip; Laurie J. Hendren (ICSE, 2012)

Declarative mocking. - Hesam Samimi; Rebecca Hicks; Ari Fogel; Todd D. Millstein (ISSTA, 2013)

From Validation to Automated Repair & Beyond with Constraint Solving. - Hesam Samimi (2013)

Call by Meaning. - Hesam Samimi; Chris Deaton; Yoshiki Ohshima; Alessandro Warth; Todd D. Millstein (Onward!, 2014)

Constraints as a design pattern. - Hesam Samimi; Alessandro Warth; Mahdi Eslamimehr; Alan Borning (Onward!, 2015)

Timing Analysis of Event-Driven Programs with Directed Testing. - Mahdi Eslamimehr; Hesam Samimi (WCET, 2015)