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

Towards Building Verifiable CPS using Lingua Franca:

Lin, Shaokai ; Manerkar, Yatin A. ; Lohstroh, Marten...
ACM Transactions on Embedded Computing Systems.  22 (2023)  5s - p. 1-24 , 2023
Link: https://doi.org/10.1145/..
 
?
2

Synthesising Programs with Non-trivial Constants:

Abate, Alessandro ; Barbosa, Haniel ; Barrett, Clark...
Journal of Automated Reasoning.  67 (2023)  2 - p. , 2023
Link: https://doi.org/10.1007/..
 
?
3

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

, In: 2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT),
Brauckmann, Alexander ; Polgreen, Elizabeth ; Grosser, Tobias. - p. 39-50 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Message Chains for Distributed System Verification:

Mora, Federico ; Desai, Ankush ; Polgreen, Elizabeth.
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA2 - p. 2224-2250 , 2023
Link: https://doi.org/10.1145/..
 
?
5

C2TACO: Lifting Tensor Code to TACO:

, In: Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,
Magalhães, José Wesley de Souza ; Woodruff, Jackson ; Polgreen, Elizabeth. - p. 42-56 , 2023
Link: https://dl.acm.org/doi/1..
 
?
6

Satisfiability and Synthesis Modulo Oracles:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Polgreen, Elizabeth ; Reynolds, Andrew ; Seshia, Sanjit A. - p. 263-284 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Preface for the formal methods in system design special iss..:

Polgreen, Elizabeth ; Perez, Guillermo Alberto
Formal Methods in System Design.  61 (2022)  2-3 - p. 137-138 , 2022
Link: https://doi.org/10.1007/..
 
?
8

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

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav... - p. 538-551 , 2022
Link: https://doi.org/10.1007/..
 
?
9

MedleySolver: Online SMT Algorithm Selection:

, In: Theory and Applications of Satisfiability Testing – SAT 2021; Lecture Notes in Computer Science,
Pimpalkhare, Nikhil ; Mora, Federico ; Polgreen, Elizabeth. - p. 453-470 , 2021
Link: https://doi.org/10.1007/..
 
?
10

Using model checking tools to triage the severity of securi..:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),
Cook, Byron ; Dobel, Bjorn ; Kroening, Daniel... - p. 185-193 , 2020
Link: https://doi.org/10.34727..
 
?
11

Automated formal synthesis of provably safe digital control..:

Abate, Alessandro ; Bessa, Iury ; Cordeiro, Lucas...
Acta Informatica.  57 (2019)  1-2 - p. 223-244 , 2019
Link: https://doi.org/10.1007/..
 
?
12

Counterexample Guided Inductive Synthesis Modulo Theories:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Abate, Alessandro ; David, Cristina ; Kesseli, Pascal.. - p. 270-288 , 2018
Link: https://doi.org/10.1007/..
 
?
13

DSSynth: an automated digital controller synthesis tool for..:

, In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering,
Abate, Alessandro ; Bessa, Iury ; Cattaruzza, Dario... - p. 919-924 , 2017
Link: http://dl.acm.org/citati..
 
?
14

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..
 
?
15

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..
 
1-15