R. Bernecky

Latest

• SaC/C formulations of the all-pairs N-body problem and their performance on SMPs and GPGPUs
• Combining high productivity and high performance in image processing using single assignment C on multi-core CPUs and many-core GPUs
• From contracts towards dependent types: proofs by partial evaluation