E-LIB Suche - Ergebnisse für: First, Emily

1

CoqPyt: Proof Navigation in Python in the Era of LLMs:

, In: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering,

Carrott, Pedro ; Saavedra, Nuno ; Thompson, Kyle... - p. 637-641 , 2024

2

Baldur: Whole-Proof Generation and Repair with Large Langua..:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

First, Emily ; Rabe, Markus N. ; Ringer, Talia. - p. 1229-1241 , 2023

Link: https://dl.acm.org/doi/1..

3

Passport: Improving Automated Formal Verification Using Ide..:

Sanchez-Stern, Alex ; First, Emily ; Zhou, Timothy...
ACM Transactions on Programming Languages and Systems. 45 (2023) 2 - p. 1-30 , 2023

Link: https://doi.org/10.1145/..

4

PRoofster: Automated Formal Verification:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Agrawal, Arpan ; First, Emily ; Kaufman, Zhanna... - p. 26-30 , 2023

Link: https://doi.org/10.1109/..

5

Diversity-Driven Automated Formal Verification:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE),

First, Emily ; Brun, Yuriy - p. 01-13 , 2022

Link: https://doi.org/10.1145/..

6

Diversity-driven automated formal verification:

, In: Proceedings of the 44th International Conference on Software Engineering,

First, Emily ; Brun, Yuriy - p. 749-761 , 2022

Link: https://dl.acm.org/doi/1..

7

Storage conditions of a caldera-forming volcanic eruption: ..:

Pineda, Camila ; Hammer, Julia ; First, Emily.
Lithos. 400-401 (2021) - p. 106382 , 2021

Link: https://doi.org/10.1016/..

8

TacTok: semantics-aware proof synthesis:

First, Emily ; Brun, Yuriy ; Guha, Arjun
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-31 , 2020

Link: https://doi.org/10.1145/..

9

TacTok: semantics-aware proof synthesis:

First, Emily ; Brun, Yuriy ; Guha, Arjun
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-31 , 2020

Link: https://dl.acm.org/doi/1..

10

Igneous cooling history of olivine‐phyric shergottite Yamat..:

First, Emily ; Hammer, Julia
Meteoritics & Planetary Science. 51 (2016) 7 - p. 1233-1255 , 2016

Link: https://doi.org/10.1111/..

11

Influence of redox conditions on the intensity of Mars crus..:

Brachfeld, Stefanie ; Shah, Deepa ; First, Emily..
Meteoritics & Planetary Science. 50 (2015) 10 - p. 1703-1717 , 2015

Link: https://doi.org/10.1111/..

12

Magma balloons or bombs?:

Shea, Thomas ; Hammer, Julia ; First, Emily
Nature Geoscience. 6 (2013) 10 - p. 802-803 , 2013

Link: https://doi.org/10.1038/..

13

Reappraising Crystallization Kinetics with Overgrowth Chron..:

Welsch, Benoît ; Faure, François ; First, Emily C
Journal of Petrology. 64 (2023) 8 - p. , 2023

Link: https://doi.org/10.1093/..

14

Experimental Constraints on Dacite Magma Storage beneath Vo..:

First, Emily C ; Hammer, Julia E ; Ruprecht, Philipp.
Journal of Petrology. 62 (2021) 5 - p. , 2021

Link: https://doi.org/10.1093/..

15

Effects of superheating magnitude on olivine growth:

First, Emily C. ; Leonhardi, Tanis C. ; Hammer, Julia E.
Contributions to Mineralogy and Petrology. 175 (2020) 2 - p. , 2020

Link: https://doi.org/10.1007/..