In today's mobile world, all programs are concurrent and distributed. This challenges the traditional sequential model of computing, leading to new and hard-to-diagnose bugs such as data races and non-determinism. One central focus of my work has been to develop type systems to prevent concurrency-related bugs by construction from software.
Publications related to Type Systems for Concurrency:
- Edwin Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar. Practical Permissions for Race-Free Parallelism. Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP ’12).
- Edwin Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar. Permission Regions for Race-Free Parallelism. Proceedings of the 2nd International Conference on Runtime Verification (RV ’11).