Login / Signup
PICO: A Presburger In-bounds Check Optimization for Compiler-based Memory Safety Instrumentations.
Tina Jung
Fabian Ritter
Sebastian Hack
Published in:
ACM Trans. Archit. Code Optim. (2021)
Keyphrases
</>
optimization algorithm
general purpose
optimization method
lower bound
upper bound
worst case
programming language
global optimization
constrained optimization
memory space
upper and lower bounds
optimization problems
memory usage
memory size
neural network
lower and upper bounds
software systems