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 . . .
The College of Computing and the Computer Science Department were well represented at the 24th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 19), July 14-17, at University of Aberdeen, Aberdeen, Scotland. Senior Lecturer Leo Ureel, along with James Heliotis, professor of computer science at Rochester (New York) Institute of Technology, led . . .
Bo Chen (Comp Sci/ICC) is Principal Investigator on a project that has received a $199,975 research and development grant from the National Science Foundation. The project is titled “EAGER: Enabling Secure Data Recovery for Mobile Devices Against Malicious Attacks.” This is a potential two-year project. Abstract: Mainstream mobile computing devices like smart phones and tablets . . .
An article co-authored by Ali Ebnenasir (SAS/CS) and Alex Klinkhamer, “Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings,” was recently published in ACM Transactions on Computational Logic. Abstract: This article investigates the verification of livelock-freedom and self-stabilization on parameterized rings consisting of symmetric, constant space, deterministic, and self-disabling processes. The results of this article have a significant impact . . .
By Karen S. Johnson, ICC Communications Director We live in a world where pretty much everything and everybody – individuals, companies, governments, critical infrastructure – are increasingly dependent on connected systems, networks and devices. And, as newspaper headlines reveal, those systems may be insecure and vulnerable to hackers. “Nowadays, everybody is using computers, and more . . .
Tech Today announced that Soner Onder (CS) is giving an invited talk titled “Program semantics meets architecture: What if we did not have branches?” at a workshop organized in honor of the 80th birthday of Yale Patt of University of Texas, Austin. Patt is a very prominent researcher with decades of accomplishments in Computer Architecture. The . . .