16 citations · 94 across the 59 of their papers we have counts for
65 papers
On a Separate Note: Robust Score-Informed Note Separation with a Two-Stream TFC-TDF U-Net and Adaptive Set Ownership
Benjamin Shiue-Hal Chou, Purvish Jajal, Nicholas John Eliopoulos +5
Score-informed note separation seeks to extract the performed waveform of all individual notes, often from a polyphonic recording. Existing deep learning systems generally only tar…
Object Model Analysis of a Supercomputer with Digital Twin
Shilpika Shilpika, George K. Thiruvathukal, Venkatram Vishwanath +1
Operators and developers need a mental model of both the structure and the live behavior of a large supercomputer, but its physical layout, logical organization, and streams of per…
TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
Eric Spencer, Arslan Bisharat, Brian Ortiz +6
TLA+ is a formal specification language for verifying distributed systems and safety-critical protocols. Large language models (LLMs) frequently produce TLA+ specifications that fa…
TLA+-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA Specification Generation
Arslan Bisharat, Eric Spencer, Brian Ortiz +8
Large language models increasingly write TLA formal specifications from natural-language descriptions, but progress is hard to measure: existing resources grade by resemblanc…
Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation
Arslan Bisharat, Brian Ortiz, Eric Spencer +5
TLA+ has supported industrial verification at companies such as Amazon and Microsoft, yet writing correct TLA+ specifications from natural language still requires time and expertis…
Now's the Time: Computer Science Must Evolve to Emphasize Software and Systems Engineering with Artificial Intelligence (AI)
Chandra N. Sekharan, George K. Thiruvathukal
Computer science (CS) education needs to evolve to support software and artificial intelligence (AI) systems engineering, and it needs to happen now -- precisely because the core i…
Evaluation of Winning Solutions of 2025 Low Power Computer Vision Challenge
Zihao Ye, Yung-Hsiang Lu, Xiao Hu +14
The IEEE Low-Power Computer Vision Challenge (LPCVC) aims to promote the development of efficient vision models for edge devices, balancing accuracy with constraints such as latenc…
HeyFriend Helper: A Conversational AI Web-App for Resource Access Among Low-Income Chicago Residents
Maddie Juarez, Abha Rai, Kristen E. Ravi +6
Low-income individuals can face multiple challenges in their ability to seek employment. Barriers to employment often include limited access to digital literacy resources, training…
Beyond Local Code Optimization: Multi-Agent Reasoning for Software System Optimization
Huiyun Peng, Parth Vinod Patil, Antonio Zhong Qiu +2
Large language models and AI agents have recently shown promise in automating software performance optimization, but existing approaches predominantly rely on local, syntax-driven…
An Empirical Investigation of Pre-Trained Deep Learning Model Reuse in the Scientific Process
Nicholas M. Synovic, Karolina Ryzka, Alessandra V. Vellucci Solari +3
Deep learning has achieved recognition for its impact within natural sciences, yet the prohibitive financial and technical cost of training models from scratch inhibit adoption. Fo…
Operationalizing Research Software for Supply Chain Security
Kelechi G. Kalu, Soham Rattan, Taylor R. Schorlemmer +3
Empirical studies of research software are hard to compare because the literature operationalizes ``research software'' inconsistently. Motivated by the research software supply ch…
AdaPerceiver: Transformers with Adaptive Width, Depth, and Tokens
Purvish Jajal, Nick John Eliopoulos, Benjamin Shiue-Hal Chou +3
Modern transformer architectures achieve remarkable performance across tasks and domains but remain rigid in how they allocate computation at inference time. Real-world deployment…
Process-based Indicators of Vulnerability Re-Introducing Code Changes: An Exploratory Case Study
Samiha Shimmi, Nicholas M. Synovic, Mona Rahimi +1
Software vulnerabilities often persist or re-emerge even after being fixed, revealing the complex interplay between code evolution and socio-technical factors. While source code me…
LadderSym: A Multimodal Interleaved Transformer for Music Practice Error Detection
Benjamin Shiue-Hal Chou, Purvish Jajal, Nick John Eliopoulos +4
Music learners can greatly benefit from tools that accurately detect errors in their practice. Existing approaches typically compare audio recordings to music scores using heuristi…
2024 NSF CSSI-Cybertraining-SCIPE PI Meeting August 12 to 13, 2024, Charlotte, NC
Abani Patra, Mary Thomas, Elias Bou-Harb +31
The second annual NSF, OAC CSSI, CyberTraining and related programs PI meeting was held August 12 to 13 in Charlotte, NC, with participation from PIs or representatives of all majo…
SysLLMatic: Large Language Models are Software System Optimizers
Huiyun Peng, Arjun Gupte, Ryan Hasler +7
Automatic software system optimization can improve software speed, reduce operating costs, and save energy. Traditional approaches to optimization rely on manual tuning and compile…
Inference-Time Alignment of Diffusion Models via Evolutionary Algorithms
Purvish Jajal, Nick John Eliopoulos, Benjamin Shiue-Hal Chou +3
Diffusion models are state-of-the-art generative models, yet their samples often fail to satisfy application objectives such as safety constraints or domain-specific validity. Exis…
Improving the Reproducibility of Deep Learning Software: An Initial Investigation through a Case Study Analysis
Nikita Ravi, Abhinav Goel, James C. Davis +1
The field of deep learning has witnessed significant breakthroughs, spanning various applications, and fundamentally transforming current software capabilities. However, alongside…
Exact Dynamics and Bloch Oscillations in a Non Hermitian Zigzag Glauber Fock Lattice
G. S. Fahara-Ojeda, L. A. Tapia-Alarcón, B. M. Villegas-Martínez +8
The discrete dynamics of a one-dimensional non-hermitian zigzag waveguide array is studied theoretically. This system is characterized by unbalanced left/right nearest-neighbor hop…
Can Large-Language Models Help us Better Understand and Teach the Development of Energy-Efficient Software?
Ryan Hasler, Konstantin Läufer, George K. Thiruvathukal +5
Computing systems are consuming an increasing and unsustainable fraction of society's energy footprint, notably in data centers. Meanwhile, energy-efficient software engineering te…
Large Language Models for Energy-Efficient Code: Emerging Results and Future Directions
Huiyun Peng, Arjun Gupte, Nicholas John Eliopoulos +8
Energy-efficient software helps improve mobile device experiences and reduce the carbon footprint of data centers. However, energy goals are often de-prioritized in order to meet o…
WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+
Konstantin Läufer, Gunda Mertin, George K. Thiruvathukal
Background: In this paper, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), in…
What do we know about Hugging Face? A systematic literature review and quantitative validation of qualitative claims
Jason Jones, Wenxin Jiang, Nicholas Synovic +2
Background: Collaborative Software Package Registries (SPRs) are an integral part of the software supply chain. Much engineering work synthesizes SPR package into applications. Pri…
From Attack to Defense: Insights into Deep Learning Security Measures in Black-Box Settings
Firuz Juraev, Mohammed Abuhamad, Eric Chan-Tin +2
Deep Learning (DL) is rapidly maturing to the point that it can be used in safety- and security-crucial applications. However, adversarial samples, which are undetectable to the hu…