Array programming with NumPy

CR Harris, KJ Millman, SJ Van Der Walt, R Gommers… - Nature, 2020 - nature.com
Array programming provides a powerful, compact and expressive syntax for accessing,
manipulating and operating on data in vectors, matrices and higher-dimensional arrays …

An overview on smart contracts: Challenges, advances and platforms

Z Zheng, S ** conventional industry and business processes.
Being embedded in blockchains, smart contracts enable the contractual terms of an …

MLIR: Scaling compiler infrastructure for domain specific computation

C Lattner, M Amini, U Bondhugula… - 2021 IEEE/ACM …, 2021 - ieeexplore.ieee.org
This work presents MLIR, a novel approach to building reusable and extensible compiler
infrastructure. MLIR addresses software fragmentation, compilation for heterogeneous …

DOLFINx: the next generation FEniCS problem solving environment

IA Baratta, JP Dean, JS Dokken, M Habera, J HALE… - 2023 - orbilu.uni.lu
DOLFINx is the next generation problem solving environment from the FEniCS Project; it
provides an expressive and performant environment for solving partial differential equations …

Software vulnerability detection using deep neural networks: a survey

G Lin, S Wen, QL Han, J Zhang… - Proceedings of the …, 2020 - ieeexplore.ieee.org
The constantly increasing number of disclosed security vulnerabilities have become an
important concern in the software industry and in the field of cybersecurity, suggesting that …

[PDF][PDF] Zeus: analyzing safety of smart contracts.

S Kalra, S Goel, M Dhawan, S Sharma - Ndss, 2018 - sukritkalra.github.io
A smart contract is hard to patch for bugs once it is deployed, irrespective of the money it
holds. A recent bug caused losses worth around $50 million of cryptocurrency. We present …

MLIR: A compiler infrastructure for the end of Moore's law

C Lattner, M Amini, U Bondhugula, A Cohen… - arxiv preprint arxiv …, 2020 - arxiv.org
This work presents MLIR, a novel approach to building reusable and extensible compiler
infrastructure. MLIR aims to address software fragmentation, improve compilation for …