1821 search results - page 254 / 365 » Security-Aware Program Transformations |
122
Voted
DSN
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, we propose a novel technique to detect all dangling pointer uses at run-time that is efficient enough for production use in server codes. One idea (previously used ...
86
Voted
ICFP
2008
ACM
16 years 24 days ago
2008
ACM
The increasing availability of commodity multicore processors is making parallel computing available to the masses. Traditional parallel languages are largely intended for large-s...
105
Voted
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
140
Voted
FIDJI
2003
Springer
15 years 6 months ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
156
Voted
JDCTA
2010
14 years 7 months ago
2010
To solve the cruise two-dimensional revenue management problem and develop such an automated system under uncertain environment, a static model which is a stochastic integer progr...