@InProceedings{finding-pldi22,
  author =       "Stefanos Chaliasos and Thodoris Sotiropoulos and
                 Diomidis Spinellis and Benjamin Livshits and Dimitris
                 Mitropoulos",
  title =        "Finding Typing Compiler Bugs",
  booktitle =    "Proceedings of the Conference on Programming Language
                 Design and Implementation",
  month =        jun,
  year =         "2022",
}