3 papers
cs.PL2025
Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression
Samuel J. Kaufman, René Just, Rastislav Bodik
High-throughput neural network inference requires coordinating many optimization decisions, including parallel tiling, microkernel selection, and data layout. The product of these…
cs.SE2024
Call Graph Soundness in Android Static Analysis
Jordan Samhi, René Just, Tegawendé F. Bissyandé +2
Static analysis is sound in theory, but an implementation may unsoundly fail to analyze all of a program's code. Any such omission is a serious threat to the validity of the tool's…
cs.SE2024
AI-Assisted Assessment of Coding Practices in Modern Code Review
Manushree Vijayvergiya, MaÅgorzata Salawa, Ivan BudiseliÄ +10
Modern code review is a process in which an incremental code contribution made by a code author is reviewed by one or more peers before it is committed to the version control syste…