Huascar Sanchez
Huascar Sanchez
Computer Scientist @ SRI International
Verified email at sri.com - Homepage
Title
Cited by
Cited by
Year
Twitter bullying detection
H Sanchez, S Kumar
ser. NSDI 12 (2011), 15, 2011
822011
JayHorn: A framework for verifying Java programs
T Kahsai, P Rümmer, H Sanchez, M Schäf
International Conference on Computer Aided Verification, 352-358, 2016
572016
Detecting similar programs via the Weisfeiler-Leman graph kernel
W Li, H Saidi, H Sanchez, M Schäf, P Schweitzer
International conference on software reuse, 315-330, 2016
322016
Software verification games: Designing Xylem, The Code of Plants.
H Logas, J Whitehead, M Mateas, R Vallejos, L Scott, DG Shapiro, ...
FDG, 2014
302014
Software patterns, knowledge maps, and domain analysis
M Fayad, HA Sanchez, SGK Hegde, A Basia, A Vakil
CRC Press, 2015
282015
A pattern for an effective class responsibility collaborator (CRC) cards
ME Fayad, H Hamza, H Sánchez
Proceedings Fifth IEEE Workshop on Mobile Computing Systems and Applications …, 2003
132003
Towards scalable and adaptable software architectures
ME Fayad, HS Hamza, HA Sanchez
IRI-2005 IEEE International Conference on Information Reuse and Integration …, 2005
122005
Benchmarking Online Index-Tuning Algorithms.
I Jimenez, J LeFevre, N Polyzotis, H Sanchez, K Schnaitter
IEEE Data Eng. Bull. 34 (4), 28-35, 2011
92011
APattern LANGUAGE FOR CRC CARDS
M Fayad, H Sánchez, H Hamza
Proceedings of Pattern Language of Programs, 2004
82004
Multistaging to understand: Distilling the essence of java code examples
H Sanchez, J Whitehead, M Schäf
2016 IEEE 24th International Conference on Program Comprehension (ICPC), 1-10, 2016
72016
Kaizen: a semi-automatic index advisor
I Jimenez, H Sanchez, QT Tran, N Polyzotis
Proceedings of the 2012 ACM SIGMOD International Conference on Management of …, 2012
72012
Knowledge Maps-Fundamentally Modular Approach to Software Architecture, Design, Development and Deployment.
ME Fayad, HA Sánchez, SK Singh
SEDE, 127-133, 2010
72010
The sampling analysis pattern
HA Sánchez, B Lai, ME Fayad
Proceedings Fifth IEEE Workshop on Mobile Computing Systems and Applications …, 2003
62003
Source code curation on stackoverflow: The vesperin system
H Sanchez, J Whitehead
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
52015
Towards Scalable Software Architectures
ME Fayad, HS Hamza, HA Sanchez
IEEE International Conference on Information Reuse and Integration, Las …, 2004
52004
Snipr: Complementing code search with code retargeting capabilities
HA Sanchez
2013 35th International Conference on Software Engineering (ICSE), 1423-1426, 2013
42013
Knowledge Maps
ME Fayad, H Sanchez
Book, In progress, 2013
42013
The Automation Analysis Pattern
ME Fayad, GR Cangiano, HA Sanchez
Stable Analysis Patterns: A True Problem Understanding with UML, 48, 2004
32004
Putting your passwords on self-destruct mode: Beating password fatigue
H Sanchez, J Murray
Twelfth Symposium on Usable Privacy and Security ({SOUPS} 2016), 2016
22016
Xylem: The Code of Plants.
H Logas, J Whitehead, M Mateas, R Vallejos, L Scott, JT Murray, ...
FDG, 2014
12014
The system can't perform the operation now. Try again later.
Articles 1–20