540 search results - page 52 / 108 » Protection in Programming-Language Translations |
111
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
137
Voted
CASES
2010
ACM
15 years 20 days ago
2010
ACM
Dynamic binary translators (DBTs) are becoming increasingly important because of their power and flexibility. However, the high memory demands of DBTs present an obstacle for all ...
209
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed t...
118
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
Dynamic binding and delimited control are useful together in many settings, including Web applications, database cursors, and mobile code. We examine this pair of language feature...
132
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...