-
Predicting Rankings of Software Verification Competitions
Authors:
Mike Czech,
Eyke Hüllermeier,
Marie-Christine Jakobs,
Heike Wehrheim
Abstract:
Software verification competitions, such as the annual SV-COMP, evaluate software verification tools with respect to their effectivity and efficiency. Typically, the outcome of a competition is a (possibly category-specific) ranking of the tools. For many applications, such as building portfolio solvers, it would be desirable to have an idea of the (relative) performance of verification tools on a…
▽ More
Software verification competitions, such as the annual SV-COMP, evaluate software verification tools with respect to their effectivity and efficiency. Typically, the outcome of a competition is a (possibly category-specific) ranking of the tools. For many applications, such as building portfolio solvers, it would be desirable to have an idea of the (relative) performance of verification tools on a given verification task beforehand, i.e., prior to actually running all tools on the task.
In this paper, we present a machine learning approach to predicting rankings of tools on verification tasks. The method builds upon so-called label ranking algorithms, which we complement with appropriate kernels providing a similarity measure for verification tasks. Our kernels employ a graph representation for software source code that mixes elements of control flow and program dependence graphs with abstract syntax trees. Using data sets from SV-COMP, we demonstrate our rank prediction technique to generalize well and achieve a rather high predictive accuracy. In particular, our method outperforms a recently proposed feature-based approach of Demyanova et al. (when applied to rank predictions).
△ Less
Submitted 2 March, 2017;
originally announced March 2017.
-
Unintegrated parton distributions and pion production in pp collisions at RHIC's energies
Authors:
Marta Czech,
Antoni Szczurek
Abstract:
We compare results of $2 \to 1$ $k_t$-factorization approach with Kwieciński unintegrated parton distributions and the standard collinear factorization approach at RHIC and slightly smaller energies. Our approach contains only one free parameter responsible for internal parton motion in nucleons. In contrast to recent works in the literature our $k_t$-factorization approach includes also quark d…
▽ More
We compare results of $2 \to 1$ $k_t$-factorization approach with Kwieciński unintegrated parton distributions and the standard collinear factorization approach at RHIC and slightly smaller energies. Our approach contains only one free parameter responsible for internal parton motion in nucleons. In contrast to recent works in the literature our $k_t$-factorization approach includes also quark degrees of freedom in addition to purely gluonic terms. Both mid and forward rapidity regions are considered. We discuss uncertainties due to fragmentation functions. In general, the $k_t$-factorization approach gives a better description of the $p_t \sim$ 1 -- 4 GeV region both at mid and forward rapidity regions. Our approach leads to asymmetry in the production of $π^+$ and $π^-$, very similar to the one observed very recently by the BRAHMS collaboration.
△ Less
Submitted 3 October, 2005;
originally announced October 2005.
-
Unintegrated CCFM parton distributions and pion production in proton-proton collisions at high energies
Authors:
M. Czech,
A. Szczurek
Abstract:
Inclusive cross sections for pion production in proton-proton collisions are calculated for the first time based on unintegrated parton (gluon, quark, antiquark) distributions (uPDF). We use Kwieciński uPDF's and phenomenological fragmentation functions from the literature. In addition to the $gg \to g$ diagram used recently for applications at RHIC we include also $g q \to q$ and $q g \to q$ di…
▽ More
Inclusive cross sections for pion production in proton-proton collisions are calculated for the first time based on unintegrated parton (gluon, quark, antiquark) distributions (uPDF). We use Kwieciński uPDF's and phenomenological fragmentation functions from the literature. In addition to the $gg \to g$ diagram used recently for applications at RHIC we include also $g q \to q$ and $q g \to q$ diagrams. We find that the new contributions are comparable to the purely gluonic one at midrapidities and dominate in the fragmentation region. The new mechanisms are responsible for $π^+ - π^-$ asymmetry. We discuss how the asymmetry depends on $x_F$ and $p_t$. Inclusive distributions in $x_F$ (or rapidity) and transverse momentum for partons and pions are shown for illustration. In contrast to standard collinear approach in our approach the range of applicability can be extended towards much lower transverse momenta.
△ Less
Submitted 21 January, 2005; v1 submitted 11 January, 2005;
originally announced January 2005.
-
Unintegrated parton distributions and meson production in hadronic collisions
Authors:
Antoni Szczurek,
Marta Czech
Abstract:
The inclusive distributions of gluons and pions for high-energy NN collisions are calculated. The results for several unintegrated gluon distributions (UGD's) from the literature are compared. We find huge differences in both rapidity and $p_t$ of gluons and $π$'s in NN collisions for different models of UGD's. The Karzeev-Levin UGD gives good description of momentum distribution of charged hadr…
▽ More
The inclusive distributions of gluons and pions for high-energy NN collisions are calculated. The results for several unintegrated gluon distributions (UGD's) from the literature are compared. We find huge differences in both rapidity and $p_t$ of gluons and $π$'s in NN collisions for different models of UGD's. The Karzeev-Levin UGD gives good description of momentum distribution of charged hadrons at midrapidities. We find, however, that the gluonic mechanism discussed does not describe the inclusive distributions of charged particles in the fragmentation region. Some of the missing mechanisms are calculated with the help of unintegrated parton distributions being solutions of the Kwieciński CCFM equations. We predict an asymmetry in $π^+$ and $π^-$ production which could be studied by the BRAHMS collaboration at RHIC.
△ Less
Submitted 21 June, 2004;
originally announced June 2004.