Umbrella meshes: Elastic mechanisms for freeform shape deployment
Y. Ren, U. Kusupati, J. Panetta, F. Isvoranu, D. Pellis, T. Chen, M. Pauly, ACM Transactions on Graphics 41 (2022) 1–15.

BFF: Foundational and automated verification of bitfield-manipulating programs
F. Zhu, M.J. Sammler, R. Lepigre, D. Dreyer, D. Garg, Proceedings of the ACM on Programming Languages 6 (2022) 1613–1638.

Islaris: Verification of machine code against authoritative ISA semantics
M.J. Sammler, A. Hammond, R. Lepigre, B. Campbell, J. Pichon-Pharabod, D. Dreyer, D. Garg, P. Sewell, in:, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2022, pp. 825–840.

VIP: Verifying real-world C idioms with integer-pointer casts
R. Lepigre, M.J. Sammler, K. Memarian, R. Krebbers, D. Dreyer, P. Sewell, Proceedings of the ACM on Programming Languages 6 (2022) 1–32.

Simuliris: A separation logic framework for verifying concurrent program optimizations
L. Gäher, M.J. Sammler, S. Spies, R. Jung, H.-H. Dang, R. Krebbers, J. Kang, D. Dreyer, Proceedings of the ACM on Programming Languages 6 (2022) 1–31.

Self-lensing flares from black hole binaries: General-relativistic ray tracing of black hole binaries
J. Davelaar, Z. Haiman, Physical Review D 105 (2022).

AGN as potential factories for eccentric black hole mergers
J. Samsing, I. Bartos, D.J. D’Orazio, Z. Haiman, B. Kocsis, N.W.C. Leigh, B. Liu, M.E. Pessah, H. Tagawa, Nature 603 (2022) 237–240.

Self-Lensing flares from black hole binaries: Observing black hole shadows via light curve tomography
J. Davelaar, Z. Haiman, Physical Review Letters 128 (2022).

How binaries accrete: Hydrodynamic simulations with passive tracer particles
C. Tiede, J. Zrake, A. MacFadyen, Z. Haiman, The Astrophysical Journal 932 (2022).

Supercritical growth pathway to overmassive black holes at cosmic dawn: Coevolution with massive quasar hosts
H. Hu, K. Inayoshi, Z. Haiman, W. Li, E. Quataert, R. Kuiper, The Astrophysical Journal 935 (2022).

Tidal disruption on stellar-mass black holes in active galactic nuclei
Y. Yang, I. Bartos, G. Fragione, Z. Haiman, M. Kowalski, S. Márka, R. Perna, H. Tagawa, The Astrophysical Journal Letters 933 (2022).

Simultaneously constraining cosmology and baryonic physics via deep learning from weak lensing
T. Lu, Z. Haiman, J.M. Zorrilla Matilla, Monthly Notices of the Royal Astronomical Society 511 (2022) 1518–1528.

Cosmological constraints from weak lensing peaks: Can halo models accurately predict peak counts?
A. Sabyr, Z. Haiman, J.M.Z. Matilla, T. Lu, Physical Review D 105 (2022).

Can stellar-mass black hole growth disrupt disks of active galactic nuclei? The role of mechanical feedback
H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, H. Tanaka, I. Bartos, The Astrophysical Journal 927 (2022).

How long do high redshift massive black hole seeds remain outliers in black hole versus host galaxy relations?
M.T. Scoggins, Z. Haiman, J.H. Wise, Monthly Notices of the Royal Astronomical Society 519 (2022) 2155–2168.

Multimessenger constraints on magnetic fields in merging black hole–neutron star binaries
D.J. D’Orazio, Z. Haiman, J. Levin, J. Samsing, A. Vigna-Gómez, The Astrophysical Journal 927 (2022).

The science case and challenges of space-borne sub-millimeter interferometry
L.I. Gurvits, Z. Paragi, R.I. Amils, I. van Bemmel, P. Boven, V. Casasola, J. Conway, J. Davelaar, M.C. Díez-González, H. Falcke, R. Fender, S. Frey, C.M. Fromm, J.D. Gallego-Puyol, C. García-Miró, M.A. Garrett, M. Giroletti, C. Goddi, J.L. Gómez, J. van der Gucht, J.C. Guirado, Z. Haiman, F. Helmich, B. Hudson, E. Humphreys, V. Impellizzeri, M. Janssen, M.D. Johnson, Y.Y. Kovalev, M. Kramer, M. Lindqvist, H. Linz, E. Liuzzo, A.P. Lobanov, I. López-Fernández, I. Malo-Gómez, K. Masania, Y. Mizuno, A.V. Plavin, R.T. Rajan, L. Rezzolla, F. Roelofs, E. Ros, K.L.J. Rygl, T. Savolainen, K. Schuster, T. Venturi, M. Verkouter, P. de Vicente, P.N.A.M. Visser, M.C. Wiedner, M. Wielgus, K. Wiik, J.A. Zensus, Acta Astronautica 196 (2022) 314–333.

The X-ray view of optically selected dual AGN
A. De Rosa, C. Vignali, P. Severgnini, S. Bianchi, T. Bogdanovi, M. Charisi, M. Guainazzi, Z. Haiman, S. Komossa, Z. Paragi, M. Perez-Torres, E. Piconcelli, L. Ducci, M. Parvatikar, R. Serafinelli, Monthly Notices of the Royal Astronomical Society 519 (2022) 5149–5160.

Multiband light curves from eccentric accreting supermassive black hole binaries
J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Z. Haiman, Physical Review D 106 (2022).

Radiative feedback on supermassive star formation: the massive end of the population III initial mass function
D. Toyouchi, K. Inayoshi, W. Li, Z. Haiman, R. Kuiper, Monthly Notices of the Royal Astronomical Society 518 (2022) 1601–1616.