178
Voted
POPL
15 years 10 months ago
2009 ACM 
Transactional memory (TM) provides a safer, more modular, and more scalable alternative to traditional lock-based synchronization. Implementing high performance TM systems has rec...
124
Voted
POPL
15 years 10 months ago
2009 ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
136
Voted
POPL
15 years 10 months ago
2009 ACM
With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Functional programming languages, such as Haskel...
231
click to vote
POPL
16 years 4 months ago
2009 ACM
A bidirectional transformation consists of a function get that takes a source (document or value) to a view and a function put that takes an updated view and the original source b...
259
Voted
POPL
16 years 4 months ago
2009 ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
|
Programming Languages