15885 search results - page 2498 / 3177 » The Modest Software Engineer |
279
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
266
click to vote
MOBISYS
2006
ACM
16 years 6 months ago
2006
ACM
Tool support for mobile application development can significantly improve programmer productivity and software quality. Pegboard is a novel tooling framework that extends the Ecli...
200
click to vote
EUROSYS
2009
ACM
16 years 4 months ago
2009
ACM
In a Multi-Variant Execution Environment (MVEE), several slightly different versions of the same program are executed in lockstep. While this is done, a monitor compares the behav...
171
click to vote
EUROSYS
2009
ACM
16 years 4 months ago
2009
ACM
Managing the power consumption of computing platforms is a complicated problem thanks to a multitude of hardware configuration options and characteristics. Much of the academic r...
207
Voted
EUROSYS
2006
ACM
16 years 4 months ago
2006
ACM
Many software attacks are based on injecting malicious code into a target host. This paper demonstrates the use of a wellknown technique, data tainting, to track data received fro...