(Updated October 2025)
Recent Publications
2025
LLM Chemistry Estimation for Multi-LLM Recommendation.
H. Sanchez and B. Hitaj.
ArXiv [Cs.LG]. arXiv:2510.03930 (Under Review)
H. Sanchez and B. Hitaj.
ArXiv [Cs.LG]. arXiv:2510.03930 (Under Review)
Publications
Conference Proceedings
2024
Continuous Safety & Security Evidence Generation, Curation and Assurance Case Construction Using the Evidential Tool Bus.
N. Shankar, M. Kim, H. Sanchez, H. Ruess, T. Beyene, R. Bouchekir, D. Bhatt, S. Varadarajan, A. Murugesan, H. Ren, I. Hong-Wong, K. Siu, S. Varanasi, M. D. Ernst.
43rd AIAA/IEEE Digital Avionics Systems Conference (DASC), 2024.
N. Shankar, M. Kim, H. Sanchez, H. Ruess, T. Beyene, R. Bouchekir, D. Bhatt, S. Varadarajan, A. Murugesan, H. Ren, I. Hong-Wong, K. Siu, S. Varanasi, M. D. Ernst.
43rd AIAA/IEEE Digital Avionics Systems Conference (DASC), 2024.
2016
JayHorn: A Framework for Verifying Java programs.
T. Kahsai, P. Rümmer, H. Sanchez, and M. Schäf
CAV: 28th International Conference on Computer Aided Verification, 2016.
T. Kahsai, P. Rümmer, H. Sanchez, and M. Schäf
CAV: 28th International Conference on Computer Aided Verification, 2016.
2016
Design Lessons From Binary Fission: A Crowd Sourced Game for Precondition Discovery.
K. Compton, H. Logas, J. Osborn, C. Chakrabortti, K. Coffman, D. Fava, D. Lederle-Ensign, Z. Lin, J. Mazeika, A. Mobramaein, J. Pagnutti, H. Sanchez, J. Whitehead, J. Murray, and B. Laurel.
CFDG: 11th International Joint Conference of DiGRA and FDG, 2016.
K. Compton, H. Logas, J. Osborn, C. Chakrabortti, K. Coffman, D. Fava, D. Lederle-Ensign, Z. Lin, J. Mazeika, A. Mobramaein, J. Pagnutti, H. Sanchez, J. Whitehead, J. Murray, and B. Laurel.
CFDG: 11th International Joint Conference of DiGRA and FDG, 2016.
2016
Detecting Similar Programs via the Weisfeiler-Lehman Graph Kernel.
W. Li, H. Saïdi, H. Sanchez, M. Schäf, and P. Schweitzer.
ICSR: 15th International Conference on Software Reuse, 2016.
W. Li, H. Saïdi, H. Sanchez, M. Schäf, and P. Schweitzer.
ICSR: 15th International Conference on Software Reuse, 2016.
2016
Multistaging to Understand: Distilling the Essence of Java Code Examples.
H. Sanchez, J. Whitehead, and M. Schäf.
ICPC: 24th IEEE International Conference on Program Comprehension, 2016.
H. Sanchez, J. Whitehead, and M. Schäf.
ICPC: 24th IEEE International Conference on Program Comprehension, 2016.
2015
Source Code Curation on StackOverflow: The Vesperin System.
H. Sanchez and J. Whitehead.
ICSE: 37th IEEE/ACM International Conference on Software Engineering, 2015.
H. Sanchez and J. Whitehead.
ICSE: 37th IEEE/ACM International Conference on Software Engineering, 2015.
2014
Software Verification Games: Designing Xylem, the Code of Plants.
H. Logas, J. Whitehead, M. Mateas, R. Vallejos, L. Scott, D. Shapiro, J. Murray, K. Compton, J. Osborn, O. Salvatore, Z. Lin, H. Sanchez, M. Shavlovsky, D. Cetina, S. Clementi, and C. Lewis.
FDG: 9th International Conference on the Foundations of Digital Games, 2014.
H. Logas, J. Whitehead, M. Mateas, R. Vallejos, L. Scott, D. Shapiro, J. Murray, K. Compton, J. Osborn, O. Salvatore, Z. Lin, H. Sanchez, M. Shavlovsky, D. Cetina, S. Clementi, and C. Lewis.
FDG: 9th International Conference on the Foundations of Digital Games, 2014.
2014
Xylem: The Code of Plants.
H. Logas, J. Whitehead, M. Mateas, R. Vallejos, L. Scott, D. Shapiro, J. Murray, K. Compton, J. Osborn, O. Salvatore, Z. Lin, H. Sanchez, M. Shavlovsky, C. Lewis, D. Cetina, and S. Clementi.
FDG: 9th International Conference on the Foundations of Digital Games, 2014.
H. Logas, J. Whitehead, M. Mateas, R. Vallejos, L. Scott, D. Shapiro, J. Murray, K. Compton, J. Osborn, O. Salvatore, Z. Lin, H. Sanchez, M. Shavlovsky, C. Lewis, D. Cetina, and S. Clementi.
FDG: 9th International Conference on the Foundations of Digital Games, 2014.
2013
SNIPR: Complementing Code Search with Code Retargeting Capabilities.
H. Sanchez.
ICSE: 35th International Conference on Software Engineering, 2013.
H. Sanchez.
ICSE: 35th International Conference on Software Engineering, 2013.
2012
Kaizen: A Semi-Automatic Index Advisor.
I. Jimenez, H. Sanchez, Q.T. Tran, and N. Polyzotis.
SIGMOD: The 2012 ACM International Conference on Management of Data, 2012.
I. Jimenez, H. Sanchez, Q.T. Tran, and N. Polyzotis.
SIGMOD: The 2012 ACM International Conference on Management of Data, 2012.
2012
Twitter Bullying Detection.
H. Sanchez and S. Kumar.
NSDI: Proceedings of the 8th USENIX Conference on Networked Systems Design and Implementation, 2012.
H. Sanchez and S. Kumar.
NSDI: Proceedings of the 8th USENIX Conference on Networked Systems Design and Implementation, 2012.
2010
Knowledge Maps — Fundamentally Modular Approach to Software Architecture, Design, Development and Deployment.
M. E. Fayad, H.A. Sanchez, and S.K. Singh.
SEDE: 19th International Conference on Software Engineering and Data Engineering, 2010.
M. E. Fayad, H.A. Sanchez, and S.K. Singh.
SEDE: 19th International Conference on Software Engineering and Data Engineering, 2010.
2006
The Branding Analysis Pattern.
M. E. Fayad, H.A. Sanchez, and S.K. Singh.
AICCSA: Proceedings of the IEEE International Conference on Computer Systems and Applications, 2006.
M. E. Fayad, H.A. Sanchez, and S.K. Singh.
AICCSA: Proceedings of the IEEE International Conference on Computer Systems and Applications, 2006.
2005
Towards Scalable and Adaptable Software Architectures.
M.E. Fayad, H.S. Hamza, and H.A. Sanchez.
IRI: The 2005 IEEE International Conference on Information Reuse and Integration, 2005.
M.E. Fayad, H.S. Hamza, and H.A. Sanchez.
IRI: The 2005 IEEE International Conference on Information Reuse and Integration, 2005.
2005
The Dynamic Mapping Design Pattern.
J. Gresh, J. McKim, and H. Sanchez.
PLOP: 12th Pattern Language of Programs Conference, 2005.
J. Gresh, J. McKim, and H. Sanchez.
PLOP: 12th Pattern Language of Programs Conference, 2005.
2004
A Pattern Language for CRC Cards.
M. Fayad, H. Sanchez, and H. Hamza.
PLOP: 11th Conference on Pattern Languages of Programs, 2004.
M. Fayad, H. Sanchez, and H. Hamza.
PLOP: 11th Conference on Pattern Languages of Programs, 2004.
2003
The Sampling Analysis Pattern.
H.A. Sanchez, B. Lai, and M.E. Fayad.
IRI: IEEE International Conference on Information Reuse and Integration, 2003.
H.A. Sanchez, B. Lai, and M.E. Fayad.
IRI: IEEE International Conference on Information Reuse and Integration, 2003.
Workshop Papers
2023
Software Introspection for Signaling Social-Cyber Operations.
H. Sanchez and B. Hitaj.
DESTION: 5th Workshop on Design Automation for CPS and IoT, 2023.
H. Sanchez and B. Hitaj.
DESTION: 5th Workshop on Design Automation for CPS and IoT, 2023.
2016
Putting Your Passwords on Self Destruct Mode: Beating Password Fatigue.
H. Sanchez, J. Murray, and D. Sanchez.
SOUPS: 12th Symposium on Usable Privacy and Security, 2016.
H. Sanchez, J. Murray, and D. Sanchez.
SOUPS: 12th Symposium on Usable Privacy and Security, 2016.
2015
BotPrint: Casual Robotic Evolution.
K. Compton, D. Lederle-Ensign, Z. Lin, J. Mazeika, A. Mobramaein, J. Pagnutti, H. Sanchez, and J. Whitehead.
WCCG: 1st Workshop on Computational Creativity and Games, 2015.
K. Compton, D. Lederle-Ensign, Z. Lin, J. Mazeika, A. Mobramaein, J. Pagnutti, H. Sanchez, and J. Whitehead.
WCCG: 1st Workshop on Computational Creativity and Games, 2015.
Journal Articles
2011
Benchmarking Online Index-Tuning Algorithms.
I. Jimenez, J. LeFevre, N. Polyzotis, H. Sanchez, and K. Schnaitter.
IEEE Data Engineering Bulletin, 2011.
I. Jimenez, J. LeFevre, N. Polyzotis, H. Sanchez, and K. Schnaitter.
IEEE Data Engineering Bulletin, 2011.
Books
2014
Software Patterns, Knowledge Maps, and Domain Analysis.
M. Fayad, H.A. Sanchez, S.G.K. Hegde, A. Basia, and A. Vakil.
CRC Press, 2014. ISBN 9781466571433
M. Fayad, H.A. Sanchez, S.G.K. Hegde, A. Basia, and A. Vakil.
CRC Press, 2014. ISBN 9781466571433
Reports and Other Publications
2025
LLM Chemistry Estimation for Multi-LLM Recommendation.
H. Sanchez and B. Hitaj.
ArXiv [Cs.LG]. arXiv:2510.03930 (Under Review)
H. Sanchez and B. Hitaj.
ArXiv [Cs.LG]. arXiv:2510.03930 (Under Review)
2022
DesCert: Design for Certification.
N. Shankar, D. Bhatt, M. Ernst, M. Kim, S. Varadarajan, S. Millstein, J. Navas, J. Biatek, H. Sanchez, A. Murugesan, H. Ren.
Technical report, 2022. arxiv:2203.15178
N. Shankar, D. Bhatt, M. Ernst, M. Kim, S. Varadarajan, S. Millstein, J. Navas, J. Biatek, H. Sanchez, A. Murugesan, H. Ren.
Technical report, 2022. arxiv:2203.15178
2022
Trust in Motion: Capturing Trust Ascendancy in Open-Source Projects using Hybrid AI.
H. Sanchez and B. Hitaj.
ArXiv [Cs.SE]. arxiv:2210.02656
H. Sanchez and B. Hitaj.
ArXiv [Cs.SE]. arxiv:2210.02656
2021
Leveraging Team Dynamics to Predict Open-source Software Projects' Susceptibility to Social Engineering Attacks.
L. Giovanini, D. Oliveira, H. Sanchez, D. Shands.
ArXiv [Cs.SE]. arxiv:2106.16067
L. Giovanini, D. Oliveira, H. Sanchez, D. Shands.
ArXiv [Cs.SE]. arxiv:2106.16067
Patents
2023
Intelligent Collaborative Project Management.
D. Sanchez, H. Sanchez, H. Saïdi.
United States patent 11610173, 2023.
D. Sanchez, H. Sanchez, H. Saïdi.
United States patent 11610173, 2023.
2022
Multipath verification of data transforms in a system of systems.
B. Dutertre, S. Jha, H. Sanchez, P. Lincoln, E. M. Pearson, R. Dean, I. A. Mason.
United States patent 2022/0197881, 2022.
B. Dutertre, S. Jha, H. Sanchez, P. Lincoln, E. M. Pearson, R. Dean, I. A. Mason.
United States patent 2022/0197881, 2022.