Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
7090 Publications
2022 | Published | Journal Article | IST-REx-ID: 17076 |

Hillary, Robert F., Danni A. Gadd, Daniel L. McCartney, Liu Shi, Archie Campbell, Rosie M. Walker, Craig W. Ritchie, et al. “Genome‐ and Epigenome‐wide Studies of Plasma Protein Biomarkers for Alzheimer’s Disease Implicate TBCA and TREM2 in Disease Risk.” Alzheimer’s & Dementia: Diagnosis, Assessment & Disease Monitoring. Wiley, 2022. https://doi.org/10.1002/dad2.12280.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 17077 |

Ferber, Asaf, Matthew Alan Kwan, Bhargav Narayanan, Ashwin Sah, and Mehtaab Sawhney. “Friendly Bisections of Random Graphs.” Communications of the American Mathematical Society. American Mathematical Society, 2022. https://doi.org/10.1090/cams/13.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 17086 |

Zhang, Yihan, and Nir Weinberger. “Mean Estimation in High-Dimensional Binary Markov Gaussian Mixture Models.” In 36th Conference on Neural Information Processing Systems, Vol. 35. ML Research Press, 2022.
[Published Version]
View
| Files available
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 17088 |

Kurtic, Eldar, Daniel Campos, Tuan Nguyen, Elias Frantar, Mark Kurtz, Benjamin Fineran, Michael Goin, and Dan-Adrian Alistarh. “The Optimal BERT Surgeon: Scalable and Accurate Second-Order Pruning for Large Language Models.” In Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 4163–81. Association for Computational Linguistics, 2022. https://doi.org/10.18653/v1/2022.emnlp-main.279.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Preprint | IST-REx-ID: 17115 |

O’Brien, Roisin E., Jack Peter Kelly Bravo, Delisa Ramos, Grace N. Hibshman, Jacquelyn T. Wright, and David W. Taylor. “Modes of Inhibition Used by Phage Anti-CRISPRs to Evade Type I-C Cascade.” BioRxiv. Cold Spring Harbor Laboratory, 2022. https://doi.org/10.1101/2022.06.15.496202.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Submitted | Preprint | IST-REx-ID: 17116 |

Schwartz, Evan A., Jack Peter Kelly Bravo, Luis A. Macias, Caitlyn L. McCafferty, Tyler L. Dangerfield, Jada N. Walker, Jennifer S. Brodbelt, Peter C. Fineran, Robert D. Fagerlund, and David W. Taylor. “Assembly of Multi-Subunit Fusion Proteins into the RNA-Targeting Type III-D CRISPR-Cas Effector Complex.” BioRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/2022.06.13.496011.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Preprint | IST-REx-ID: 17117 |

Bravo, Jack Peter Kelly, Thom Hallmark, Bronson Naegle, Chase L. Beisel, Ryan N. Jackson, and David W. Taylor. “Large-Scale Structural Rearrangements Unleash Indiscriminate Nuclease Activity of CRISPR-Cas12a2.” BioRxiv. Cold Spring Harbor Laboratory, 2022. https://doi.org/10.1101/2022.06.13.495754.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17501 |

Zhu, Fengmin, Michael Joachim Sammler, Rodolphe Lepigre, Derek Dreyer, and Deepak Garg. “BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2022. https://doi.org/10.1145/3563345.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 17502 |

Sammler, Michael Joachim, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, and Peter Sewell. “Islaris: Verification of Machine Code against Authoritative ISA Semantics.” In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 825–40. Association for Computing Machinery, 2022. https://doi.org/10.1145/3519939.3523434.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17503 |

Lepigre, Rodolphe, Michael Joachim Sammler, Kayvan Memarian, Robbert Krebbers, Derek Dreyer, and Peter Sewell. “VIP: Verifying Real-World C Idioms with Integer-Pointer Casts.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2022. https://doi.org/10.1145/3498681.
[Published Version]
View
| DOI
| Download Published Version (ext.)