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.
642 Publications
2022 | Published | Journal Article | IST-REx-ID: 17077 | 
Ferber, A., Kwan, M. A., Narayanan, B., Sah, A., & Sawhney, M. (2022). Friendly bisections of random graphs. Communications of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/cams/13
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 17086 |
Zhang, Y., & Weinberger, N. (2022). Mean estimation in high-dimensional binary Markov Gaussian mixture models. In 36th Conference on Neural Information Processing Systems (Vol. 35). New Orleans, LA, United States: ML Research Press.
[Published Version]
View
| Files available
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 17088 |
Kurtic, E., Campos, D., Nguyen, T., Frantar, E., Kurtz, M., Fineran, B., … Alistarh, D.-A. (2022). 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 (pp. 4163–4181). Abu Dhabi, United Arab Emirates: Association for Computational Linguistics. 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, R. E., Bravo, J. P. K., Ramos, D., Hibshman, G. N., Wright, J. T., & Taylor, D. W. (2022). Modes of inhibition used by phage anti-CRISPRs to evade type I-C Cascade. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2022.06.15.496202
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Submitted | Preprint | IST-REx-ID: 17116 |
Schwartz, E. A., Bravo, J. P. K., Macias, L. A., McCafferty, C. L., Dangerfield, T. L., Walker, J. N., … Taylor, D. W. (n.d.). Assembly of multi-subunit fusion proteins into the RNA-targeting type III-D CRISPR-Cas effector complex. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2022.06.13.496011
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Preprint | IST-REx-ID: 17117 |
Bravo, J. P. K., Hallmark, T., Naegle, B., Beisel, C. L., Jackson, R. N., & Taylor, D. W. (2022). Large-scale structural rearrangements unleash indiscriminate nuclease activity of CRISPR-Cas12a2. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2022.06.13.495754
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17383
Ren, Y., Kusupati, U., Panetta, J., Isvoranu, F., Pellis, D., Chen, T., & Pauly, M. (2022). Umbrella meshes: Elastic mechanisms for freeform shape deployment. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3528223.3530089
View
| DOI
2022 | Published | Journal Article | IST-REx-ID: 17501 |
Zhu, F., Sammler, M. J., Lepigre, R., Dreyer, D., & Garg, D. (2022). BFF: Foundational and automated verification of bitfield-manipulating programs. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3563345
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 17502 |
Sammler, M. J., Hammond, A., Lepigre, R., Campbell, B., Pichon-Pharabod, J., Dreyer, D., … Sewell, P. (2022). Islaris: Verification of machine code against authoritative ISA semantics. In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 825–840). San Diego, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3519939.3523434
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17503 |
Lepigre, R., Sammler, M. J., Memarian, K., Krebbers, R., Dreyer, D., & Sewell, P. (2022). VIP: Verifying real-world C idioms with integer-pointer casts. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3498681
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17504 |
Gäher, L., Sammler, M. J., Spies, S., Jung, R., Dang, H.-H., Krebbers, R., … Dreyer, D. (2022). Simuliris: A separation logic framework for verifying concurrent program optimizations. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3498689
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17526 |
Davelaar, J., & Haiman, Z. (2022). Self-lensing flares from black hole binaries: General-relativistic ray tracing of black hole binaries. Physical Review D. American Physical Society (APS). https://doi.org/10.1103/physrevd.105.103010
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17536 |
Samsing, J., Bartos, I., D’Orazio, D. J., Haiman, Z., Kocsis, B., Leigh, N. W. C., … Tagawa, H. (2022). AGN as potential factories for eccentric black hole mergers. Nature. Springer Science and Business Media LLC. https://doi.org/10.1038/s41586-021-04333-1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17547 |
Davelaar, J., & Haiman, Z. (2022). Self-Lensing flares from black hole binaries: Observing black hole shadows via light curve tomography. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.128.191101
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17553 |
Tiede, C., Zrake, J., MacFadyen, A., & Haiman, Z. (2022). How binaries accrete: Hydrodynamic simulations with passive tracer particles. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ac6c2b
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17560 |
Hu, H., Inayoshi, K., Haiman, Z., Li, W., Quataert, E., & Kuiper, R. (2022). Supercritical growth pathway to overmassive black holes at cosmic dawn: Coevolution with massive quasar hosts. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ac7daa
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17561 |
Yang, Y., Bartos, I., Fragione, G., Haiman, Z., Kowalski, M., Márka, S., … Tagawa, H. (2022). Tidal disruption on stellar-mass black holes in active galactic nuclei. The Astrophysical Journal Letters. American Astronomical Society. https://doi.org/10.3847/2041-8213/ac7c0b
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17562 |
Lu, T., Haiman, Z., & Zorrilla Matilla, J. M. (2022). Simultaneously constraining cosmology and baryonic physics via deep learning from weak lensing. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stac161
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17563 |
Sabyr, A., Haiman, Z., Matilla, J. M. Z., & Lu, T. (2022). Cosmological constraints from weak lensing peaks: Can halo models accurately predict peak counts? Physical Review D. American Physical Society. https://doi.org/10.1103/physrevd.105.023505
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17568 |
Tagawa, H., Kimura, S. S., Haiman, Z., Perna, R., Tanaka, H., & Bartos, I. (2022). Can stellar-mass black hole growth disrupt disks of active galactic nuclei? The role of mechanical feedback. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ac45f8
[Published Version]
View
| DOI
| Download Published Version (ext.)