811 search results - page 1 / 163 » Probabilistic Semantics and Program Analysis |
APLAS
2007
ACM
14 years 2 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...
SFM
2010
Springer
14 years 4 months ago
2010
Springer
ICPP
2008
IEEE
14 years 5 months ago
2008
IEEE
Probabilistic Latent Semantic Analysis (PLSA) is one of the most popular statistical techniques for the analysis of two-model and co-occurrence data. It has applications in inform...
ICDE
2008
IEEE
14 years 5 months ago
2008
IEEE
We formulate three intuitive semantic properties for topk queries in probabilistic databases, and propose GlobalTopk query semantics which satisfies all of them. We provide a dyn...
IEEEARES
2009
IEEE
13 years 8 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...