Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs

Ayesha Sadiq, Li Li, Yuan-Fang Li, Ijaz Ahmed, Sea Ling. Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs. In 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019. pages 1098-1101, IEEE, 2019. [doi]

Authors

Ayesha Sadiq

This author has not been identified. Look up 'Ayesha Sadiq' in Google

Li Li

This author has not been identified. Look up 'Li Li' in Google

Yuan-Fang Li

This author has not been identified. Look up 'Yuan-Fang Li' in Google

Ijaz Ahmed

This author has not been identified. Look up 'Ijaz Ahmed' in Google

Sea Ling

This author has not been identified. Look up 'Sea Ling' in Google