Collaborated with:S.Jha V.Rastogi D.Davidson L.D.Carli D.Octeau M.Dering A.Bartel L.L.0029 J.Klein Y.L.Traon
Talks about:analysi (2) probabilist (1) cimplifi (1) debloat (1) contain (1) automat (1) android (1) static (1) market (1) compon (1)
Person: Patrick D. McDaniel
DBLP: McDaniel:Patrick_D=
Contributed to:
2017
2016Wrote 2 papers:
- ESEC-FSE-2017-RastogiDCJM #automation #named
- Cimplifier: automatically debloating containers (VR, DD, LDC, SJ, PDM), pp. 476–486.
- POPL-2016-OcteauJDMB0KT #android #component #modelling #probability #static analysis
- Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis (DO, SJ, MD, PDM, AB, LL0, JK, YLT), pp. 469–484.