981 search results - page 97 / 197 » Symbolic pointer analysis |
104
click to vote
ICDAR
2011
IEEE
14 years 7 days ago
2011
IEEE
—We introduce quantization feature functions to represent continuous or large range discrete data into the symbolic CRF data representation. We show that doing this convertion in...
120
Voted
EUROSYS
2011
ACM
14 years 4 months ago
2011
ACM
Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the dev...
117
Voted
TASLP
2008
15 years 16 days ago
2008
We describe an acoustic chord transcription system that uses symbolic data to train hidden Markov models and gives best-of-class frame-level recognition results. We avoid the extre...
130
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...
191
click to vote
POPL
2008
ACM
16 years 28 days ago
2008
ACM
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...