7139 search results - page 1342 / 1428 » Language Engineering in Practice |
134
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
149
click to vote
SOSP
2005
ACM
16 years 29 days ago
2005
ACM
Overlay networks are used today in a variety of distributed systems ranging from file-sharing and storage systems to communication infrastructures. However, designing, building a...
146
click to vote
SOSP
2009
ACM
16 years 29 days ago
2009
ACM
RESIN is a new language runtime that helps prevent security vulnerabilities, by allowing programmers to specify application-level data flow assertions. RESIN provides policy obje...
147
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Data races are one of the most common and subtle causes of pernicious concurrency bugs. Static techniques for preventing data races are overly conservative and do not scale well t...
137
click to vote
LCTRTS
2009
Springer
15 years 10 months ago
2009
Springer
Register allocation is often a two-phase approach: spilling of registers to memory, followed by coalescing of registers. Extreme liverange splitting (i.e. live-range splitting aft...