Publications (9)
Dynamics of unconfined spherical flames
Louis Leblanc, Maha Manoubi, Kadeem Dennis +3
Using the soap bubble technique, we visualize the dynamics of unconfined hydrogen-air flames using high speed schlieren video. We show that for sufficiently weak mixtures, i.e., lo…
FedHQ: Hybrid Runtime Quantization for Federated Learning
Zihao Zheng, Ziyao Wang, Xiuping Cui +6
Federated Learning (FL) is a decentralized model training approach that preserves data privacy but struggles with low efficiency. Quantization, a powerful training optimization tec…
AI-Mediated Hiring and the Job Search of Blind and Low-Vision Individuals
Kashif Imteyaz, Qiushi, Liang +3
Blind and low-vision (BLV) individuals face high unemployment rates. The job search is becoming harder as more employers use AI-driven systems to screen resumes before a human ever…
OriGen:Enhancing RTL Code Generation with Code-to-Code Augmentation and Self-Reflection
Fan Cui, Chenyang Yin, Kexing Zhou +9
Recent studies have demonstrated the significant potential of Large Language Models (LLMs) in generating Register Transfer Level (RTL) code, with notable advancements showcased by…
On the Optical Accuracy of the Salvator Mundi
Marco, Liang, Michael T. Goodrich +1
A debate in the scientific literature has arisen regarding whether the orb depicted in Salvator Mundi, which has been attributed by some experts to Leonardo da Vinci, was rendered…
NOVA: Coordinated Test Selection and Bayes-Optimized Constrained Randomization for Accelerated Coverage Closure
Weijie Peng, Nanbing Li, Jin Luo +5
Functional verification relies on large simulation-based regressions. Traditional test selection relies on static test features and overlooks actual coverage behavior, wasting subs…