| 2024 | ICLR | What Makes a Good Prune? Maximal Unstructured Pruning for Maximal Cosine Similarity. | Gabryel Mason-Williams, Fredrik Dahlqvist |
| 2023 | LICS | Deterministic stream-sampling for probabilistic programming: semantics and verification. | Fredrik Dahlqvist, Alexandra Silva, William Smith |
| 2022 | CSL | An Internal Language for Categories Enriched over Generalised Metric Spaces. | Fredrik Dahlqvist, Renato Neves |
| 2021 | CALCO | How to Write a Coequation ((Co)algebraic pearls). | Fredrik Dahlqvist, Todd Schmid |
| 2021 | CAV | Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations. | George A. Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric, Rocco Salvia |
| 2019 | ACSSC | A Probabilistic Approach to Floating-Point Arithmetic. | Fredrik Dahlqvist, Rocco Salvia, George A. Constantinides |
| 2018 | ICTAC | Layer by Layer - Combining Monads. | Fredrik Dahlqvist, Louis Parlant, Alexandra Silva |
| 2017 | CALCO | The Positivication of Coalgebraic Logics. | Fredrik Dahlqvist, Alexander Kurz |
| 2017 | FOSSACS | Pointless Learning. | Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier |
| 2016 | CONCUR | Robustly Parameterised Higher-Order Probabilistic Models. | Fredrik Dahlqvist, Vincent Danos, Ilias Garnier |
| 2016 | CONCUR | Bayesian Inversion by ω-Complete Cone Duality. | Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar |
| 2013 | FOSSACS | Some Sahlqvist Completeness Results for Coalgebraic Logics. | Fredrik Dahlqvist, Dirk Pattinson |
| 2011 | CALCO | On the Fusion of Coalgebraic Logics. | Fredrik Dahlqvist, Dirk Pattinson |