Travelled to:1 × Slovenia
1 × USA
2 × Switzerland
Collaborated with:T.D.Millstein A.Warth E.D.Aung M.Eslamimehr A.Borning R.Hicks A.Fogel C.Deaton Y.Ohshima M.Schäfer S.Artzi F.Tip L.J.Hendren
Talks about:constraint (2) pattern (1) generat (1) string (1) specif (1) repair (1) execut (1) design (1) declar (1) applic (1)
Person: Hesam Samimi
DBLP: Samimi:Hesam
Contributed to:
20152014
2013
2012
2010Wrote 5 papers:
- Onward-2015-SamimiWEB #constraints #design pattern
- Constraints as a design pattern (HS, AW, ME, AB), pp. 28–43.
- Onward-2014-SamimiDOWM #call-by
- Call by Meaning (HS, CD, YO, AW, TDM), pp. 11–28.
- ISSTA-2013-SamimiHFM #declarative
- Declarative mocking (HS, RH, AF, TDM), pp. 246–256.
- ICSE-2012-SamirniSAMTH #automation #constraints #fault #generative #html #php #string #theorem proving #using
- Automated repair of HTML generation errors in PHP applications using string constraint solving (HS, MS, SA, TDM, FT, LJH), pp. 277–287.
- ECOOP-2010-SamimiAM #execution #specification
- Falling Back on Executable Specifications (HS, EDA, TDM), pp. 552–576.