26 citations · 30 across the 5 of their papers we have counts for
3 papers · 1 filter
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…
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…
FPGA Technology Mapping Using Sketch-Guided Program Synthesis
Gus Henry Smith, Ben Kushigian, Vishal Canumalla +6
FPGA technology mapping is the process of implementing a hardware design expressed in high-level HDL (hardware design language) code using the low-level, architecture-specific prim…