Faraz Hussain
Assistant Professor
ECE Department
Clarkson University
email


My research interests lie primarily in the following areas:





  • Graduate:
  • Undergraduate:
    • Christopher Murphy
    • Zack Damato
    • Conrad Gende
    • Evan Perry
    • Andrew Schmier


  • 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)
    [conference link] [preprint-pdf] [arXiv]

  • 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
    Edward Verenich, Alvaro Velasquez, M.G. Sarwar Murshed, Faraz Hussain
    Preprint, February 2020
    [arXiv]

  • Machine Learning at the Network Edge: A Survey
    M.G. Sarwar Murshed, Christopher Murphy, Daqing Hou, Nazar Khan, Ganesh Ananthanarayanan, Faraz Hussain
    Preprint, July 2019 (updated September 2020)
    [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]