Faraz pic
Faraz Hussain
Associate Professor
ECE Department
Walter H. Coulter School of Engineering
Clarkson University
email [PGP]


My research interests lie primarily in the following areas:

See: Software Engineering Research Lab




  • PhD:
  • Undergraduate:
    • Nate Smullen
    • Delara Panahi
    • Matthew Lukaszewski
    • Christian Kubicka
    • Christopher Murphy
    • Zack Damato
    • Conrad Gende
    • Evan Perry
    • Andrew Schmier


  • A Novel Keystroke Dataset for Preventing Advanced Persistent Threats
    Xiaofei Wang, Rashik Shadman, Daqing Hou, Faraz Hussain, Stephanie Schuckers
    ICPRAM 2024
    [DOI]

  • Deep Learning-Based Approaches for Contactless Fingerprints Segmentation and Extraction
    M.G. Sarwar Murshed, Syed Konain Abbas, Sandip Purnapatra, Daqing Hou, Faraz Hussain
    November 2023
    [arXiv]

  • Keystroke Dynamics: Concepts, Techniques, and Applications
    Rashik Shadman, Ahmed Anu Wahab, Michael Manno, Matthew Lukaszewski, Daqing Hou, Faraz Hussain
    June 2024
    [arXiv]

  • Deep Age-Invariant Fingerprint Segmentation System
    M.G. Sarwar Murshed, Keivan Bahmani, Stephanie Schuckers, Faraz Hussain
    March 2023
    [arXiv]

  • Efficient Deployment of Deep Learning Models on Autonomous Robots in the ROS Environment
    M. G. Sarwar Murshed, James J. Carroll, Nazar Khan, and Faraz Hussain
    In: Deep Learning Applications, Volume 3.
    Springer, 2022.
    [doi] [pdf]

  • Mitigating the Class Overlap Problem in Discriminative Localization: COVID-19 and Pneumonia Case Study
    Edward Verenich, M. G. Sarwar Murshed, Nazar Khan, Alvaro Velasquez, Faraz Hussain
    In: Sayed-Mouchaweh M. (eds) Explainable AI Within the Digital Transformation and Cyber Physical Systems.
    Springer International Publishing, 2021.
    [doi]

  • Machine Learning at the Network Edge: A Survey
    M.G. Sarwar Murshed, Christopher Murphy, Daqing Hou, Nazar Khan, Ganesh Ananthanarayanan, Faraz Hussain
    ACM Computing Surveys 54, 8, Article 170 (October 2021)
    [doi] [arXiv]

  • Resource-aware On-device Deep Learning for Supermarket Hazard Detection
    M. G. Sarwar Murshed, James J. Carroll, Nazar Khan, Faraz Hussain
    19th IEEE International Conference on Machine Learning and Applications (ICMLA 2020)
    [doi]

  • Improving Explainability of Image Classification in Scenarios with Class Overlap: Application to COVID-19 and Pneumonia
    Edward Verenich, Alvaro Velasquez, Nazar Khan, Faraz Hussain
    19th IEEE International Conference on Machine Learning and Applications (ICMLA 2020)
    [doi]

  • Improving Explainability of Image Classification in Scenarios with Class Overlap: Application to COVID-19 and Pneumonia
    Edward Verenich, Alvaro Velasquez, Nazar Khan, Faraz Hussain
    Preprint, August 2020
    [arXiv]

  • Fast Resilient-Aware Data Layout Organization for Resistive Computing Systems
    Baogang Zhang, M. G. Sarwar Murshed, Faraz Hussain, Rickard Ewetz
    2020 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2020)
    [pdf] [doi] [bib]

  • FlexServe: Deployment of PyTorch Models as Flexible REST Endpoints
    Edward Verenich, Alvaro Velasquez, M.G. Sarwar Murshed, Faraz Hussain
    2020 USENIX Conference on Operational Machine Learning (OpML 2020)
    [pdf] [conference link] [arXiv] [bib]

  • Hazard Detection in Supermarkets using Deep Learning on the Edge
    M.G. Sarwar Murshed, Edward Verenich, Conrad Gende, James J. Carroll, Nazar Khan, Faraz Hussain
    3rd USENIX Workshop on Hot Topics in Edge Computing (HotEdge 2020) [poster]
    [conference link] [pdf] [bib]

  • Hazard Detection in Supermarkets using Deep Learning on the Edge
    M.G. Sarwar Murshed, Edward Verenich, James J. Carroll, Nazar Khan, Faraz Hussain
    Preprint, February 2020
    [arXiv]

  • The Utility of Feature Reuse: Transfer Learning in Data-Starved Regimes
    Rashik Shadman, M.G. Sarwar Murshed, Alvaro Velasquez, Edward Verenich, Faraz Hussain
    Preprint, December 2023
    [arXiv]

  • A theorem proving based approach for automatically synthesizing visualizations of flow cytometry data
    S. Raj, F. Hussain, Z. Husein, N. Torosdagli, D. Turgut, S. Pattanaik, CC. Chang, S.K. Jha
    BMC Bioinformatics, 18(Suppl 18):245, 2017
    [doi] [pdf]

  • Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision
    Arvind Ramanathan, Laura Pullum, Faraz Hussain, Dwaipayan Chakraborty, Sumit Kumar Jha
    Design, Automation, and Test in Europe (DATE), 2016
    [publisher's link] [pdf] [bib]

  • SANJAY: Synthesizing Visualizations of Flow Cytometry Data using Symbolic Decision Procedures
    Faraz Hussain, Zubir Husein, Neslisah Torosdagli, Sumanta Pattanaik, Narsingh Deo, CC Chang, Sumit Kumar Jha
    5th IEEE International Conference on Computational Advances in Bio and Medical Sciences (ICCABS), 2015
    [doi] [pdf] [bib]

  • Automated parameter estimation for biological models using Bayesian statistical model checking Faraz Hussain, Christopher J. Langmead, Qi Mi, Joyeeta Dutta-Moscato, Yoram Vodovotz, Sumit Kumar Jha
    BMC Bioinformatics, 16(Suppl 17):S8, 2015
    [doi] [pdf] [bib]

  • Exploiting heterogeneous parallel programming for developing an educational neuromorphic computing simulator
    Faraz Hussain, Alvaro Velasquez, Sumit Kumar Jha
    NSF/TCPP Workshop on Education for High-Performance Computing (EduHPC 2014)
    [pdf] [poster] [bib]

  • Parameter Discovery for Stochastic Computational Models in Systems Biology Using Bayesian Model Checking [Best paper award]
    Faraz Hussain, Christopher J. Langmead, Qi Mi, Joyeeta Dutta-Moscato, Yoram Vodovotz, Sumit Kumar Jha
    4th IEEE International Conference on Computational Advances in Bio and Medical Sciences (ICCABS), 2014
    [doi] [pdf] [bib]

  • EpiSpec: A Formal Specification Language for Parameterized Agent-Based Models against Epidemiological Ground Truth
    Faraz Hussain, Arvind Ramanathan, Laura Pullum, Sumit Kumar Jha
    4th IEEE International Conference on Computational Advances in Bio and Medical Sciences (ICCABS), 2014
    [doi] [pdf] [bib]

  • Putting Humpty-Dumpty Together: Mining Mechanistic Biochemical Models from Big Data
    Faraz Hussain, Alvaro Velasquez, Emily Sassano, Sumit Kumar Jha
    4th IEEE International Conference on Computational Advances in Bio and Medical Sciences (ICCABS), 2014
    [doi] [pdf]

  • Early Adoption: High-Performance Computing for Big Data
    Faraz Hussain, Narsingh Deo, Sumit Kumar Jha
    4th NSF/TCPP Workshop on Parallel and Distributed Computing Education (EduPar 2014)
    [pdf] [bib]

  • Parameter discovery in stochastic biological models using simulated annealing and statistical model checking
    Faraz Hussain, Susmit Jha, Christopher J. Langmead, Sumit Kumar Jha
    International Journal of Bioinformatics Research and Applications, 10(4/5), pp. 519--539, 2014
    [doi] [pdf] [bib]

  • Discovering rare behaviors in stochastic differential equations using decision procedures: applications to a minimal cell cycle model
    Arup Kumar Ghosh, Faraz Hussain, Susmit Jha, Christopher J. Langmead, Sumit Kumar Jha
    International Journal of Bioinformatics Research and Applications, 10(4/5), pp. 540--558, 2014
    [doi] [pdf] [bib]

  • Introducing parallel programming across the undergraduate curriculum through an interdisciplinary course on computational modeling
    Narsingh Deo, Sumit Kumar Jha, Faraz Hussain, Mahadevan Vasudevan
    4th NSF/TCPP Workshop on Parallel and Distributed Computing Education (EduPar 2013)
    [pdf] [bib]

  • A computational metabolic model of the NG108-15 cell for high content drug screening with electrophysiological readout
    Aditya R. Kolli, Frank Sommerhage, Peter Molnar, Jonathan Hood, Jerry Jenkins, Faraz Hussain, Arup Kumar Ghosh, Sumit Kumar Jha, James J. Hickman
    ACM Conference on Bioinformatics, Computational Biology, and Health Informatics (ACM BCB), 2012
    [doi] [pdf]

  • Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing
    Faraz Hussain, Raj G. Dutta, Sumit Kumar Jha, Christopher J. Langmead, Susmit Jha
    2nd IEEE International Conference on Computational Advances in Bio and Medical Sciences (ICCABS), 2012
    [doi] [pdf] [bib]

  • Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems
    Arup Kumar Ghosh, Faraz Hussain, Sumit Kumar Jha, Christopher J. Langmead, Susmit Jha
    2nd IEEE International Conference on Computational Advances in Bio and Medical Sciences (ICCABS), 2012
    [doi] [pdf] [bib]

  • temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties
    Faraz Hussain, Gary T. Leavens
    8th IEEE International Conference on Software Engineering and Formal Methods (SEFM), 2010
    [doi] [pdf] [bib]

  • The design of SafeJML, a specification language for SCJ with support for WCET specification
    Ghaith Haddad, Faraz Hussain, Gary T. Leavens
    8th ACM International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), 2010
    [doi] [pdf] [bib]