Ian G. Harris

Publications and Significant White Papers

• J. Wu, I. G. Harris, H. Zhao and G. Ling, "A Graph-to-Sequence Model for Joint Intent Detection and Slot Filling", IEEE 17th International Conference on Semantic Computing (ICSC), February 2023
• J. Zhao, Y. Song, J. Wang, and I. G. Harris, "GAP-Gen: Guided Automatic Python Code Generation", Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics: Student Research Workshop , January 2023
• T. Giyahchi, S. Singh, I. G. Harris, and C. Pechmann, "Customized Training of Pretrained Language Models to Detect Post Intents in Online Health Support Groups", The 6th International Workshop on Health Intelligence , February 2022
• J. Wu, I. G. Harris, and Hongzhi Zhao "GraphMemDialog: Optimizing End-to-End Task-Oriented Dialog Systems Using Graph Memory Networks " , Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI) , February 2022.
• Yu-Jye Tung and I. G. Harris "Zero Footprint Opaque Predicates: Synthesizing Opaque Predicates From Naturally Occurring Invariants" , Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA), July 2021.
• I. G. Harris, A. Derakhshan, and M. Carlsson "A Study of Targeted Telephone Scams Involving Live Attackers" , Socio-Technical Aspects in Security and Trust (STAST) , 2021.
• J. P. Tao, E. S. Charlson, Y. Zhu, A. Guo, W. Chen, X. Zhan, H. Shi, and I. G. Harris "A Digital Micro Screen for the Enhanced Appearance of Ocular Prosthetic Motility (An American Opthamological Society Thesis)" , American Journal of Ophthalmology (AJO) , April 2021.
• J. Wu, I. G. Harris, and Hongzhi Zhao "Spoken Language Understanding for Task-oriented Dialogue Systems with Augmented Memory Networks" , Annual Conference of the North American Chapter of the Association for Computational Linguistics (NAACL-HLT) , June 2021.
• A. Derakhshan, I. G. Harris, and M. Behzadi "Detecting Telephone-based Social Engineering Attacks using Scam Signatures" , ACM International Workshop on Security and Privacy Analytics (IWSPA) , April 2021.
• M. Behzadi, I. G. Harris, and A. Derakhshan "Rapid Cyber-bullying detection method using Compact BERT Models" , IEEE International Conference on Semantic Computing (ICSC) , January 2021.
• I. G. Harris and C. B. Harris (2020) "Generation of Verification Artifacts from Natural Language Descriptions" , In: Soeken M., Drechsler R. (eds) Natural Language Processing for Electronic Design Automation , Springer, Cham. https://doi.org/10.1007/978-3-030-52273-5_3.
• J. Kim, Y. J. Kim, M. Behzadi and I. G. Harris, "Analysis of Online Conversations to Detect Cyberpredators Using Recurrent Neural Networks" , Workshop on Social Threats in Online Conversations (STOC) , May 2020.
• Y.-J. Tung and I. G. Harris, "A Heuristic Approach to Detect Opaque Predicates that Disrupt Static Disassembly" , Workshop on Binary Analysis Research (BAR) , February 2020.
• M. Kim, C. Song, D. Park, Y. Kwon, E. Namking, I. G. Harris, and M. Carlsson, "Scam Detection Assistant: Automated Protection from Scammers" , IEEE Conference on Societal Automation , September 2019.
• O. Keszocze and I. G. Harris, "Chatbot-based Assertion Generation from Natural Language Specifications" , IEEE Forum on Specification and Design Languages , September 2019.
• J. Zhao and I. G. Harris, "Automatic Assertion Generation from Natural Language Specifications Using Subtree Analysis" , IEEE Design Automation and Test in Europe (DATE) , March 2019.
• M. Kim, C. Song, H. Kim, D. Park, Y. Kwon, E. Namkung, I. G. Harris, and M. Carlsson, "Catch me, Yes we can! – Pwning Social Engineers using Natural Language Processing Techniques in Real-Time", Black Hat USA, August 2018.
• E. S. Charleson, Z. Guo, I. G. Harris, and J. Tao, "A Digital Prosthetic Eye Featuring Deep Neural Network Pupil Tracking", Investigative Ophthalmology & Visual Science, volume 59, issue 9, 2018
• Y. Zhu, W. Chen, X. Zhan, Z. Guo, H. Shi, and I. G. Harris, "Head Mounted Pupil Tracking Using Convolutional Neural Network", arXiv preprint arXiv:1805.00311, April 2018.
• T. Peng, I. G. Harris, and Y. Sawa "Detecting Phishing Attacks Using Natural Language Processing and Machine Learning", IEEE International Conference on Semantic Computing (ICSC), February 2018.
• S. Balkovski and I. G. Harris, "Designing Cyber-Physical Systems from Natural Language Descriptions", IEEE High Level Design Validation and Test Workshop (HLDVT), October 2017.
• Z. Guo, I. G. Harris, Y. Jiang, and L.-F. Tsaur, "An Efficient Approach to Prevent Battery Exhaustion Attack on BLE-based Mesh Networks", IEEE International Conference on Computing, Networking and Communications (ICNC), January 2017.
• S. Ray, I. G. Harris, G. Fey, and M. Soeken, "Multilevel Design Understanding: From Specication to Logic - Invited Paper", IEEE International Conference on Computer-Aided Design (ICCAD), November 2016.
• I. G. Harris, "Social Engineering Attacks on the Internet of Things", IEEE Internet of Things Newsletter, September 2016.
• I. G. Harris, "The Future of IoT Security", Circuit Cellar Magazine, April 2016.
• Z. Guo, , I. G. Harris, C. B. Harris, Y. Jiang, L.-F. Tsaur, "A Residual Battery-Aware Routing Algorithm Based on DSR for BLE Sensor Networks", IEEE Wireless Technologies Symposium, April 2016.
• C. B. Harris, I. G. Harris, "GLAsT: Learning Formal Grammars to Translate Natural Language Specifications into Hardware Assertions", IEEE/ACM Design Automation and Test in Europe (DATE), March 2016.
• Y. Sawa, H. R. Bhakta, I. G. Harris, "Detection of Social Engineering Attacks Through Natural Language Processing of Conversations", IEEE Conference on Semantic Computing , February 2016.
• Z. Guo, I. G. Harris, L.-F. Tsaur, X. Chen, "An On-demand Scatternet Formation and Multi-hop Routing Protocol for BLE-based wireless Sensor Networks", IEEE Wireless Communications and Networking Conference , 2015.
• H. R. Bhakta, I. G. Harris, "Semantic Analysis of Dialogs to Detect Social Engineering Attacks", IEEE Conference on Semantic Computing , 2015.
• C. B. Harris, I. G. Harris, "Generating Formal Hardware Verification Properties from Natural Language Documentation", IEEE Conference on Semantic Computing , 2015.
• K. A. Jameson, N. A. Benjamin, S. M. Chang, P. S. Deshpande, S. Gago, I. G. Harris, Y. Jiao, S. Tauber, "Mesoamerican Color Survey and Digital Archive", In Encyclopedia of Color Science and Technology, 2015.
• Z. Guo, H. R. Bhakta, I. G. Harris, "Control-flow Checking for Intrusion Detection via a Real-Time Debug Interface", IEEE International Workshop on Smart Embedded Systems , 2014.
• M. Soeken, C. B. Harris, N. Abdessaied, I. G. Harris, R. Drechsler, "Automating the Translation of Assertions Using Natural Language Processing Techniques", Forum on Specification and Design Languages , 2014.
• D. Binkley, D. Lawrie, E. Hill, J. Burge, I. G. Harris, R. Hebig, O. Keszcze, K. Reed, J. Slankas, "Task Driven Software Summarization", IEEE International Conference on Software Maintenance, 2013.
• Ian G. Harris, "Capturing Assertions from Natural Language Descriptions", Workshop on Natural Language Analysis in Software Engineering (NaturaLiSE) , May 2013.
• Zi-Shun Huang and Ian G. Harris, "Return-Oriented Vulnerabilities in ARM Executables", Homeland Security Affairs Journal, 2013.
• M. Rahmatian, H. Kooti, Ian G. Harris and E. Bozorgzadeh, "Hardware-Assisted Detection of Malicious Software in Embedded Systems", IEEE Embedded Systems Letters (ESL), vol. 4, num. 4
• Ian G. Harris, "Generating Formal System Models from Natural Language Descriptions", IEEE High Level Design Validation and Test Workshop (HLDVT), November 2012.
• Best Paper Award , Zi-Shun Huang and Ian G. Harris, "Return-Oriented Vulnerabilities in ARM Executables", IEEE International Conference on Technologies for Homeland Security (HST), November 2012.
• M. Rahmatian, H. Kooti, Ian G. Harris and E. Bozorgzadeh, "Adaptable Intrusion Detection Using Partial Runtime Reconfiguration", IEEE International Conference on Computer Design (ICCD), October 2012.
• M. Rahmatian, H. Kooti, Ian G. Harris and E. Bozorgzadeh, "Minimization of Trojan Footprint by Reducing Delay and Area Impact", IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology (DFTS), October 2012.
• Ian G. Harris, "Extracting Design Information from Natural Language Specifications", IEEE/ACM Design Automation Conference (DAC), June 2012.
• Patricia S. Lee and Ian G. Harris, "Test Generation for Subtractive Specification Errors", IEEE VLSI Test Symposium (VTS), April 2012.
• Sharon Barner, Ian G. Harris, Daniel Kroening, and Orna Raz eds., "Hardware and Software: Verification and Testing, 6th International Haifa Verification Conference, HVC 2010 Haifa, Israel, October 2010 Revised Selected Papers, Lecture Notes in Computer Science", vol. 6504, Springer, 2010.
• Dhiraj K. Pradhan and Ian G. Harris eds., Practical Design Verification, Cambridge University Press, 2009
• S. Verma and Ian G. Harris, "SystemVerilog and Vera in a Verification Flow", in Practical Design Verification, Cambridge University Press, 2009
• Ian G. Harris and Dhiraj Pradhan eds. "Design Verification and Validation", Special Section of IEEE Transactions on VLSI Systems, April 2008.
• K. Ramineni, S. Verma, and I. G. Harris "Evaluation of an Efficient Control Oriented Coverage Metric", IEEE High Level Design Validation and Test Workshop, 2008.
• S. Verma, I. G. Harris, and K. Ramineni, "Automatic Generation of Functional Coverage Models from Behavioral Verilog Descriptions", IEEE/ACM Design Automation and Test in Europe (DATE) Conference, 2007.
• T. Alrahem, A. Chen, N. DiGiussepe, J. Gee, S.-P. Hsiao, S. Mattox, T. Park, A. Tam, I. G. Harris, and M. Carlsson, "INTERSTATE: A Stateful Protocol Fuzzer for SIP" , DEFCON 15, 2007.
• F. Fummi, I. G. Harris, C. Marconcini, and G. Pravadelli, "A CLP-based Functional ATPG for Extended FSMs", IEEE Microprocessor Test and Verification Workshop, 2007.
• K. Ramineni, I. G. Harris, and S. Verma, "Improving Feasible Interactions Among Multiple Processes", IEEE High Level Design Validation and Test Workshop, 2007.
• S. Verma, I. G. Harris, and K. Ramineni, "Automatic Generation of Functional Coverage Models from CTL", IEEE High Level Design Validation and Test Workshop, 2007.
• I. G. Harris, "Covalidation of Complex Hardware/Software Systems" System-on-Chip: Next Generation Electronics, Institution of Electrical Engineers Publishing (Bashir M. Al-Hashimi ed.), 2006.
• M. Heath, W. Burleson, I. G. Harris, "Synchro-Tokens: A Deterministic GALS Methodology for Chip-Level Debug and Test" , IEEE Transactions on Computers, vol. 54, num. 12, December 2005.
• I. G. Harris, "Hardware/Software Covalidation" , IEE Proceedings on Computers and Digital Techniques, vol. 152, num. 3, May 2005.
• S. Verma, K. Ramineni, and I. G. Harris, "An Efficient Control-Oriented Coverage Metric" , IEEE Asian South Pacific Design Automation Conference (ASPDAC), January 2005.
• I. G. Harris, "Tacking Concurrency and Timing Problems" Test and Validation of Hardware/Software Systems Starting with System-Level Descriptions, Springer-Verlag Publishing, Matteo Sonza Reorda and Zebo Peng eds., 2005.
• M. Heath, W. Burleson, and I. G. Harris, "Eliminating Nondeterminism to Enable Chip-Level Test of Globally-Asynchronous Locally-Synchronous SoCs" , IEEE/ACM Design Automation and Test in Europe (DATE) Conference, February 2004.
• E. Gaudette, M. Moussa, and I. G. Harris, "A Method for the Evaluation of Behavioral Fault Models" , IEEE High-Level Design, Validation, and Test Workshop (HLDVT), November 2003.
• D. A. Fernandes and I. G. Harris, "Application of Built in Self-Test for Interconnect Testing of FPGAs" , IEEE International Test Conference, September 2003.
• I. G. Harris, "Fault Models and Test Generation for Hardware-Software Covalidation", IEEE Design and Test of Computers, volume 20, number 4, July-August 2003.
• S. Arekapudi, F. Xin, J. Peng, I. G. Harris, "ATPG for Timing Errors in Globally Asynchronous Locally Synchronous Systems", Journal for Circuits, Systems and Computers, volume 12, number 3, June 2003.
• M. Heath and I. G. Harris "A Deterministic Globally Asynchronous Locally Synchronous Microprocessor Architecture", IEEE Microprocessor Test and Verification Workshop (MTV), May 2003.
• Z. Zeng, Q. Zhang, I. G. Harris, and M. Ciesielski, "Fast Computation of Data Correlation Using BDDs", IEEE/ACM Design Automation and Test in Europe (DATE) Conference, March 2003.
• Q. Zhang and I. G. Harris, "Partial BIST Insertion to Eliminate Data Correlation", IEEE Transactions on Computer-Aided Design, March 2003.
• I. G. Harris and R. Tessier, "Testing and Diagnosis of Interconnect Faults in Cluster-Based FPGA Architectures", IEEE Transactions on Computer-Aided Design, November 2002.
• F. Xin and I. G. Harris, "Test Generation for Hardware-Software Covalidation Using Non-Linear Programming", IEEE Workshop on High Level Design Validation and Test (HLDVT), October 2002.
• S. Arekapudi, F. Xin, J. Peng, I. G. Harris, "ATPG for Timing-Induced Functional Errors on Trigger Events in Hardware-Software Systems" , IEEE European Test Workshop (ETW), May 2002
• I. G. Harris, "Hardware-Software Covalidation: Fault Models and Test Generation", IEEE Workshop on High Level Design Validation and Test (HLDVT), November 2001
• S. Arekapudi, F. Xin, J. Peng, I. G. Harris, "Test Pattern Generation for Timing-Induced Errors in Hardware-Software Systems", IEEE Workshop on High Level Design Validation and Test (HLDVT), November 2001
• I. G. Harris, P. Menon, and R. Tessier, "BIST-Based Path Delay Testing in FPGA Arichitectures", IEEE International Test Conference (ITC), October 2001.
• Q. Zhang and I. G. Harris, "A Validation Fault Model for Timing-Induced Functional Errors", IEEE International Test Conference (ITC), October 2001.
• W. Burleson, A. Ganz, and I. G. Harris, "Educational Innovations in Multimedia Systems", ASEE Journal of Engineering Education, January 2001.
• Q. Zhang and I. G. Harris, "A Data Flow Coverage Metric For Validation of Behavioral HDL Descriptions", International Conference on Computer-Aided Design (ICCAD), 2000.
• I. G. Harris and R. Tessier, "Diagnosis of Interconnect Faults in Cluster-Based FPGA Architectures", International Conference on Computer-Aided Design (ICCAD), 2000.
• Q. Zhang and I. G. Harris, "A Domain Coverage Metric for the Validation of Behavioral VHDL Descriptions" , International Test Conference (ITC), October 2000.
• I. G. Harris and Russell Tessier, "Interconnect Testing of Cluster-based FPGA Architectures", Design Automation Conference (DAC), 2000.
• Q. Zhang and I. G. Harris, "Partial BIST Insertion to Eliminate Data Correlation", International Conference on Computer-Aided Design (ICCAD), 1999.
• Q. Zhang and I. G. Harris, "Mutation Analysis for the Evaluation of Functional Fault Models", High-Level Design, Validation, and Test Workshop (HLDVT), 1999.