Follow
Huascar Sanchez
Title
Cited by
Cited by
Year
Twitter bullying detection
H Sanchez, S Kumar
ser. NSDI 12 (2011), 15, 2011
1212011
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
1082016
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
342014
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
162003
Towards scalable and adaptable software architectures
ME Fayad, HS Hamza, HA Sanchez
IRI-2005 IEEE International Conference on Information Reuse and Integration …, 2005
152005
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
122012
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 Chakrabortti, K Coffman, D Fava, ...
Proceedings of DiGRA/FDG 2016 Conference, 2016
52016
Towards Scalable Software Architectures
ME Fayad, HS Hamza, HA Sanchez
IEEE International Conference on Information Reuse and Integration, Las …, 2004
52004
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
Knowledge Maps
ME Fayad, H Sanchez
Book, In progress, 2013
42013
The system can't perform the operation now. Try again later.
Articles 1–20