218 search results - page 15 / 44 » Generating Compiler Optimizations from Proofs |
149
click to vote
ASIACRYPT
2010
Springer
15 years 2 months ago
2010
Springer
sion of an extended abstract published in Proceedings of Asiacrypt 2010, Springer-Verlag, 2010. Available from the IACR Cryptology ePrint Archive as Report 2010/474. Beginning wit...
122
click to vote
SPAA
2009
ACM
16 years 2 months ago
2009
ACM
In this paper, we identify transaction-local memory as a major source of overhead from compiler instrumentation in software transactional memory (STM). Transaction-local memory is...
141
click to vote
SIGPLAN
2002
15 years 4 months ago
2002
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...
123
click to vote
WIESS
2000
15 years 6 months ago
2000
As IPC mechanisms become faster, stub-code efficiency becomes a performance issue for local client/server RPCs and inter-component communication. Inefficient and unnecessary compl...
144
Voted
VMCAI
2007
Springer
15 years 11 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...