Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: BuDDI: A Declarative Bloom Language for CALM Programming   Coordination protocols help programmers of distributed systems reason about
the effects of transactions on the state of the system, but they're not cheap.
Coordination protocols may involve multiple rounds of communication, which can
hurt system responsiveness. There exist many efforts in distributed computing
for managing the coordination-performance trade-off. More recent is a line of
work that characterizes the class of workloads for which coordination is not
necessary for consistency: namely, logically monotonic programs. In this paper,
we present a case study of logical monotonicity in workloads typical to
computational biology. We leverage the Bloom language to write efficient
distributed programs, and compare their performance to equivalent programs
written in UPC++, a popular language for writing distributed programs.
Additionally, we leverage Bloom's analysis tools to identify
points-of-coordination, and use our own experience using Bloom to recommend
some higher-level abstractions for users without strong distributed computing
backgrounds.

24
The categories of this paper are: dg-ga
29
The categories of this paper are: funct-an
25
The categories of this paper are: patt-sol
35
The categories of this paper are: mtrl-th
14
The categories of this paper are: math-ph
21
The categories of this paper are: adap-org
27
The categories of this paper are: comp-gas
3
The categories of this paper are: physics
4
The categories of this paper are: cond-mat
10
The categories of this paper are: q-bio
2
The categories of this paper are: math
28
The categories of this paper are: alg-geom
33
The categories of this paper are: plasm-ph
18
The categories of this paper are: econ
15
The categories of this paper are: nucl-ex
20
The categories of this paper are: acc-phys