1100 search results - page 82 / 220 » Instrumenting annotated programs |
129
Voted
HOTOS
2007
IEEE
15 years 6 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...
126
click to vote
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
Heterogeneous systems, systems with multiple processors tailored for specialized tasks, are challenging programming environments. While it may be possible for domain experts to op...
141
click to vote
FAC
2010
14 years 11 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
131
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
134
Voted
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...