Ali Ebnenasir (SAS/CS), professor of computer science, is co-author of the article, “On the verification of livelock-freedom and self-stabilization on parameterized rings,” published in the July 2019 issue of the journal ACM Transactions on Computational Logic. The article is co-authored by Alex Klinkhamer of Google. Abstract: This article investigates the verification of livelock-freedom and self-stabilization on parameterized rings . . .
Zhenlin Wang (SAS), professor of computer science, is co-author of the article, “Lightweight and accurate memory allocation in key-value cache,” published in the June 2019 issue of the International Journal of Parallel Programming, which is published by Springer. Abstract: The use of key-value caches in modern web servers is becoming more and more ubiquitous. Representatively, Memcached . . .