Travelled to:1 × Italy
2 × USA
Collaborated with:J.Whitehead ∅ I.Jimenez Q.T.Tran N.Polyzotis T.Kahsai P.Rümmer M.Schäf Heather Logas M.Mateas Richard Vallejos Lauren Scott John T. Murray Kate Compton Joseph C. Osborn Orlando Salvatore D.G.Shapiro Z.Lin Michael Shavlovsky Chris Lewis 0002 Daniel Cetina Shayne Clementi
Talks about:code (5) xylem (2) plant (2) complement (1) framework (1) vesperin (1) retarget (1) overflow (1) softwar (1) program (1)
Person: Huascar Sanchez
DBLP: Sanchez:Huascar
Contributed to:
20152013
2012
2016
2014Wrote 6 papers:
- ICSE-v2-2015-SanchezW #source code #stack overflow
- Source Code Curation on StackOverflow: The Vesperin System (HS, JW), pp. 661–664.
- ICSE-2013-Sanchez04a #code search #named
- SNIPR: complementing code search with code retargeting capabilities (HS), pp. 1423–1426.
- SIGMOD-2012-JimenezSTP #automation #named
- Kaizen: a semi-automatic index advisor (IJ, HS, QTT, NP), pp. 685–688.
- CAV-2016-KahsaiRSS #framework #java #named #source code #verification
- JayHorn: A Framework for Verifying Java programs (TK, PR, HS, MS), pp. 352–358.
- FDG-2014-LogasWMVSMCOSSL #named
- Xylem: The Code of Plants (HL, JW, MM, RV, LS, JTM, KC, JCO, OS, DGS, ZL, HS, MS, CL0, DC, SC).
- FDG-2014-LogasWMVSSMCOSL #design #game studies #verification
- Software verification games: Designing Xylem, The Code of Plants (HL, JW, MM, RV, LS, DGS, JTM, KC, JCO, OS, ZL, HS, MS, DC, SC, CL0).