Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs | IEEE Conference Publication | IEEE Xplore