Hesam Samimi

According to our database, Hesam Samimi authored at least 8 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Timing Analysis of Event-Driven Programs with Directed Testing.

Mahdi Eslamimehr, Hesam Samimi

Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015

Constraints as a design pattern.

Hesam Samimi, Alessandro Warth, Mahdi Eslamimehr, Alan Borning

Proceedings of the 2015 ACM International Symposium on New Ideas, 2015

2014

Call by Meaning.

Hesam Samimi, Chris Deaton, Yoshiki Ohshima, Alessandro Warth, Todd D. Millstein

Proceedings of the Onward! 2014, 2014

2013

From Validation to Automated Repair & Beyond with Constraint Solving.

Hesam Samimi

PhD thesis, 2013

Declarative mocking.

Hesam Samimi, Rebecca Hicks, Ari Fogel, Todd D. Millstein

Proceedings of the International Symposium on Software Testing and Analysis, 2013

2012

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

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Specification-based sketching with Sketch.

Hesam Samimi, Kaushik Rajan

Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011

2010

Falling Back on Executable Specifications.

Hesam Samimi, Ei Darli Aung, Todd D. Millstein

Proceedings of the ECOOP 2010, 2010