Quantum algorithms often apply classical operations, such as arithmetic or predicate checks, over a quantum superposition of data; these so-called oracles are the largest components program. To ease construction efficient, correct oracle functions, this paper presents VQO, high-assurance framework implemented with Coq proof assistant. The core VQO is OQASM, assembly language. OQASM operations m...

Software protections against side-channel and physical attacks are essential to the development of secure applications. Such meaningful at machine code or micro-architectural level, but they typically do not carry observable semantics source level. This renders them susceptible miscompilation, security engineers embed input/output side-effects prevent optimizing compilers from altering them. Ye...

This study presents our contributions to High Performance Fortran HPF compilation HPF is a data parallel language based on Fortran Directives are used to specify parallelism and data mapping onto distributed memory parallel architectures We aim at translating a global addressing implicit communication HPF pro gram into a message passing parallel model with local addressing and explicit communic...

We propose a perspective on knowledge compilation which calls for analyzing different compilation approaches according to two key dimensions: the succinctness of the target compilation language, and the class of queries and transformations that the language supports in polytime. We then provide a knowledge compilation map, which analyzes a large number of existing target compilation languages a...