BARLEY: Modelling program behavior with resource usage. - Kevin Leach (DSN Workshops, 2013)

SPECTRE: A dependable introspection framework via System Management Mode. - Fengwei Zhang; Kevin Leach; Kun Sun 001; Angelos Stavrou (DSN, 2013)

A Framework to Secure Peripherals at Runtime. - Fengwei Zhang; Haining Wang 001; Kevin Leach; Angelos Stavrou (ESORICS (1), 2014)

M-SEQ: Early detection of anxiety and depression via temporal orders of diagnoses in electronic health data. - Jinghe Zhang; Haoyi Xiong; Yu Huang 015; Hao Wu; Kevin Leach; Laura E. Barnes (IEEE BigData, 2015)

TrustLogin: Securing Password-Login on Commodity Operating Systems. - Fengwei Zhang; Kevin Leach; Haining Wang 001; Angelos Stavrou (AsiaCCS, 2015)

Using Hardware Features for Increased Debugging Transparency. - Fengwei Zhang; Kevin Leach; Angelos Stavrou; Haining Wang 001; Kun Sun 001 (IEEE Symposium on Security and Privacy, 2015)

A MapReduce framework to improve template matching uncertainty. - Nicholas J. Napoli; Kevin Leach; Laura E. Barnes; Westley Weimer (BigComp, 2016)

An Uncrewed Aerial Vehicle Attack Scenario and Trustworthy Repair Architecture. - Kate Highnam; Kevin Angstadt; Kevin Leach; Westley Weimer; Aaron Paulos; Patrick Hurley (DSN Workshops, 2016)

Assessing social anxiety using gps trajectories and point-of-interest data. - Yu Huang 015; Haoyi Xiong; Kevin Leach; Yuyan Zhang; Philip Chow; Karl C. Fua; Bethany A. Teachman; Laura E. Barnes (UbiComp, 2016)

LO-PHI: Low-Observable Physical Host Instrumentation for Malware Analysis. - Chad Spensky; Hongyi Hu; Kevin Leach (NDSS, 2016)

Towards Transparent Introspection. - Kevin Leach; Chad Spensky; Westley Weimer; Fengwei Zhang (SANER, 2016)

A 4.4 nW lossless sensor data compression accelerator for 2.9x system power reduction in wireless body sensors. - Jacob Breiholz; Farah B. Yahya; Christopher J. Lukas; Xing Chen 004; Kevin Leach; David D. Wentzloff; Benton H. Calhoun (MWSCAS, 2017)

Scotch: Combining Software Guard Extensions and System Management Mode to Monitor Cloud Resource Usage. - Kevin Leach; Fengwei Zhang; Westley Weimer (RAID, 2017)

Daehr: A Discriminant Analysis Framework for Electronic Health Record Data and an Application to Early Detection of Mental Health Disorders. - Haoyi Xiong; Jinghe Zhang; Yu Huang 015; Kevin Leach; Laura E. Barnes (ACM Trans. Intell. Syst. Technol., 2017)

Towards Transparent Debugging. - Fengwei Zhang; Kevin Leach; Angelos Stavrou; Haining Wang 001 (IEEE Trans. Dependable Secur. Comput., 2018)

An Evaluation Dataset for Intent Classification and Out-of-Scope Prediction. - Stefan Larson; Anish Mahendran; Joseph J. Peper; Christopher Clarke; Andrew Lee 001; Parker Hill; Jonathan K. Kummerfeld; Kevin Leach; Michael A. Laurenzano; Lingjia Tang; Jason Mars (EMNLP/IJCNLP (1), 2019)

Nighthawk: Transparent System Introspection from Ring -3. - Lei Zhou 023; Jidong Xiao; Kevin Leach; Westley Weimer; Fengwei Zhang; Guojun Wang 001 (ESORICS (2), 2019)

Distilling neural representations of data structure manipulation using fMRI and fNIRS. - Yu Huang 015; Xinyu Liu; Ryan Krueger; Tyler Santander; Xiaosu Hu; Kevin Leach; Westley Weimer (ICSE, 2019)

Evolutionary computation for improving malware analysis. - Kevin Leach; Ryan E. Dougherty; Chad Spensky; Stephanie Forrest; Westley Weimer (GI@ICSE, 2019)

Open Source Vulnerability Notification. - Brandon Carlson; Kevin Leach; Darko Marinov; Meiyappan Nagappan; Atul Prakash 001 (OSS, 2019)

The State and Future of Genetic Improvement. - William B. Langdon; Westley Weimer; Christopher Steven Timperley; Oliver Krauss; Zhen Yu Ding; Yiwei Lyu; Nicolas Chausseau; Eric M. Schulte; Shin Hwei Tan; Kevin Leach; Yu Huang 015; Gabin An (ACM SIGSOFT Softw. Eng. Notes, 2019)

