9 citations · 16 across the 5 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.SE2019★ 4 cited
The Dynamics of Software Composition Analysis
Darius Foo, Jason Yeo, Hao Xiao +1
Developers today use significant amounts of open source code, surfacing the need for ways to automatically audit and upgrade library dependencies, and giving rise to the subfield o…
cs.PL2019
Automated Verification of Integer Overflow
Asankhaya Sharma
Integer overflow accounts for one of the major source of bugs in software. Verification systems typically assume a well defined underlying semantics for various integer operations…