2957 search results - page 307 / 592 » Code analysis and CS-XML |
138
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
We empirically analyzed sanitizer use in a shipping web application with over 400,000 lines of code and over 23,244 methods, the largest empirical analysis of sanitizer use of whi...
132
click to vote
ALMOB
2006
15 years 4 months ago
2006
Two important and not yet solved problems in bacterial genome research are the identification of horizontally transferred genes and the prediction of gene expression levels. Both ...
177
click to vote
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
132
click to vote
TLDI
2009
ACM
16 years 1 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
115
click to vote
CODES
2009
IEEE
15 years 11 months ago
2009
IEEE
– There has been a recent shift in design paradigms, with many turning towards yield-driven approaches to synthesize and design systems. A major cause of this shift is the contin...