BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sanchez:Huascar

Contributed to:

ICSE 20152015
ICSE 20132013
SIGMOD 20122012
CAV (1) 20162016
FDG 20142014

Wrote 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).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.