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.
9626 Publications
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: 17504 |
Gäher, Lennard, Michael Joachim Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, and Derek Dreyer. “Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2022. https://doi.org/10.1145/3498689.
[Published Version]
View
| DOI
| Download Published Version (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| 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.)
2022 |Published| Journal Article | IST-REx-ID: 17526 |
Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries: General-Relativistic Ray Tracing of Black Hole Binaries.” Physical Review D. American Physical Society (APS), 2022. https://doi.org/10.1103/physrevd.105.103010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Conference Paper | IST-REx-ID: 10752
Lampert, Jasmin, and Christoph Lampert. “Overcoming Rare-Language Discrimination in Multi-Lingual Sentiment Analysis.” In 2021 IEEE International Conference on Big Data, 5185–92. IEEE, 2022. https://doi.org/10.1109/bigdata52589.2021.9672003.
View
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 17536 |
Samsing, J., I. Bartos, D. J. D’Orazio, Zoltán Haiman, B. Kocsis, N. W. C. Leigh, B. Liu, M. E. Pessah, and H. Tagawa. “AGN as Potential Factories for Eccentric Black Hole Mergers.” Nature. Springer Science and Business Media LLC, 2022. https://doi.org/10.1038/s41586-021-04333-1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11420 |
Shevchenko, Aleksandr, Vyacheslav Kungurtsev, and Marco Mondelli. “Mean-Field Analysis of Piecewise Linear Solutions for Wide ReLU Networks.” Journal of Machine Learning Research. Journal of Machine Learning Research, 2022.
[Published Version]
View
| Files available
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12780 |
Markov, Ilia, Hamidreza Ramezanikebrya, and Dan-Adrian Alistarh. “CGX: Adaptive System Support for Communication-Efficient Deep Learning.” In Proceedings of the 23rd ACM/IFIP International Middleware Conference, 241–54. Association for Computing Machinery, 2022. https://doi.org/10.1145/3528535.3565248.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 17547 |
Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries: Observing Black Hole Shadows via Light Curve Tomography.” Physical Review Letters. American Physical Society, 2022. https://doi.org/10.1103/physrevlett.128.191101.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 17553 |
Tiede, Christopher, Jonathan Zrake, Andrew MacFadyen, and Zoltán Haiman. “How Binaries Accrete: Hydrodynamic Simulations with Passive Tracer Particles.” The Astrophysical Journal. American Astronomical Society, 2022. https://doi.org/10.3847/1538-4357/ac6c2b.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17563 |
Sabyr, Alina, Zoltán Haiman, José Manuel Zorrilla Matilla, and Tianhuan Lu. “Cosmological Constraints from Weak Lensing Peaks: Can Halo Models Accurately Predict Peak Counts?” Physical Review D. American Physical Society, 2022. https://doi.org/10.1103/physrevd.105.023505.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17560 |
Hu, Haojie, Kohei Inayoshi, Zoltán Haiman, Wenxiu Li, Eliot Quataert, and Rolf Kuiper. “Supercritical Growth Pathway to Overmassive Black Holes at Cosmic Dawn: Coevolution with Massive Quasar Hosts.” The Astrophysical Journal. American Astronomical Society, 2022. https://doi.org/10.3847/1538-4357/ac7daa.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17562 |
Lu, Tianhuan, Zoltán Haiman, and José Manuel Zorrilla Matilla. “Simultaneously Constraining Cosmology and Baryonic Physics via Deep Learning from Weak Lensing.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2022. https://doi.org/10.1093/mnras/stac161.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17561 |
Yang, Y., I. Bartos, G. Fragione, Zoltán Haiman, M. Kowalski, S. Márka, R. Perna, and H. Tagawa. “Tidal Disruption on Stellar-Mass Black Holes in Active Galactic Nuclei.” The Astrophysical Journal Letters. American Astronomical Society, 2022. https://doi.org/10.3847/2041-8213/ac7c0b.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Conference Paper | IST-REx-ID: 12018
Zhang, Yihan, and Shashank Vatedka. “Lower Bounds on List Decoding Capacity Using Error Exponents.” In 2022 IEEE International Symposium on Information Theory, 2022:1324–29. Institute of Electrical and Electronics Engineers, 2022. https://doi.org/10.1109/ISIT50566.2022.9834815.
View
| DOI
2022 |Published| Journal Article | IST-REx-ID: 17568 |
Tagawa, Hiromichi, Shigeo S. Kimura, Zoltán Haiman, Rosalba Perna, Hidekazu Tanaka, and Imre Bartos. “Can Stellar-Mass Black Hole Growth Disrupt Disks of Active Galactic Nuclei? The Role of Mechanical Feedback.” The Astrophysical Journal. American Astronomical Society, 2022. https://doi.org/10.3847/1538-4357/ac45f8.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17572 |
D’Orazio, Daniel J., Zoltán Haiman, Janna Levin, Johan Samsing, and Alejandro Vigna-Gómez. “Multimessenger Constraints on Magnetic Fields in Merging Black Hole–Neutron Star Binaries.” The Astrophysical Journal. American Astronomical Society, 2022. https://doi.org/10.3847/1538-4357/ac4bdb.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17571 |
Scoggins, Matthew T, Zoltán Haiman, and John H Wise. “How Long Do High Redshift Massive Black Hole Seeds Remain Outliers in Black Hole versus Host Galaxy Relations?” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2022. https://doi.org/10.1093/mnras/stac3715.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17576 |
Gurvits LI, Paragi Z, Amils RI, van Bemmel I, Boven P, Casasola V, Conway J, Davelaar J, Díez-González MC, Falcke H, Fender R, Frey S, Fromm CM, Gallego-Puyol JD, García-Miró C, Garrett MA, Giroletti M, Goddi C, Gómez JL, van der Gucht J, Guirado JC, Haiman Z, Helmich F, Hudson B, Humphreys E, Impellizzeri V, Janssen M, Johnson MD, Kovalev YY, Kramer M, Lindqvist M, Linz H, Liuzzo E, Lobanov AP, López-Fernández I, Malo-Gómez I, Masania K, Mizuno Y, Plavin AV, Rajan RT, Rezzolla L, Roelofs F, Ros E, Rygl KLJ, Savolainen T, Schuster K, Venturi T, Verkouter M, de Vicente P, Visser PNAM, Wiedner MC, Wielgus M, Wiik K, Zensus JA. 2022. The science case and challenges of space-borne sub-millimeter interferometry. Acta Astronautica. 196, 314–333.
[Published Version]
View
| DOI
| Download Published Version (ext.)