Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Polgreen, Elizabeth
53  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

Synthesising Programs with Non-trivial Constants:

Abate, Alessandro ; Barbosa, Haniel ; Barrett, Clark...
Abate , A , Barbosa , H , Barrett , C , David , C , Kesseli , P , Kreoning , D , Polgreen , E , Reynolds , A & Tinelli , C 2023 , ' Synthesising Programs with Non-trivial Constants ' , Journal of Automated Reasoning , vol. 67 , no. 2 , 19 . https://doi.org/10.1007/s10817-023-09664-4.  , 2023
Link: https://hdl.handle.net/1..
 
?
2

Reinforcement Learning and Data-Generation for Syntax-Guide..:

Parsert, Julian ; Polgreen, Elizabeth
http://arxiv.org/abs/2307.09564.  , 2023
Link: http://arxiv.org/abs/230..
 
?
3

mlirSynth: Automatic, Retargetable Program Raising in Multi..:

Brauckmann, Alexander ; Polgreen, Elizabeth ; Grosser, Tobias.
http://arxiv.org/abs/2310.04196.  , 2023
Link: http://arxiv.org/abs/231..
 
?
4

The SyGuS Language Standard Version 2.1:

Padhi, Saswat ; Polgreen, Elizabeth ; Raghothaman, Mukund..
http://arxiv.org/abs/2312.06001.  , 2023
Link: http://arxiv.org/abs/231..
 
?
5

Synthesising Programs with Non-trivial Constants:

Abate, Alessandro ; Barbosa, Haniel ; Barrett, Clark...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10182957/.  , 2023
Link: http://www.ncbi.nlm.nih...
 
?
6

Genetic Algorithms for Searching a Matrix of Metagrammars f..:

Li, Yixuan ; Mora, Federico ; Polgreen, Elizabeth.
http://arxiv.org/abs/2306.00521.  , 2023
Link: http://arxiv.org/abs/230..
 
?
7

Satisfiability and Synthesis Modulo Oracles:

Polgreen, Elizabeth ; Reynolds, Andrew ; Seshia, Sanjit A
qt6tj4r9bk.  , 2022
Link: https://escholarship.org..
 
?
8

UCLID5: Multi-Modal Formal Modeling, Verification, and Synt..:

Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav...
http://arxiv.org/abs/2208.03699.  , 2022
Link: http://arxiv.org/abs/220..
 
?
9

UCLID5: Multi-modal Formal Modeling, Verification, and Synt..:

Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav...
qt0c79w0z8.  , 2022
Link: https://escholarship.org..
 
?
10

Satisfiability and Synthesis Modulo Oracles:

Polgreen, Elizabeth ; Reynolds, Andrew ; Seshia, Sanjit A
http://arxiv.org/abs/2107.13477.  , 2021
Link: http://arxiv.org/abs/210..
 
?
11

UCLID5: Multi-Modal Formal Modeling, Verification, and Synt..:

Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav...
doi:10.5281/zenodo.5646922.  , 2021
Link: https://zenodo.org/recor..
 
?
12

MedleySolver: Online SMT Algorithm Selection:

Pimpalkhare, Nikhil ; Mora, Federico ; Polgreen, Elizabeth.
qt6484j1kw.  , 2021
Link: https://escholarship.org..
 
?
13

UCLID5: Multi-Modal Formal Modeling, Verification, and Synt..:

Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav...
doi:10.5281/zenodo.5646922.  , 2021
Link: https://zenodo.org/recor..
 
?
14

UCLID5: Multi-Modal Formal Modeling, Verification, and Synt..:

Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav...
doi:10.5281/zenodo.5646922.  , 2021
Link: https://zenodo.org/recor..
 
?
15

UCLID5: Multi-Modal Formal Modeling, Verification, and Synt..:

Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav...
doi:10.5281/zenodo.5646922.  , 2021
Link: https://zenodo.org/recor..
 
1-15