Salsa: Static Analysis of Serialization Features

Salsa: Static Analysis of Serialization Features

Jan 1, 2020. | By: Joanna C. S. Santos

Our work, “Salsa: Static Analysis of Serialization Features”, was published in 22th ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs.

Publication details, authors, citation information, and available resources are provided below.

Related Links

BibTeX

@InProceedings{santos2020salsa,
  author    = {Joanna C. S. Santos and Reese A. Jones and Mehdi Mirakhorli},
  title     = {Salsa: Static Analysis of Serialization Features},
  booktitle = {Proceedings of the 22th ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs (FTfJP '20)},
  publisher = {ACM},
  pages     = {18--25},
  doi       = {10.1145/3427761.3428343},
  year      = {2020}
}