Search dblp for Publications

export results for "toc:db/conf/pldi/soap2015.bht:"

 download as .bib file

@inproceedings{DBLP:conf/pldi/AllenKS15,
  author       = {Nicholas Allen and
                  Padmanabhan Krishnan and
                  Bernhard Scholz},
  editor       = {Anders M{\o}ller and
                  Mayur Naik},
  title        = {Combining type-analysis with points-to analysis for analyzing Java
                  library source-code},
  booktitle    = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on State
                  Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA,
                  June 15 - 17, 2015},
  pages        = {13--18},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771284.2771287},
  doi          = {10.1145/2771284.2771287},
  timestamp    = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/AllenKS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ArztRHB15,
  author       = {Steven Arzt and
                  Siegfried Rasthofer and
                  Robert Hahn and
                  Eric Bodden},
  editor       = {Anders M{\o}ller and
                  Mayur Naik},
  title        = {Using targeted symbolic execution for reducing false-positives in
                  dataflow analysis},
  booktitle    = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on State
                  Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA,
                  June 15 - 17, 2015},
  pages        = {1--6},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771284.2771285},
  doi          = {10.1145/2771284.2771285},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/ArztRHB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BlackshearGC15,
  author       = {Sam Blackshear and
                  Alexandra Gendreau and
                  Bor{-}Yuh Evan Chang},
  editor       = {Anders M{\o}ller and
                  Mayur Naik},
  title        = {Droidel: a general approach to Android framework modeling},
  booktitle    = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on State
                  Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA,
                  June 15 - 17, 2015},
  pages        = {19--25},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771284.2771288},
  doi          = {10.1145/2771284.2771288},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/BlackshearGC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CifuentesGK15,
  author       = {Cristina Cifuentes and
                  Andrew Gross and
                  Nathan Keynes},
  editor       = {Anders M{\o}ller and
                  Mayur Naik},
  title        = {Understanding caller-sensitive method vulnerabilities: a class of
                  access control vulnerabilities in the Java platform},
  booktitle    = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on State
                  Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA,
                  June 15 - 17, 2015},
  pages        = {7--12},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771284.2771286},
  doi          = {10.1145/2771284.2771286},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/CifuentesGK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LerchH15,
  author       = {Johannes Lerch and
                  Ben Hermann},
  editor       = {Anders M{\o}ller and
                  Mayur Naik},
  title        = {Design your analysis: a case study on implementation reusability of
                  data-flow functions},
  booktitle    = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on State
                  Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA,
                  June 15 - 17, 2015},
  pages        = {26--30},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771284.2771289},
  doi          = {10.1145/2771284.2771289},
  timestamp    = {Tue, 29 Oct 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/LerchH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2015soap,
  editor       = {Anders M{\o}ller and
                  Mayur Naik},
  title        = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on State
                  Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA,
                  June 15 - 17, 2015},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771284},
  doi          = {10.1145/2771284},
  isbn         = {978-1-4503-3585-0},
  timestamp    = {Mon, 12 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/2015soap.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}