16 citations · 94 across the 59 of their papers we have counts for
11 papers · 1 filter
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…