Ayesha Sadiq, Li Li, Yuan-Fang Li, Ijaz Ahmed, Sea Ling
Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs
ASE, 2019.
@inproceedings{ASE-2019-SadiqLLAL, author = "Ayesha Sadiq and Li Li and Yuan-Fang Li and Ijaz Ahmed and Sea Ling", booktitle = "{Proceedings of the 34th International Conference on Automated Software Engineering}", doi = "10.1109/ASE.2019.00111", isbn = "978-1-7281-2508-4", pages = "1098--1101", publisher = "{IEEE}", title = "{Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs}", year = 2019, }