Programming Languages, Algorithms and Structures: Models and Analysis (PLASMA)
In this project, we have brought together theoretical computer scientists with a shared interest in providing mathematical insights into real-world implementations. Beyond conducting detailed studies of key implementations, our primary goal is to develop a comprehensive theoretical framework for analyzing modern algorithms and data structures, which could be used to guide the evolutions of these algorithms. Additionally, we aim to create mathematical models that capture the key statistical properties of real-world data and validate these models against state-of-the-art implementations.