To ease the development of geo-distributed applications, replicated data types (RDTs) offer a familiar programming interface while ensuring state convergence, low latency, and high availability. However, RDTs are still designed exclusively by experts using ad-hoc solutions that error-prone result in brittle systems. Recent works statically detect conflicting operations on existing coordinate th...

strengthening the health workforce and universal health coverage (uhc) are among key targets in the heathrelated sustainable development goals (sdgs) to be committed by the united nations (un) member states in september 2015. the health workforce, the backbone of health systems, contributes to functioning delivery systems. equitable distribution of functioning services is indispensable to achie...

We describe a novel technique for code selection based on data ow graphs which arise naturally in the domain of digital signal processing Code selection is the optimized mapping of abstract opera tions to partial machine instructions The presented method performs an important task within the retargetable microcode generator CBC which was designed to cope with the requirements arising in the con...

Programs that are not loop intensive and which have small basic blocks present a challenge to architectures that rely on instruction level parallelism to deliver high performance. This paper presents a heuristic for moving operations across basic block boundaries based on profile information gathered from previous executions of a program. Architectural support is required for executing these op...

We describe a novel technique for code selection based on data-flow graphs, which arise naturally in the domain of digital signal processing. Code selection is the optimized mapping of abstract operations to partial machine instructions. The presented method performs an important task within the retargetable microcode generator CBC, which was designed to cope with the requirements arising in th...