612 search results - page 113 / 123 » Division for Foundation of Software |
175
click to vote
PLDI
2009
ACM
16 years 18 days ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
187
click to vote
SAC
2009
ACM
16 years 18 days ago
2009
ACM
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...
210
Voted
FOSSACS
2009
Springer
16 years 17 days ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
161
Voted
CASES
2009
ACM
16 years 9 days ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
146
click to vote
CCS
2007
ACM
15 years 12 months ago
2007
ACM
Several credential systems have been proposed in which users can authenticate to services anonymously. Since anonymity can give users the license to misbehave, some variants allow...