CGO
2016
IEEE
8 years 28 days ago
2016
IEEE
CGO
2016
IEEE
8 years 28 days ago
2016
IEEE
After a software system is compromised, it can be difficult to understand what vulnerabilities attackers exploited. Any information residing on that machine cannot be trusted as ...
CGO
2016
IEEE
8 years 28 days ago
2016
IEEE
A program subject to a Return-Oriented Programming (ROP) attack usually presents an execution trace with a high frequency of indirect branches. From this observation, several rese...
CGO
2016
IEEE
8 years 28 days ago
2016
IEEE
For C programs, flow-sensitivity is important to enable pointer analysis to achieve highly usable precision. Despite significant recent advances in scaling flow-sensitive point...
CGO
2016
IEEE
8 years 28 days ago
2016
IEEE
Static and dynamic power constraints are steering chip manufacturers to build single-ISA Asymmetric Multicore Processors (AMPs) with big and small cores. To deliver on their energ...
CGO
2016
IEEE
8 years 28 days ago
2016
IEEE
We present a validator for checking the correctness of LLVM compiler optimizations on C11 programs as far as concurrency is concerned. Our validator checks that optimizations do n...
CGO
2016
IEEE
8 years 28 days ago
2016
IEEE
A broad class of applications involve indirect or datadependent memory accesses and are referred to as irregular applications. Recent developments in SIMD architectures – speci...