Huascar Sanchez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2012–2016
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CAV | JayHorn: A Framework for Verifying Java programs. | Temesghen Kahsai, Philipp Rmmer, Huascar Sanchez, Martin Schf |
| 2016 | DIGRA | Design Lessons From Binary Fission: A Crowd Sourced Game for Precondition Discovery. | Kate Compton, Heather Logas, Joseph C. Osborn, Chandranil Chakraborttii, Kelsey Coffman, Daniel Fava, Dylan Lederle-Ensign, Zhongpeng Lin, Jo Mazeika, Afshin Mobramaein, Johnathan Pagnutti, Huascar Sanchez, Jim Whitehead, Brenda Laurel |
| 2016 | ICSR | Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel. | Wenchao Li, Hossein Saidi, Huascar Sanchez, Martin Schf, Pascal Schweitzer |
| 2016 | SOUPS | Putting Your Passwords on Self-destruct Mode: Beating Password Fatigue. | Huascar Sanchez, John T. Murray |
| 2015 | ICSE | Source Code Curation on StackOverflow: The Vesperin System. | Huascar Sanchez, Jim Whitehead |
| 2014 | FDG | Xylem: The Code of Plants. | Heather Logas, Jim Whitehead, Michael Mateas, Richard Vallejos, Lauren Scott, John T. Murray, Kate Compton, Joseph C. Osborn, Orlando Salvatore, Daniel G. Shapiro, Zhongpeng Lin, Huascar Sanchez, Michael Shavlovsky, Chris Lewis, Daniel Cetina, Shayne Clementi |
| 2014 | FDG | Software verification games: Designing Xylem, The Code of Plants. | Heather Logas, Jim Whitehead, Michael Mateas, Richard Vallejos, Lauren Scott, Daniel G. Shapiro, John T. Murray, Kate Compton, Joseph C. Osborn, Orlando Salvatore, Zhongpeng Lin, Huascar Sanchez, Michael Shavlovsky, Daniel Cetina, Shayne Clementi, Chris Lewis |
| 2013 | ICSE | SNIPR: complementing code search with code retargeting capabilities. | Huascar Sanchez |
| 2012 | SIGMOD | Kaizen: a semi-automatic index advisor. | Ivo Jimenez, Huascar Sanchez, Quoc Trung Tran, Neoklis Polyzotis |