MARTINI: Memory Access Traces to Detect Attacks. - Yujun Qin; Samuel Gonzalez; Kevin Angstadt; Xiaowei Wang; Stephanie Forrest; Reetuparna Das; Kevin Leach; Westley Weimer (CCSW, 2020)

TRUST.IO: Protecting Physical Interfaces on Cyber-physical Systems. - Chad Spensky; Aravind Machiry; Marcel Busch; Kevin Leach; Rick Housley; Christopher Kruegel; Giovanni Vigna (CNS, 2020)

Inconsistencies in Crowdsourced Slot-Filling Annotations: A Typology and Identification Methods. - Stefan Larson; Adrian Cheung; Anish Mahendran; Kevin Leach; Jonathan K. Kummerfeld (COLING, 2020)

KShot: Live Kernel Patching with SMM and SGX. - Lei Zhou 023; Fengwei Zhang; Jinghui Liao; Zhenyu Ning; Jidong Xiao; Kevin Leach; Westley Weimer; Guojun Wang 001 (DSN, 2020)

Iterative Feature Mining for Constraint-Based Data Collection to Increase Data Diversity and Model Robustness. - Stefan Larson; Anthony Zheng; Anish Mahendran; Rishi Tekriwal; Adrian Cheung; Eric Guldan; Kevin Leach; Jonathan K. Kummerfeld (EMNLP (1), 2020)

Selective Symbolic Type-Guided Checkpointing and Restoration for Autonomous Vehicle Repair. - Yu Huang 015; Kevin Angstadt; Kevin Leach; Westley Weimer (ICSE (Workshops), 2020)

Neurological divide: an fMRI study of prose and code writing. - Ryan Krueger; Yu Huang 015; Xinyu Liu; Tyler Santander; Westley Weimer; Kevin Leach (ICSE, 2020)

A Human Study of Comprehension and Code Summarization. - Sean Stapleton; Yashmeet Gambhir; Alexander LeClair; Zachary Eberhart; Westley Weimer; Kevin Leach; Yu Huang 015 (ICPC, 2020)

Data Query Language and Corpus Tools for Slot-Filling and Intent Classification Data. - Stefan Larson; Eric Guldan; Kevin Leach (LREC, 2020)

Biases and differences in code review using medical imaging and eye-tracking: genders, humans, and machines. - Yu Huang 015; Kevin Leach; Zohreh Sharafi; Nicholas McKay; Tyler Santander; Westley Weimer (ESEC/SIGSOFT FSE, 2020)

MIMOSA: Reducing Malware Analysis Overhead with Coverings. - Mohsen Ahmadi; Kevin Leach; Ryan E. Dougherty; Stephanie Forrest; Westley Weimer (CoRR, 2021)

A Coprocessor-Based Introspection Framework Via Intel Management Engine. - Lei Zhou 023; Fengwei Zhang; Jidong Xiao; Kevin Leach; Westley Weimer; Xuhua Ding; Guojun Wang 001 (IEEE Trans. Dependable Secur. Comput., 2021)

Toward an Objective Measure of Developers' Cognitive Activities. - Zohreh Sharafi; Yu Huang 015; Kevin Leach; Westley Weimer (ACM Trans. Softw. Eng. Methodol., 2021)

One Agent To Rule Them All: Towards Multi-agent Conversational AI. - Christopher Clarke; Joseph Peper; Karthik Krishnamurthy; Walter Talamonti; Kevin Leach; Walter S. Lasecki; Yiping Kang; Lingjia Tang; Jason Mars (ACL (Findings), 2022)

StrongBox: A GPU TEE on Arm Endpoints. - Yunjie Deng; Chenxu Wang; Shunchang Yu; Shiqing Liu; Zhenyu Ning; Kevin Leach; Jin Li 002; Shoumeng Yan; Zhengyu He; Jiannong Cao 001; Fengwei Zhang (CCS, 2022)

START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report). - Kevin Leach; Christopher Steven Timperley; Kevin Angstadt; Anh Nguyen-Tuong; Jason Hiser; Aaron Paulos; Partha P. Pal; Patrick Hurley; Carl Thomas; Jack W. Davidson; Stephanie Forrest; Claire Le Goues; et al. (ISSRE, 2022)

Evaluating Out-of-Distribution Performance on Document Image Classifiers. - Stefan Larson; Gordon Lim; Yutong Ai; David Kuang; Kevin Leach (NeurIPS, 2022)

Redwood: Using Collision Detection to Grow a Large-Scale Intent Classification Dataset. - Stefan Larson; Kevin Leach (SIGDIAL, 2022)

