Symmetries in reversible programming: From symmetric rig groupoids to reversible programming languages V Choudhury, J Karwowski, A Sabry Proceedings of the ACM on Programming Languages 6 (POPL), 1-32, 2022 | 15* | 2022 |

Artifact for Symmetries in Reversible Programming V Choudhury, J Karwowski, A Sabry Zenodo, 2021 | 2 | 2021 |

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets N Ackerman, CE Freer, Y Kaddar, J Karwowski, S Moss, D Roy, S Staton, ... Proceedings of the ACM on Programming Languages 8 (POPL), 1819-1849, 2024 | 1 | 2024 |

Goodhart's Law in Reinforcement Learning J Karwowski, O Hayman, X Bai, K Kiendlhofer, C Griffin, J Skalse arXiv preprint arXiv:2310.09144, 2023 | 1 | 2023 |

Limitations of Agents Simulated by Predictive Models R Douglas, J Karwowski, C Bae, A Draguns, V Krakovna arXiv preprint arXiv:2402.05829, 2024 | | 2024 |