Phosphorus and aluminum zoning in olivine: contrasting behavior of two nominally incompatible trace elements T Shea, JE Hammer, E Hellebrand, AJ Mourey, F Costa, EC First, KJ Lynn, ... Contributions to Mineralogy and Petrology 174, 1-24, 2019 | 58 | 2019 |
Phosphorus and aluminum zoning in olivine: contrasting behavior of two nominally incompatible trace elements T Shea, JE Hammer, E Hellebrand, AJ Mourey, F Costa, EC First, KJ Lynn, ... Contributions to Mineralogy and Petrology 174, 1-24, 2019 | 58 | 2019 |
Phosphorus and aluminum zoning in olivine: contrasting behavior of two nominally incompatible trace elements T Shea, JE Hammer, E Hellebrand, AJ Mourey, F Costa, EC First, KJ Lynn, ... Contributions to Mineralogy and Petrology 174, 1-24, 2019 | 58 | 2019 |
Baldur: Whole-proof generation and repair with large language models E First, M Rabe, T Ringer, Y Brun Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 40 | 2023 |
TacTok: Semantics-aware proof synthesis E First, Y Brun, A Guha Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-31, 2020 | 28 | 2020 |
Igneous cooling history of olivine‐phyric shergottite Yamato 980459 constrained by dynamic crystallization experiments E First, J Hammer Meteoritics & Planetary Science 51 (7), 1233-1255, 2016 | 26 | 2016 |
Diversity-driven automated formal verification E First, Y Brun Proceedings of the 44th International Conference on Software Engineering …, 2022 | 22 | 2022 |
Passport: Improving automated formal verification using identifiers A Sanchez-Stern, E First, T Zhou, Z Kaufman, Y Brun, T Ringer ACM Transactions on Programming Languages and Systems 45 (2), 1-30, 2023 | 18 | 2023 |
Effects of superheating magnitude on olivine growth EC First, TC Leonhardi, JE Hammer Contributions to Mineralogy and Petrology 175, 1-14, 2020 | 17 | 2020 |
Experimental constraints on dacite magma storage beneath Volcán Quizapu, Chile EC First, JE Hammer, P Ruprecht, M Rutherford Journal of Petrology 62 (5), egab027, 2021 | 16 | 2021 |
Proofster: Automated formal verification A Agrawal, E First, Z Kaufman, T Reichel, S Zhang, T Zhou, ... 2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023 | 7 | 2023 |
Detrital zircon geochronology of Paleocene/Eocene turbidites from Venezuela and offshore islands: implications for Late Cretaceous subduction initiation along the Leeward … M Noguera, C Stedman, E First, E Lord, A Parrinello, J Wright, F Urbani, ... Geos, Caracas, 29-30, 2010 | 7 | 2010 |
Magma balloons or bombs? T Shea, J Hammer, E First Nature Geoscience 6 (10), 802-803, 2013 | 6 | 2013 |
Storage conditions of a caldera-forming volcanic eruption: Insights from the Pudahuel rhyolitic ignimbrite in central Chile (32° 10′ S) C Pineda, J Hammer, E First, D Morata Lithos 400, 106382, 2021 | 4 | 2021 |
Galaxy of green EC First, C Kremer, M Telus, D Trang Elements 19 (3), 173-179, 2023 | 2 | 2023 |
Getting More out of Large Language Models for Proofs SD Zhang, T Ringer, E First arXiv preprint arXiv:2305.04369, 2023 | 2 | 2023 |
Effect of Superheating on Olivine Nucleation and Growth in a Silica-Undersaturated Melt: An Experimental Study TC Leonhardi, JE Hammer, E First AGU Fall Meeting Abstracts 2015, V41B-3071, 2015 | 2 | 2015 |
Influence of redox conditions on the intensity of Mars crustal magnetic anomalies S Brachfeld, D Shah, E First, J Hammer, J Bowles Meteoritics & Planetary Science 50 (10), 1703-1717, 2015 | 2 | 2015 |
Reappraising Crystallization Kinetics with Overgrowth Chronometry: an in Situ Study of Olivine Growth Velocities B Welsch, F Faure, EC First Journal of Petrology 64 (8), egad055, 2023 | 1 | 2023 |
Olivine—the little green science machine B Welsch, EC First, P Ruprecht, MC Jollands Elements 19 (3), 138-143, 2023 | 1 | 2023 |