Explores automatic synthesis of correct and efficient synchronization in programs, focusing on removing redundant atomicity and adding synchronization metadata.
Explores unstructured and structured search and routing protocols, emphasizing the importance of network structure assumptions and introducing the 'Bubble Storm' algorithm.
Explores the theoretical aspects of UX audit, expert evaluation, and benchmarking, emphasizing the importance of detecting design issues impacting usability and user experience.
Explores the evolution and impact of recommender systems, covering information retrieval, collaborative filtering, and different recommendation algorithms.
