Grant: Discovery Grants Program - Individual

As technology advances, computing with multicore processors is becoming ubiquitous, and in the near future almost all computers and computing devices will have multicore processors sharing common memory. Also, on the application side, automation is slowly infiltrating into everyday life. Concurrency is inherent in both modern computing technologies and most applications that involve interactions with human and other systems. As a result, future systems are becoming inevitably concurrent and we are entering into concurrent programming era. This paradigm shift, although it faces many challenges, seems unavoidable. My research focuses on the fundamental issues and applied aspects of programming for concurrent systems. In particular, I am interested in designing novel synchronization algorithms, proving their correctness, building software tools for verification and visualization of synchronization algorithms, and studying a select set of algorithms for their suitability in practical use. As a result, new synchronization algorithms suitable for different applications will be proposed, and software tools will be developed to identify and implement suitable algorithms to solve various synchronization problems encountered during the design and development of software systems. Concurrently, I will work systematically towards developing a theory of synchronization algorithms.