504 search results - page 25 / 101 » Automatically documenting program changes |
POPL
2010
ACM
15 years 2 months ago
2010
ACM
The availability of commodity multi-core and multi-processor machinesandtheinherentparallelisminconstraintprogrammingsearchoffer significant opportunities for constraint programmi...
173
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...
TAPSOFT
1997
Springer
15 years 1 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
EXPCS
2007
15 years 1 months ago
2007
Utility programs, which perform similar and largely independent operations on a sequence of inputs, include such common applications as compilers, interpreters, and document parse...
CCS
2011
ACM
13 years 9 months ago
2011
ACM
We empirically analyzed sanitizer use in a shipping web application with over 400,000 lines of code and over 23,244 methods, the largest empirical analysis of sanitizer use of whi...