Explores automatic synthesis of correct and efficient synchronization in programs, focusing on removing redundant atomicity and adding synchronization metadata.
Explores Neuromorphic Computing with Artificial Spin Systems, discussing the need for new computing paradigms and the potential of artificial spin systems for neuromorphic computing applications.
