Rust is a relatively new programming language designed for systems software development.
Its objective is to combine the safety guarantees typically associated with high-level …

Graph analytics codes are widely used and tend to exhibit input-dependent behavior,
making them particularly interesting for software verification and validation. This paper …

The execution of smart contracts on Ethereum, a public blockchain system, incurs a fee
called gas fee for its computation and data-store consumption. When programmers develop …

Go is a modern programming language gaining popularity in enterprise microservice
systems. Concurrency is a first-class citizen in Go with lightweight “goroutines” as the …

Multiparty session typing (MPST) is a formal method to make concurrent programming
simpler. The idea is to use type checking to automatically prove safety (protocol compliance) …

With the rise of social networks, search engines, recommender systems, and data science,
efficiently processing large graphs has become crucial. The underlying irregular programs …

With the proliferation of the Internet and the increasing demand for business, Golang (Go
language) has gained significant attention due to its wide application in cloud computing …

Введение. Для масштабируемых систем, работающих с большими объёмами данных,
крайне важной является возможность группировать операции в транзакции. Однако Go …

We introduce Multris, a separation logic for verifying the functional correctness of programs
that combine multiparty message-passing communication with shared-memory concurrency …

Pandemic like Covid-19 and many other reasons can cause a commercial park to implement
access control, which blocks delivery services including courier and food delivery …