@article{paperbot1607,
  title = {Introduction to the Special Issue on ESOP 2021},
  author = {Nobuko Yoshida},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {44},
  number = {3},
  year = {2022},
  doi = {10.1145/3524730}
}