@misc{liu2024synthesizing,
  title={Synthesizing Formal Semantics from Executable Interpreters},
  author={Jiangyi Liu and Charlie Murphy and Anvay Grover and Keith J. C. Johnson and Thomas Reps and Loris D'Antoni},
  year={2024},
  eprint={2408.14668},
  archivePrefix={arXiv},
  primaryClass={cs.PL},
  url={https://arxiv.org/abs/2408.14668}
}