Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems (bibtex)
@article{popl19spds,
 author = {Sp\"{a}th, Johannes and Ali, Karim and Bodden, Eric},
 title = {Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems},
 journal = {Proc. ACM Program. Lang.},
 issue_date = {January 2019},
 volume = {3},
 number = {POPL},
 month = jan,
 year = {2019},
 issn = {2475-1421},
 pages = {48:1--48:29},
 articleno = {48},
 numpages = {29},
 doi = {10.1145/3290361},
 acmid = {3290361},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {ATTRACT,ITSECWEBSITE,CROSSING},
   awarded = {ACM Distinguished Paper Award, Artifact Evaluation Award},   
 url = {http://www.bodden.de/pubs/sab19context.pdf},
}
Powered by bibtexbrowser