Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Data optimizations for constraint automata   Constraint automata (CA) constitute a coordination model based on finite
automata on infinite words. Originally introduced for modeling of coordinators,
an interesting new application of CAs is implementing coordinators (i.e.,
compiling CAs into executable code). Such an approach guarantees
correctness-by-construction and can even yield code that outperforms
hand-crafted code. The extent to which these two potential advantages
materialize depends on the smartness of CA-compilers and the existence of
proofs of their correctness.
  Every transition in a CA is labeled by a "data constraint" that specifies an
atomic data-flow between coordinated processes as a first-order formula. At
run-time, compiler-generated code must handle data constraints as efficiently
as possible. In this paper, we present, and prove the correctness of two
optimization techniques for CA-compilers related to handling of data
constraints: a reduction to eliminate redundant variables and a translation
from (declarative) data constraints to (imperative) data commands expressed in
a small sequential language. Through experiments, we show that these
optimization techniques can have a positive impact on performance of generated
executable code.

33
The categories of this paper are: plasm-ph
15
The categories of this paper are: nucl-ex
11
The categories of this paper are: hep-lat
37
The categories of this paper are: supr-con
22
The categories of this paper are: chao-dyn
18
The categories of this paper are: econ
26
The categories of this paper are: bayes-an
9
The categories of this paper are: nlin
2
The categories of this paper are: math
10
The categories of this paper are: q-bio
31
The categories of this paper are: ao-sci
25
The categories of this paper are: patt-sol
16
The categories of this paper are: stat
5
The categories of this paper are: gr-qc
36
The categories of this paper are: cmp-lg
24
The categories of this paper are: dg-ga