RefinedRust: A type system for high-assurance verification of rust programs
L. Gäher, M.J. Sammler, R. Jung, R. Krebbers, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 1115–1139.

Quiver: Guided abductive inference of separation logic specifications in coq
S. Spies, L. Gäher, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 889–913.

NuSTAR observations of candidate subparsec binary supermassive black holes
M.L. Saade, M. Brightman, D. Stern, T. Connor, S.G. Djorgovski, D.J. D’Orazio, K.E.S. Ford, M.J. Graham, Z. Haiman, H.D. Jun, E. Kammoun, R.P. Kraft, B. McKernan, A. Vikhlinin, D.J. Walton, The Astrophysical Journal 966 (2024).

Shock cooling and breakout emission for optical flares associated with gravitational-wave events
H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical Journal 966 (2024).

Diagnosing the massive-seed pathway to high-redshift black holes: statistics of the evolving black hole to host galaxy mass ratio
M.T. Scoggins, Z. Haiman, Monthly Notices of the Royal Astronomical Society 531 (2024) 4584–4597.

Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations
L.M. Krauth, J. Davelaar, Z. Haiman, J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Physical Review D 109 (2024).

Eccentric minidisks in accreting binaries
J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Z. Haiman, The Astrophysical Journal 962 (2024).

cTidal Peeling Eventsd: Low-eccentricity tidal disruption of a star by a stellar-mass black hole
C. Xin, Z. Haiman, R. Perna, Y. Wang, T. Ryu, The Astrophysical Journal 961 (2024).

Photooxidation driven formation of Fe-Au linked ferrocene-based single-molecule junctions
W. Lee, L. Li, M. Camarasa-Gómez, D. Hernangómez-Pérez, X. Roy, F. Evers, M.S. Inkpen, L. Venkataraman, Nature Communications 15 (2024).

Long-range gating in single-molecule one-dimensional topological insulators
L. Li, S. Louie, N.M. Orchanian, C. Nuckolls, L. Venkataraman, Journal of the American Chemical Society 146 (2024) 16920–16925.

Short-form videos as an emerging social media tool for STEM edutainment
C.R. Prindle, N.M. Orchanian, L. Venkataraman, C. Nuckolls, Journal of Chemical Education 101 (2024) 1319–1324.

Determining transmission characteristics from shot-noise-driven electroluminescence in single-molecule junctions
A.L. Paoletta, L. Venkataraman, Nano Letters 24 (2024) 1931–1935.

Effective gating in single-molecule junctions through fano resonances
C.R. Prindle, W. Shi, L. Li, J. Dahl Jensen, B.W. Laursen, M.L. Steigerwald, C. Nuckolls, L. Venkataraman, Journal of the American Chemical Society 146 (2024) 3646–3650.

Solvent-mediated modulation of the Au–S bond in dithiol molecular junctions
J. Dalmieda, W. Shi, L. Li, L. Venkataraman, Nano Letters 24 (2024) 703–707.

Impact of solvent electrostatic environment on molecular junctions probed via electrochemical impedance spectroscopy
W. Shi, J.E. Greenwald, L. Venkataraman, Nano Letters 24 (2024) 9283–9288.

The stochastic primitive equations with transport noise and turbulent pressure
A. Agresti, M. Hieber, A. Hussein, M. Saal, Stochastics and Partial Differential Equations: Analysis and Computations 12 (2024) 53–133.

Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes
S. Mondal, R.B. Jethwa, B. Pant, R. Hauschild, S.A. Freunberger, Faraday Discussions 248 (2024) 175–189.

The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize
L.-Z. Zhou, L. Wang, X. Chen, Z. Ge, J. Mergner, X. Li, B. Küster, G. Längst, L.-J. Qu, T. Dresselhaus, The Plant Cell 36 (2024).

Interface engineering modulation combined with electronic structure modification of Zn-doped NiO heterostructure for efficient water-splitting activity
G.K. Kiran, S. Singh, N. Mahato, T.V.M. Sreekanth, G.R. Dillip, K. Yoo, J. Kim, ACS Applied Energy Materials 7 (2024) 214–229.

Tipping points of space debris in low earth orbit
K. Nomura, S. Rella, H. Merritt, M. Baltussen, D. Bird, A. Tjuka, D. Falk, International Journal of the Commons 18 (2024).