A Survey of Intent Classification and Slot-Filling Datasets for Task-Oriented Dialog. - Stefan Larson; Kevin Leach (CoRR, 2022)

ASTRO: An AST-Assisted Approach for Generalizable Neural Clone Detection. - Yifan Zhang; Junwen Yang; Haoyu Dong 003; Qingchen Wang; Huajie Shao; Kevin Leach; Yu Huang 015 (CoRR, 2022)

COMBO: Pre-Training Representations of Binary Code Using Contrastive Learning. - Yifan Zhang; Chen Huang 006; Yueke Zhang; Kevin Cao; Scott Thomas Andersen; Huajie Shao; Kevin Leach; Yu Huang 015 (CoRR, 2022)

Augmenting Task-Oriented Dialogue Systems with Relation Extraction. - Andrew Lee 001; Zhenguo Chen; Kevin Leach; Jonathan K. Kummerfeld (CoRR, 2022)

On Evaluation of Document Classifiers using RVL-CDIP. - Stefan Larson; Gordon Lim; Kevin Leach (EACL, 2023)

Leveraging Evidence Theory to Improve Fault Localization: An Exploratory Study. - Yueke Zhang; Kevin Leach; Yu Huang 015 (ESEM, 2023)

Revisiting Deep Learning for Variable Type Recovery. - Kevin Cao; Kevin Leach (ICPC, 2023)

Revisiting Lightweight Compiler Provenance Recovery on ARM Binaries. - Jason Kim 007; Daniel Genkin; Kevin Leach (ICPC, 2023)

A Four-Year Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention. - Zihan Fang; Madeline Endres; Thomas Zimmermann 001; Denae Ford; Westley Weimer; Kevin Leach; Yu Huang 015 (ESEC/SIGSOFT FSE, 2023)

On Evaluation of Document Classification using RVL-CDIP. - Stefan Larson; Gordon Lim; Kevin Leach (CoRR, 2023)

Generating Hard-Negative Out-of-Scope Data with ChatGPT for Intent Classification. - Zhijian Li; Stefan Larson; Kevin Leach (LREC/COLING, 2024)

De-Identification of Sensitive Personal Data in Datasets Derived from IIT-CDIP. - Stefan Larson; Nicole Lima; Santiago Diaz; Amogh Manoj Joshi; Siddharth Betala; Jamiu Suleiman; Yash Mathur; Kaushal Prajapati; Ramla Alakraa; Junjie Shen 011; Temi Okotore; Kevin Leach (EMNLP, 2024)

Genetic Improvement for DNN Security. - Hunter Baxter; Yu Huang 015; Kevin Leach (GI@ICSE, 2024)

Sensor Data Transplantation for Redundant Hardware Switchover in Micro Autonomous Vehicles. - Cailani Lemieux Mack; Kevin Leach; Kevin Angstadt (ICCPS, 2024)

Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets. - Preston K. Robinette; Diego Manzanas Lopez; Serena Serbinowska; Kevin Leach; Taylor T. Johnson (FormaliSE@ICSE, 2024)

Breaking the Flow: A Study of Interruptions During Software Engineering Activities. - Yimeng Ma; Yu Huang 015; Kevin Leach (ICSE, 2024)

ChatGPT Giving Relationship Advice - How Reliable Is It? - Haonan Hou; Kevin Leach; Yu Huang 015 (ICWSM, 2024)

Do Machines and Humans Focus on Similar Code? Exploring Explainability of Large Language Models in Code Summarization. - Jiliang Li; Yifan Zhang; Zachary Karas; Collin McMillan; Kevin Leach; Yu Huang 015 (ICPC, 2024)

Applying Large Language Models to Enhance the Assessment of Parallel Functional Programming Assignments. - Skyler Grandel; Douglas C. Schmidt; Kevin Leach (LLM4CODE@ICSE, 2024)

CAGE: Complementing Arm CCA with GPU Extensions. - Chenxu Wang; Fengwei Zhang; Yunjie Deng; Kevin Leach; Jiannong Cao 001; Zhenyu Ning; Shoumeng Yan; Zhengyu He (NDSS, 2024)

COMCAT: Leveraging Human Judgment to Improve Automatic Documentation and Summarization. - Skyler Grandel; Scott Thomas Andersen; Yu Huang 015; Kevin Leach (CoRR, 2024)

MalMixer: Few-Shot Malware Classification with Retrieval-Augmented Semi-Supervised Learning. - Eric Li; Yifan Zhang; Yu Huang 015; Kevin Leach (CoRR, 2024)

Document Type Classification using File Names. - Zhijian Li; Stefan Larson; Kevin Leach (CoRR, 2024)

