Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems (bibtex)
@inproceedings{	popl19spds,
 author = {Johannes Sp\"ath and Karim Ali and Eric Bodden},
 title = {Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems},
 booktitle = {ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019)},
 year = {2019},
 keywords = {ATTRACT,ITSECWEBSITE,CROSSING},
   awarded = {Artifact Evaluation Award},   
 url = {http://www.bodden.de/pubs/sab19context.pdf},
 note = {To appear.}
}
Powered by bibtexbrowser