@inproceedings{ProgrammablePBT,
  author = {Keles, Alperen and Frank, Justine and Mert, Ceren and Goldstein, Harrison and Lampropoulos, Leonidas},
  title = {Programmable Property-Based Testing},
  booktitle = {Proceedings of the ACM on Programming Languages (PACMPL), Volume ICFP},
  shortbooktitle = {ICFP},
  url = {https://lemonidas.github.io/pdf/ProgrammablePBT},
  year = {2026},
  doi = {},
}