365 search results - page 37 / 73 » Types for Safe Locking |
CAV
2006
Springer
14 years 19 days ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
TLDI
2009
ACM
14 years 5 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
IEEEIAS
2008
IEEE
14 years 3 months ago
2008
IEEE
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...
TLDI
2010
ACM
14 years 5 months ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
MICRO
2008
IEEE
14 years 3 months ago
2008
IEEE
—Transactional memory (TM) is a promising paradigm for helping programmers take advantage of emerging multicore platforms. Though they perform well under low contention, hardware...