FISC: Federated Domain Generalization via Interpolative Style Transfer and Contrastive Learning. - Dung Thuy Nguyen; Taylor T. Johnson; Kevin Leach (CoRR, 2024)

Formal Logic-guided Robust Federated Learning against Poisoning Attacks. - Dung Thuy Nguyen; Ziyan An; Taylor T. Johnson; Meiyi Ma; Kevin Leach (CoRR, 2024)

Towards Fair Pay and Equal Work: Imposing View Time Limits in Crowdsourced Image Classification. - Gordon Lim; Stefan Larson; Yu Huang 015; Kevin Leach (CoRR, 2024)

Label Errors in the Tobacco3482 Dataset. - Gordon Lim; Stefan Larson; Kevin Leach (CoRR, 2024)

EyeTrans: Merging Human and Machine Attention for Neural Code Summarization. - Yifan Zhang; Jiliang Li; Zachary Karas; Aakash Bansal; Toby Jia-Jun Li; Collin McMillan; Kevin Leach; Yu Huang 015 (Proc. ACM Softw. Eng., 2024)

Reducing Malware Analysis Overhead With Coverings. - Michael Sandborn; Zach Stoebner; Westley Weimer; Stephanie Forrest; Ryan E. Dougherty; Jules White; Kevin Leach (IEEE Trans. Dependable Secur. Comput., 2024)

Building a Lightweight Trusted Execution Environment for Arm GPUs. - Chenxu Wang; Yunjie Deng; Zhenyu Ning; Kevin Leach; Jin Li 002; Shoumeng Yan; Zhengyu He; Jiannong Cao 001; Fengwei Zhang (IEEE Trans. Dependable Secur. Comput., 2024)

Hardware-Assisted Live Kernel Function Updating on Intel Platforms. - Lei Zhou 023; Fengwei Zhang; Kevin Leach; Xuhua Ding; Zhenyu Ning; Guojun Wang 001; Jidong Xiao (IEEE Trans. Dependable Secur. Comput., 2024)

A Human Study of Automatically Generated Decompiler Annotations. - Yuwei Yang; Skyler Grandel; Jeremy Lacomis; Edward J. Schwartz; Bogdan Vasilescu; Claire Le Goues; Kevin Leach (DSN, 2025)

MalMixer: Few-Shot Malware Classification with Retrieval-Augmented Semi-Supervised Learning. - Jiliang Li; Yifan Zhang; Yu Huang 015; Kevin Leach (EuroS&P, 2025)

Robust Testing for Deep Learning using Human Label Noise. - Gordon Lim; Stefan Larson; Kevin Leach (DeepTest, 2025)

Who's Pushing the Code? An Exploration of GitHub Impersonation. - Yueke Zhang; Anda Liang; Xiaohan Wang; Pamela J. Wisniewski; Fengwei Zhang; Kevin Leach; Yu Huang (ICSE, 2025)

Optimizing Code Runtime Performance Through Context-Aware Retrieval-Augmented Generation. - Manish Acharya; Yifan Zhang; Kevin Leach; Yu Huang (ICPC, 2025)

PBP: Post-training Backdoor Purification for Malware Classifiers. - Dung Thuy Nguyen; Ngoc N. Tran; Taylor T. Johnson; Kevin Leach (NDSS, 2025)

Applying Large Language Models to Enhance the Assessment of Java Programming Assignments. - Skyler Grandel; Douglas C. Schmidt; Kevin Leach (SIGSOFT FSE Companion, 2025)

Towards a LLM-Based System for Generating and Validating Product Requirements. - Evan Krueger; Taylor J. Carpenter; Kevin Leach; James Weimer (SIGSOFT FSE Companion, 2025)

Enhancing Code LLM Training with Programmer Attention. - Yifan Zhang; Chen Huang 006; Zachary Karas; Dung Thuy Nguyen; Kevin Leach; Yu Huang 015 (SIGSOFT FSE Companion, 2025)

Training Large Language Models to Comprehend LLVM IR via Feedback-Driven Optimization. - Yifan Zhang; Kevin Leach (SIGSOFT FSE Companion, 2025)

Leveraging Human Insights for Enhanced LLM-based Code Repair. - Yifan Zhang; Kevin Leach (SIGSOFT FSE Companion, 2025)

A Human Study of Cognitive Biases in Web Application Security. - Yuwei Yang; Skyler Grandel; Daniel Balasubramanian; Yu Huang 015; Kevin Leach (CoRR, 2025)

CodeGrad: Integrating Multi-Step Verification with Gradient-Based LLM Refinement. - Yueke Zhang; Yifan Zhang; Kevin Leach; Yu Huang (CoRR, 2025)