Our research focus is on correctness and performance of software on modern computer architectures.
Current research topics include streaming system
orchestration in the Cloud, parallelization of matrix languages and Kronecker
algebra operations on heterogeneous multicores and the Cloud, high-level
language memory consistency models, graph-neural networks, and safe and efficient smart contract
execution on blockchain virtual machines.