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.

Comparing weak lensing peak counts in baryonic correction models to hydrodynamical simulations
M.E. Lee, T. Lu, Z. Haiman, J. Liu, K. Osato, Monthly Notices of the Royal Astronomical Society 519 (2022) 573–584.

Long-term evolution of supercritical black hole accretion with outflows: A subgrid feedback model for cosmological simulations
H. Hu, K. Inayoshi, Z. Haiman, E. Quataert, R. Kuiper, The Astrophysical Journal 934 (2022).

When different norms lead to same billiard trajectories?
A. Akopyan, R. Karasev, European Journal of Mathematics 8 (2022) 1309–1312.

Dynamic averaging load balancing on cycles
D.-A. Alistarh, G. Nadiradze, A. Sabour, Algorithmica 84 (2022) 1007–1029.