280 search results - page 41 / 56 » Security of Multithreaded Programs by Compilation |
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...
CODES
2005
IEEE
15 years 5 months ago
2005
IEEE
Byte-code based languages are slowly becoming adopted in embedded domains because of improved security and portability. Another potential reason for their adoption is the reputati...
140
click to vote
ASPLOS
2011
ACM
14 years 3 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
100
click to vote
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...
104
Voted
PLDI
2003
ACM
15 years 4 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...