Computer Science

A Two-stage Optimization Method for Wide-range Single-electron Quantum Magnetic Sensing

A Virtual Quantum Network Prototype for Open Access

Outage-Aware Multi-Domain Network Slicing for Satellite-Airborne-Terrestrial Networks with Multiple Configurations

IEEE Transactions on Wireless Communications.

Darknet Traffic Classification Using the XAI Framework

2025 IEEE 22ND CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE, CCNC.

High Resolution Position Tracking Using Low Frequency Linear Chirp Signals

2025 IEEE 22ND CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE, CCNC.

Transforming Network Intrusion Detection Using Large Language Models

2025 IEEE 22ND CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE, CCNC.

An adaptive multimodal fusion framework for smartphone-based medication adherence monitoring of Parkinson’s disease

Smart Health.

Continuous prediction of user dropout in a mobile mental health intervention program: An exploratory machine learning approach

Smart Health.

Argus: Programming with communication protocols in a belief-desire-intention architecture

Artificial Intelligence.

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling

Verification of Scientific Software (VSS 2025), a workshop of ETAPS 2025: European Joint Conferences on Theory and Practice of Software. Presented at the Hamilton, Ontario, Canada. Hamilton, Ontario, Canada.

CRA Professional Development Pre-Symposium for Teaching-Track Faculty

SIGCSE TS. Presented at the SIGCSE TS 2025, Pittsburgh, PA.

Efficient End-to-end Language Model Fine-tuning on Graphs

Xue, R., Shen, X., Yu, R., & Liu, X. (2025, August 3).

Mobile-3DCNN: An Acceleration Framework for Ultra-Real-Time Execution of Large 3D CNNs on Mobile Devices

ACM Transactions on Architecture and Code Optimization.

Shaky structures: The wobbly world of causal graphs in software analytics

Empirical Software Engineering.

Analyzing the dependability of Large Language Models for code clone generation

JOURNAL OF SYSTEMS AND SOFTWARE, 230.

Mining temporal attack patterns from cyberthreat intelligence reports

Rahman, M. R., Wroblewski, B., Matthews, Q., Morgan, B., Menzies, T., & Williams, L. (2025, July 22). KNOWLEDGE AND INFORMATION SYSTEMS, Vol. 7.

Physics-Informed Mixed-Criticality Scheduling for F1Tenth Cars with Preemptable ROS 2 Executors

2025 IEEE 31st Real-Time and Embedded Technology and Applications Symposium (RTAS).

Rank-Based Modeling for Universal Packets Compression in Multi-Modal Communications

2025 IEEE 26th International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM).

SRSparse: Generating Codes for High-Performance Sparse Matrix-Vector Semiring Computations

ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 22(2).

A Reinforcement Learning Framework for Application-Specific TCP Congestion-Control

ArXiv Preprint ArXiv:2505.07042.

Ladder: A Convergence-based Structured ${$DAG$}$ Blockchain for High Throughput and Low Latency

22nd USENIX Symposium on Networked Systems Design and Implementation (NSDI 25), 779–794.

A Comprehensive Survey of Research Trends in mmWave Technologies for Medical Applications

[Review of ]. SENSORS, 25(12).

Do we like honest signal givers? Macro and micro expressions of disgust

Glowacki, Z. R., Frank, M. G., Xu, W., Setlur, S., Xu, C., & Glowacki, C. R. (2025, June 30). CURRENT PSYCHOLOGY, Vol. 6.

Using Immersive Technologies to Teach Technical Skills in Biotechnology

Srougi, M., Cartwright, E., Spencer, D., Mckeown, C., Tredwell, D., Potts, C., & Jhala, A. (2025, May). JOURNAL OF BIOLOGICAL CHEMISTRY, Vol. 301.

A 10.60 μW 150 GOPS Mixed-Bit-Width Sparse CNN Accelerator for Life-Threatening Ventricular Arrhythmia Detection

30TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, ASP-DAC 2025, pp. 315–316.