| 2026 | ACL | CoopQ: Cooperative Game Inspired Layerwise Mixed Precision Quantization for LLMs. | Junchen Zhao, Ali Derakhshan, Jayden Kana Hyman, Junhao Dong, Sangeetha Abdu Jyothi, Ian G. Harris |
| 2025 | IJCNN | LogLLaMA: Transformer-based log anomaly detection with LLaMA. | Zhuoyi Yang, Ian G. Harris |
| 2024 | ACL | LinguaLinked: Distributed Large Language Model Inference on Mobile Devices. | Junchen Zhao, Yurun Song, Simeng Liu, Ian G. Harris, Sangeetha Abdu Jyothi |
| 2023 | EACL | GAP-Gen: Guided Automatic Python Code Generation. | Junchen Zhao, Yurun Song, Junlin Wang, Ian G. Harris |
| 2023 | EMNLP | PCMID: Multi-Intent Detection through Supervised Prototypical Contrastive Learning. | Yurun Song, Junchen Zhao, Spencer Koehler, Amir Abdullah, Ian G. Harris |
| 2022 | AAAI | GraphMemDialog: Optimizing End-to-End Task-Oriented Dialog Systems Using Graph Memory Networks. | Jie Wu, Ian G. Harris, Hongzhi Zhao |
| 2021 | DIMVA | Zero Footprint Opaque Predicates: Synthesizing Opaque Predicates from Naturally Occurring Invariants. | Yu-Jye Tung, Ian G. Harris |
| 2021 | NAACL | Spoken Language Understanding for Task-oriented Dialogue Systems with Augmented Memory Networks. | Jie Wu, Ian G. Harris, Hongzhi Zhao |
| 2020 | LREC | Analysis of Online Conversations to Detect Cyberpredators Using Recurrent Neural Networks. | Jinhwa Kim, Yoon Jo Kim, Mitra Behzadi, Ian G. Harris |
| 2019 | DATE | Automatic Assertion Generation from Natural Language Specifications Using Subtree Analysis. | Junchen Zhao, Ian G. Harris |
| 2019 | FDL | Chatbot-based assertion generation from natural language specifications. | Oliver Keszcze, Ian G. Harris |
| 2016 | DATE | GLAsT: Learning formal grammars to translate natural language specifications into hardware assertions. | Christopher B. Harris, Ian G. Harris |
| 2016 | ICCAD | Multilevel design understanding: from specification to logic (invited paper). | Sandip Ray, Ian G. Harris, Grschwin Fey, Mathias Soeken |
| 2015 | WCNC | An on-demand scatternet formation and multi-hop routing protocol for BLE-based wireless sensor networks. | Zonglin Guo, Ian G. Harris, Lih-feng Tsaur, Xianbo Chen |
| 2014 | FDL | Automating the translation of assertions using natural language processing techniques. | Mathias Soeken, Christopher B. Harris, Nabila Abdessaied, Ian G. Harris, Rolf Drechsler |
| 2014 | SmartComp | Control-flow checking for intrusion detection via a real-time debug interface. | Zonglin Guo, Ram Bhakta, Ian G. Harris |
| 2012 | DAC | Extracting design information from natural language specifications. | Ian G. Harris |
| 2012 | ICCD | Adaptable intrusion detection using partial runtime reconfiguration. | Mehryar Rahmatian, Hessam Kooti, Ian G. Harris, Elaheh Bozorgzadeh |
| 2012 | VTS | Test generation for subtractive specification errors. | Patricia S. Lee, Ian G. Harris |
| 2007 | DATE | Interactive presentation: Automatic generation of functional coverage models from behavioral verilog descriptions. | Shireesh Verma, Ian G. Harris, Kiran Ramineni |
| 2006 | DATE | A coverage metric for the validation of interacting processes. | Ian G. Harris |
| 2005 | ASPDAC | An efficient control-oriented coverage metric. | Shireesh Verma, Kiran Ramineni, Ian G. Harris |
| 2005 | ETS | Design validation of behavioral VHDL descriptions for arbitrary fault models. | Fei Xin, Maciej J. Ciesielski, Ian G. Harris |
| 2004 | DATE | Synchro-Tokens: Eliminating Nondeterminism to Enable Chip-Level Test of Globally-Asynchronous Locally-Synchronous SoC?s. | Matthew W. Heath, Wayne P. Burleson, Ian G. Harris |
| 2003 | DATE | Fast Computation of Data Correlation Using BDDs. | Zhihong Zeng, Qiushuang Zhang, Ian G. Harris, Maciej J. Ciesielski |
| 2003 | ITC | Application of Built in Self-Test for Interconnect Testing of FPGAs. | Dereck A. Fernandes, Ian G. Harris |
| 2003 | ITC | The Confluence of Manufacturing Test and Design Validation. | Ian G. Harris |
| 2002 | ETS | ATPG for timing-induced functional errors on trigger events in hardware-software systems. | Srikanth Arekapudi, Fei Xin, Jinzheng Peng, Ian G. Harris |
| 2001 | ITC | BIST-based delay path testing in FPGA architectures. | Ian G. Harris, Premachandran R. Menon, Russell Tessier |
| 2001 | ITC | A validation fault model for timing-induced functional errors. | Qiushuang Zhang, Ian G. Harris |
| 2000 | DAC | Interconnect testing in cluster-based FPGA architectures. | Ian G. Harris, Russell Tessier |
| 2000 | ICCAD | Diagnosis of Interconnect Faults in Cluster-Based FPGA Architectures. | Ian G. Harris, Russell Tessier |
| 2000 | ICCAD | A Data Flow Fault Coverage Metric for Validation of Behavioral HDL Descriptions. | Qiushuang Zhang, Ian G. Harris |
| 2000 | ITC | A domain coverage metric for the validation of behavioral VHDL descriptions. | Qiushuang Zhang, Ian G. Harris |
| 1999 | ICCAD | Partial BIST insertion to eliminate data correlation. | Qiushuang Zhang, Ian G. Harris |
| 1994 | DAC | Microarchitectural Synthesis of VLSI Designs with High Test Concurrency. | Ian G. Harris, Alex Orailoglu |
| 1994 | ICCD | SYNCBIST: SYNthesis for Concurrent Built-In-Self-Testability. | Ian G. Harris, Alex Orailoglu |
| 1993 | ICCD | Test Path Generation and Test Scheduling for Self-Testable Designs. | Alex Orailoglu, Ian G. Harris |
| 1993 | ISCAS | Intertwined Scheduling, Module Selection and Allocation in Time-and-Area. | Ian G. Harris, Alex Orailoglu |
| 1991 | USENIX | A Testbed for Managing Digital Video and Audio Storage. | P. Venkat Rangan, Walter A. Burkhard, Robert W. Rowdidge, Harrick M. Vin, John W. Lindwall, Kashun Chan, Ingvar A. Aaberg, Linda M. Yamamoto, Ian G. Harris |