Evaluating Design Tradeoffs in Numeric Static Analysis for Java

Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks 0001. Evaluating Design Tradeoffs in Numeric Static Analysis for Java. In Amal Ahmed, editor, Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Volume 10801 of Lecture Notes in Computer Science, pages 653-682, Springer, 2018. [doi]

@inproceedings{WeiMRF018,
  title = {Evaluating Design Tradeoffs in Numeric Static Analysis for Java},
  author = {Shiyi Wei and Piotr Mardziel and Andrew Ruef and Jeffrey S. Foster and Michael Hicks 0001},
  year = {2018},
  doi = {10.1007/978-3-319-89884-1_23},
  url = {https://doi.org/10.1007/978-3-319-89884-1_23},
  researchr = {https://researchr.org/publication/WeiMRF018},
  cites = {0},
  citedby = {0},
  pages = {653-682},
  booktitle = {Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings},
  editor = {Amal Ahmed},
  volume = {10801},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-89884-1},
}