A sound abstract interpreter for dynamic code

Vincenzo Arceri, Isabella Mastroeni. A sound abstract interpreter for dynamic code. In Chih-Cheng Hung, Tomás Cerný, Dongwan Shin, Alessio Bechini, editors, SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020. pages 1979-1988, ACM, 2020. [doi]

@inproceedings{ArceriM20,
  title = {A sound abstract interpreter for dynamic code},
  author = {Vincenzo Arceri and Isabella Mastroeni},
  year = {2020},
  doi = {10.1145/3341105.3373964},
  url = {https://doi.org/10.1145/3341105.3373964},
  researchr = {https://researchr.org/publication/ArceriM20},
  cites = {0},
  citedby = {0},
  pages = {1979-1988},
  booktitle = {SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020},
  editor = {Chih-Cheng Hung and Tomás Cerný and Dongwan Shin and Alessio Bechini},
  publisher = {ACM},
  isbn = {978-1-4503-6866-7},
}