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 Abstract | IST-REx-ID: 17062 | 
The importance of surface adsorbates in solution-processed thermoelectric materials
M. Ibáñez, Y. Liu, M. Calcabrini, in:, Proceedings of the NanoGe Spring Meeting 2022, Fundació Scito, 2022.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Ibáñez, Y. Liu, M. Calcabrini, in:, Proceedings of the NanoGe Spring Meeting 2022, Fundació Scito, 2022.
2022 |Published| Conference Paper | IST-REx-ID: 17060 |
Wiser: Increasing throughput in payment channel networks with transaction aggregation
S. Tiwari, M.X. Yeo, Z. Avarikioti, I. Salem, K.Z. Pietrzak, S. Schmid, in:, Proceedings of the 4th ACM Conference on Advances in Financial Technologies, Association for Computing Machinery, 2022, pp. 217–231.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Tiwari, M.X. Yeo, Z. Avarikioti, I. Salem, K.Z. Pietrzak, S. Schmid, in:, Proceedings of the 4th ACM Conference on Advances in Financial Technologies, Association for Computing Machinery, 2022, pp. 217–231.
2022 |Published| Conference Paper | IST-REx-ID: 17059 |
SPDY: Accurate pruning with speedup guarantees
E. Frantar, D.-A. Alistarh, in:, 39th International Conference on Machine Learning, ML Research Press, 2022, pp. 6726–6743.
[Published Version]
View
| Files available
| WoS
E. Frantar, D.-A. Alistarh, in:, 39th International Conference on Machine Learning, ML Research Press, 2022, pp. 6726–6743.
2022 |Submitted| Preprint | IST-REx-ID: 14597 |
Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow
J.L. Fischer, A. Marveggio, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J.L. Fischer, A. Marveggio, ArXiv (n.d.).
2022 |Published| Conference Paper | IST-REx-ID: 17502 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
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.
2022 |Published| Journal Article | IST-REx-ID: 17504 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
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.
2022 |Published| Journal Article | IST-REx-ID: 17501 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. Zhu, M.J. Sammler, R. Lepigre, D. Dreyer, D. Garg, Proceedings of the ACM on Programming Languages 6 (2022) 1613–1638.
2022 |Published| Journal Article | IST-REx-ID: 17503 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Lepigre, M.J. Sammler, K. Memarian, R. Krebbers, D. Dreyer, P. Sewell, Proceedings of the ACM on Programming Languages 6 (2022) 1–32.
2022 |Published| Journal Article | IST-REx-ID: 17526 |
Self-lensing flares from black hole binaries: General-relativistic ray tracing of black hole binaries
J. Davelaar, Z. Haiman, Physical Review D 105 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
J. Davelaar, Z. Haiman, Physical Review D 105 (2022).
2022 |Published| Conference Paper | IST-REx-ID: 10752
Overcoming rare-language discrimination in multi-lingual sentiment analysis
J. Lampert, C. Lampert, in:, 2021 IEEE International Conference on Big Data, IEEE, 2022, pp. 5185–5192.
View
| DOI
| WoS
J. Lampert, C. Lampert, in:, 2021 IEEE International Conference on Big Data, IEEE, 2022, pp. 5185–5192.
2022 |Published| Journal Article | IST-REx-ID: 17536 |
AGN as potential factories for eccentric black hole mergers
J. Samsing, I. Bartos, D.J. D’Orazio, Z. Haiman, B. Kocsis, N.W.C. Leigh, B. Liu, M.E. Pessah, H. Tagawa, Nature 603 (2022) 237–240.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Samsing, I. Bartos, D.J. D’Orazio, Z. Haiman, B. Kocsis, N.W.C. Leigh, B. Liu, M.E. Pessah, H. Tagawa, Nature 603 (2022) 237–240.
2022 |Published| Journal Article | IST-REx-ID: 11420 |
Mean-field analysis of piecewise linear solutions for wide ReLU networks
A. Shevchenko, V. Kungurtsev, M. Mondelli, Journal of Machine Learning Research 23 (2022) 1–55.
[Published Version]
View
| Files available
| arXiv
A. Shevchenko, V. Kungurtsev, M. Mondelli, Journal of Machine Learning Research 23 (2022) 1–55.
2022 |Published| Conference Paper | IST-REx-ID: 12780 |
CGX: Adaptive system support for communication-efficient deep learning
I. Markov, H. Ramezanikebrya, D.-A. Alistarh, in:, Proceedings of the 23rd ACM/IFIP International Middleware Conference, Association for Computing Machinery, 2022, pp. 241–254.
[Published Version]
View
| Files available
| DOI
| arXiv
I. Markov, H. Ramezanikebrya, D.-A. Alistarh, in:, Proceedings of the 23rd ACM/IFIP International Middleware Conference, Association for Computing Machinery, 2022, pp. 241–254.
2022 |Published| Journal Article | IST-REx-ID: 17547 |
Self-Lensing flares from black hole binaries: Observing black hole shadows via light curve tomography
J. Davelaar, Z. Haiman, Physical Review Letters 128 (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Davelaar, Z. Haiman, Physical Review Letters 128 (2022).
2022 |Published| Journal Article | IST-REx-ID: 17553 |
How binaries accrete: Hydrodynamic simulations with passive tracer particles
C. Tiede, J. Zrake, A. MacFadyen, Z. Haiman, The Astrophysical Journal 932 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Tiede, J. Zrake, A. MacFadyen, Z. Haiman, The Astrophysical Journal 932 (2022).
2022 |Published| Journal Article | IST-REx-ID: 17563 |
Cosmological constraints from weak lensing peaks: Can halo models accurately predict peak counts?
A. Sabyr, Z. Haiman, J.M.Z. Matilla, T. Lu, Physical Review D 105 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. Sabyr, Z. Haiman, J.M.Z. Matilla, T. Lu, Physical Review D 105 (2022).
2022 |Published| Journal Article | IST-REx-ID: 17560 |
Supercritical growth pathway to overmassive black holes at cosmic dawn: Coevolution with massive quasar hosts
H. Hu, K. Inayoshi, Z. Haiman, W. Li, E. Quataert, R. Kuiper, The Astrophysical Journal 935 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Hu, K. Inayoshi, Z. Haiman, W. Li, E. Quataert, R. Kuiper, The Astrophysical Journal 935 (2022).
2022 |Published| Journal Article | IST-REx-ID: 17562 |
Simultaneously constraining cosmology and baryonic physics via deep learning from weak lensing
T. Lu, Z. Haiman, J.M. Zorrilla Matilla, Monthly Notices of the Royal Astronomical Society 511 (2022) 1518–1528.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Lu, Z. Haiman, J.M. Zorrilla Matilla, Monthly Notices of the Royal Astronomical Society 511 (2022) 1518–1528.
2022 |Published| Journal Article | IST-REx-ID: 17561 |
Tidal disruption on stellar-mass black holes in active galactic nuclei
Y. Yang, I. Bartos, G. Fragione, Z. Haiman, M. Kowalski, S. Márka, R. Perna, H. Tagawa, The Astrophysical Journal Letters 933 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
Y. Yang, I. Bartos, G. Fragione, Z. Haiman, M. Kowalski, S. Márka, R. Perna, H. Tagawa, The Astrophysical Journal Letters 933 (2022).
2022 |Published| Conference Paper | IST-REx-ID: 12018
Lower bounds on list decoding capacity using error exponents
Y. Zhang, S. Vatedka, in:, 2022 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2022, pp. 1324–1329.
View
| DOI
Y. Zhang, S. Vatedka, in:, 2022 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2022, pp. 1324–1329.