Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Blazes: Coordination Analysis for Distributed Programs   Distributed consistency is perhaps the most discussed topic in distributed
systems today. Coordination protocols can ensure consistency, but in practice
they cause undesirable performance unless used judiciously. Scalable
distributed architectures avoid coordination whenever possible, but
under-coordinated systems can exhibit behavioral anomalies under fault, which
are often extremely difficult to debug. This raises significant challenges for
distributed system architects and developers. In this paper we present Blazes,
a cross-platform program analysis framework that (a) identifies program
locations that require coordination to ensure consistent executions, and (b)
automatically synthesizes application-specific coordination code that can
significantly outperform general-purpose techniques. We present two case
studies, one using annotated programs in the Twitter Storm system, and another
using the Bloom declarative language.

10
The categories of this paper are: q-bio
9
The categories of this paper are: nlin
17
The categories of this paper are: q-fin
25
The categories of this paper are: patt-sol
3
The categories of this paper are: physics
12
The categories of this paper are: nucl-th
6
The categories of this paper are: astro-ph
8
The categories of this paper are: hep-ex
13
The categories of this paper are: quant-ph
19
The categories of this paper are: eess
29
The categories of this paper are: funct-an
36
The categories of this paper are: cmp-lg
27
The categories of this paper are: comp-gas
14
The categories of this paper are: math-ph
22
The categories of this paper are: chao-dyn
7
The categories of this paper are: hep-th