A uniform type structure for secure information flow
Kohei Honda, Nobuko Yoshida
Encapsulating objects with confined types
Christian Grothoff, Jens Palsberg, Jan Vitek
The embedded machine: predictable, portable real-time code
Thomas A. Henzinger, Christoph M. Kirsch
A step towards unifying schedule and storage optimization
William Thies, Frédéric Vivien, Saman Amarasinghe
Dynamic graph-based software fingerprinting
Christian Collberg, Clark Thomborson, Gregg Townsend
A proof theory for machine code
Atsushi Ohori
Optimizing indirect branch prediction accuracy in virtual machine interpreters
Kevin Casey, M. Anton Ertl, David Gregg
An improved bound for call strings based interprocedural analysis of bit vector frameworks
Bageshri Karkare, Uday P. Khedker
Goal-directed weakening of abstract interpretation results
Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: