6 search results - page 1 / 2 » Genetic Programming on Program Traces as an Inference Engine... |
POPL
2007
ACM
14 years 4 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
PLDI
2009
ACM
14 years 5 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
ESOP
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
CSMR
2005
IEEE
13 years 10 months ago
2005
IEEE
Building reverse engineering or reengineering tools often requires parsers for many different programming languages. The diffusion of dialects and variants makes many available pa...
POPL
2005
ACM
14 years 4 months ago
2005
ACM
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...