Follow
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
1192011
JayHorn: A Framework for Verifying Java programs
T Kahsai, P Rümmer, H Sanchez, M Schäf
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
972016
Detecting similar programs via the Weisfeiler-Leman graph kernel
W Li, H Saidi, H Sanchez, M Schäf, P Schweitzer
Software Reuse: Bridging with Social-Awareness: 15th International …, 2016
372016
Software patterns, knowledge maps, and domain analysis
M Fayad, HA Sanchez, SGK Hegde, A Basia, A Vakil
CRC Press, 2015
362015
Software verification games: Designing Xylem, The Code of Plants.
H Logas, J Whitehead, M Mateas, R Vallejos, L Scott, DG Shapiro, ...
FDG, 2014
332014
Towards scalable and adaptable software architectures
ME Fayad, HS Hamza, HA Sanchez
IRI-2005 IEEE International Conference on Information Reuse and Integration …, 2005
152005
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
152003
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
112012
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
92016
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
Knowledge Maps-Fundamentally Modular Approach to Software Architecture, Design, Development and Deployment.
ME Fayad, HA Sánchez, SK Singh
SEDE, 127-133, 2010
72010
DesCert: Design for certification
N Shankar, D Bhatt, M Ernst, M Kim, S Varadarajan, S Millstein, J Navas, ...
arXiv preprint arXiv:2203.15178, 2022
62022
Source code curation on StackOverflow: the vesperin system
H Sanchez, J Whitehead
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
62015
SNIPR: Complementing code search with code retargeting capabilities
HA Sanchez
2013 35th International Conference on Software Engineering (ICSE), 1423-1426, 2013
62013
The sampling analysis pattern
HA Sánchez, B Lai, ME Fayad
Proceedings Fifth IEEE Workshop on Mobile Computing Systems and Applications …, 2003
62003
Design Lessons From Binary Fission: A Crowd Sourced Game for Precondition Discovery.
K Compton, H Logas, JC Osborn, C Chakraborttii, K Coffman, D Fava, ...
DiGRA/FDG, 2016
52016
Towards Scalable Software Architectures
ME Fayad, HS Hamza, HA Sanchez
IEEE International Conference on Information Reuse and Integration, Las …, 2004
52004
Intelligent collaborative project management
DJ Sanchez, H Sanchez, H Saidi
US Patent 11,610,173, 2023
42023
Leveraging Team Dynamics to Predict Open-source Software Projects' Susceptibility to Social Engineering Attacks
L Giovanini, D Oliveira, H Sanchez, D Shands
arXiv preprint arXiv:2106.16067, 2021
42021
The system can't perform the operation now. Try again later.
Articles 1–20