The article “Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems With Constant-Space Processes,” authored by Ali Ebnenasir (SAS/CS) and Alex Klinkhamer, has been accepted for publication in the journal IEEE Transactions on Software Engineering. Read the full article here: https://ieeexplore.ieee.org/document/8651426.
Dr. Soner Onder (CS, SAS) will present 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 Prof. Yale Patt of University of Texas, Austin. Prof. Patt is a prominent researcher with decades of accomplishments in Computer Architecture.
The workshop, titled “Yale:80 in 2019, Pushing the Envelope of Computing for the Future,” will take place July 1-2, 2019, in Barcelona, Spain. The workshop is organized by Universitat Politècnica de Catalunya and Barcelona Supercomputing Center, and sponsored by the Ministry of Science, Innovation and Universities of Spain, among others.