334 search results - page 26 / 67 » MDL: A Language and Compiler for Dynamic Program Instrumenta... |
119
Voted
TIC
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. There is a growing need to provide low-overhead softwarebased protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-ca...
102
Voted
POPL
2010
ACM
15 years 9 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
102
click to vote
ASPLOS
2006
ACM
15 years 4 months ago
2006
ACM
We report our experience in implementing type and memory safety in an efficient manner for sensor network nodes running TinyOS: tiny embedded systems running legacy, C-like code. ...
98
Voted
SAIG
2000
Springer
15 years 4 months ago
2000
Springer
Traditional offline program specialization relies on staging of a computation into two levels, static and dynamic. We present a generalization thereof where the static input data o...
109
click to vote
ASPLOS
2008
ACM
15 years 2 months ago
2008
ACM
Indirect jump instructions are used to implement increasinglycommon programming constructs such as virtual function calls, switch-case statements, jump tables, and interface calls...