1628 search results - page 152 / 326 » Compiler Construction Using Scheme |
172
click to vote
FUIN
2007
15 years 6 months ago
2007
Proof-carryingcode provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set o...
171
Voted
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
156
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
169
click to vote
ASPDAC
2009
ACM
16 years 20 days ago
2009
ACM
Abstract— In an effort to make processors more power efficient scratch pad memory (SPM) have been proposed instead of caches, which can consume majority of processor power. Howe...
156
Voted
HICSS
2007
IEEE
16 years 14 days ago
2007
IEEE
When we have multiple users compiling a single message, including shared contents, metadata, policy, and so on, the integrity of the contents created by individual users needs to ...