Collaborated with:E.Bodden G.Piskachev O.Johnson J.Späth K.A.0001
Talks about:analysi (2) boomerang (1) pointer (1) context (1) static (1) specif (1) sensit (1) method (1) gamifi (1) driven (1)
Person: Lisa Nguyen Quang Do
DBLP: Do:Lisa_Nguyen_Quang
Contributed to:
2018
2019
2016Wrote 3 papers:
- ESEC-FSE-2018-DoB #static analysis
- Gamifying static analysis (LNQD, EB), pp. 714–718.
- ASE-2019-PiskachevDJB #automation #detection #named
- SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods (GP, LNQD, OJ, EB), pp. 1094–1097.
- ECOOP-2016-SpathDAB #analysis #java #named #pointer
- Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (JS, LNQD, KA0, EB), p. 26.