Collaborated with:
B.Bichsel V.Raychev M.T.Vechev
Talks about:
scalabl (1) specif (1) taint (1) infer (1) code (1) big (1)
Person: Victor Chibotaru
DBLP: Chibotaru:Victor
Contributed to:
Wrote 1 papers:
- PLDI-2019-ChibotaruBRV #scalability #specification
- Scalable taint specification inference with big code (VC, BB, VR, MTV), pp. 760–774.