Abstract: Multi-core processors have become the dominant computing platform in recent years. In the concurrency by default programming paradigm, permission-based dependencies have been investigated as an alternative approach to enabling automated parallelisation and avoiding errors that may arise when concurrency constructs are manually added, a common practice in mainstream languages such as Java. However, significant annotation overhead is required for such languages, diminishing their effectiveness. In this talk, I will discuss our ongoing work on automatically extracting implicit dependencies from a sequential Java program in the form of \emph{access permission rights}, by performing modular (inter-procedural) static analysis of the source program. It will free programmers from the specification overhead that implicit concurrent approaches pose, hence facilitate the wider adoption of the concurrency by default paradigm.

Bio: Yuan-Fang Li is a senior lecturer at Faculty of Information Technology, Monash University, Australia. He received his PhD in computer science from National University of Singapore in 2006. His research interests include knowledge graphs, knowledge representation and reasoning, ontology languages, and software engineering.