Collaborated with:
L.Li Y.Li I.Ahmed S.Ling
Talks about:
parallelis (1) sequenti (1) contract (1) program (1) permiss (1) static (1) access (1) infer (1) java (1) sip (1)
Person: Ayesha Sadiq
DBLP: Sadiq:Ayesha
Contributed to:
Wrote 1 papers:
- ASE-2019-SadiqLLAL #contract #java #named #source code
- Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs (AS, LL, YFL, IA, SL), pp. 1098–1101.