1932 search results - page 318 / 387 » Molecule-oriented programming in Java |
209
Voted
POPL
2006
ACM
16 years 29 days ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
128
click to vote
CADE
2002
Springer
16 years 29 days ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
91
Voted
ICSE
2008
IEEE-ACM
16 years 22 days ago
2008
IEEE-ACM
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...
118
click to vote
SOSP
2009
ACM
15 years 9 months ago
2009
ACM
Reproducing bugs is hard. Deterministic replay systems address this problem by providing a high-fidelity replica of an original program run that can be repeatedly executed to zer...
81
Voted
WWW
2010
ACM
15 years 7 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...