2 papers
cs.PL2022
DFI: An Interprocedural Value-Flow Analysis Framework that Scales to Large Codebases
Min-Yih Hsu, Felicitas Hetzelt, Michael Franz
Context- and flow-sensitive value-flow information is an important building block for many static analysis tools. Unfortunately, current approaches to compute value-flows do not sc…
cs.PL2022
A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing
Min-Yih Hsu, Felicitas Hetzelt, David Gens +2
Estimating instruction-level throughput is critical for many applications: multimedia, low-latency networking, medical, automotive, avionic, and industrial control systems all rely…