Co-optimization of design and fabrication plans for carpentry
H. Zhao, M. Willsey, A. Zhu, C. Nandi, Z. Tatlock, J. Solomon, A. Schulz, ACM Transactions on Graphics 41 (2022).

A caspase–RhoGEF axis contributes to the cell size threshold for apoptotic death in developing Caenorhabditis elegans
A. Sethi, H. Wei, N. Mishra, I. Segos, E.J. Lambie, E. Zanin, B. Conradt, PLOS Biology 20 (2022).

Doublecortin mutation leads to persistent defects in the Golgi apparatus and mitochondria in adult hippocampal pyramidal cells
M.A. Stouffer, R. Khalaf-Nazzal, C. Cifuentes-Diaz, G. Albertini, E. Bandet, G. Grannec, V. Lavilla, J.-F. Deleuze, R. Olaso, M. Nosten-Bertrand, F. Francis, Neurobiology of Disease 168 (2022).

TOPLESS promotes plant immunity by repressing auxin signaling and is targeted by the fungal effector Nake
F. Navarrete, M.C. Gallei, A.E. Kornienko, I. Saado, M. Khan, K.-S. Chia, M.A. Darino, J. Bindics, A. Djamei, Plant Communications 3 (2022).

Inducing spin-order with an impurity: phase diagram of the magnetic Bose polaron
S.I. Mistakidis, G. Koutentakis, F. Grusdt, P. Schmelcher, H.R. Sadeghpour, New Journal of Physics 24 (2022).

AI-based structure prediction empowers integrative structural analysis of human nuclear pores
S. Mosalaganti, A. Obarska-Kosinska, M. Siggel, R. Taniguchi, B. Turoová, C.E. Zimmerli, K. Buczak, F. Schmidt, E. Margiotta, M.-T. Mackmull, W.J.H. Hagen, G. Hummer, J. Kosinski, M. Beck, Science 376 (2022).

Protein chain collapse modulation and folding stimulation by GroEL-ES
M.M. Naqvi, M. Avellaneda Sarrió, A. Roth, E.J. Koers, A. Roland, V. Sunderlikova, G. Kramer, H.S. Rye, S.J. Tans, Science Advances 8 (2022).

Amino Acid Transport Defects
M. Palacín, S. Bröer, G. Novarino, in:, N. Blau, C.D. Vici, C.R. Ferreira, C. Vianey-Saban, C.D.M. van Karnebeek (Eds.), Physician’s Guide to the Diagnosis, Treatment, and Follow-Up of Inherited Metabolic Diseases, 2nd ed., Springer Nature, Cham, 2022, pp. 291–312.

Genome and epigenomewide studies of plasma protein biomarkers for Alzheimer's disease implicate TBCA and TREM2 in disease risk
R.F. Hillary, D.A. Gadd, D.L. McCartney, L. Shi, A. Campbell, R.M. Walker, C.W. Ritchie, I.J. Deary, K.L. Evans, A.J. NevadoHolgado, C. Hayward, D.J. Porteous, A.M. McIntosh, S. Lovestone, M.R. Robinson, R.E. Marioni, Alzheimer’s &; Dementia: Diagnosis, Assessment &; Disease Monitoring 14 (2022).

Friendly bisections of random graphs
A. Ferber, M.A. Kwan, B. Narayanan, A. Sah, M. Sawhney, Communications of the American Mathematical Society 2 (2022) 380–416.

Mean estimation in high-dimensional binary Markov Gaussian mixture models
Y. Zhang, N. Weinberger, in:, 36th Conference on Neural Information Processing Systems, ML Research Press, 2022.

The optimal BERT surgeon: Scalable and accurate second-order pruning for large language models
E. Kurtic, D. Campos, T. Nguyen, E. Frantar, M. Kurtz, B. Fineran, M. Goin, D.-A. Alistarh, in:, Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, Association for Computational Linguistics, 2022, pp. 4163–4181.

Modes of inhibition used by phage anti-CRISPRs to evade type I-C Cascade
R.E. O’Brien, J.P.K. Bravo, D. Ramos, G.N. Hibshman, J.T. Wright, D.W. Taylor, BioRxiv (2022).

Assembly of multi-subunit fusion proteins into the RNA-targeting type III-D CRISPR-Cas effector complex
E.A. Schwartz, J.P.K. Bravo, L.A. Macias, C.L. McCafferty, T.L. Dangerfield, J.N. Walker, J.S. Brodbelt, P.C. Fineran, R.D. Fagerlund, D.W. Taylor, BioRxiv (n.d.).

Large-scale structural rearrangements unleash indiscriminate nuclease activity of CRISPR-Ca
J.P.K. Bravo, T. Hallmark, B. Naegle, C.L. Beisel, R.N. Jackson, D.W. Taylor, BioRxiv (2022).

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.