E-LIB Suche - Ergebnisse für: Polgreen, Elizabeth

1

Changes in CSF GAG after intravenous enzyme replacement the..:

Lund, Troy ; Gupta, Ashish ; Braunlin, Elizabeth...
Molecular Genetics and Metabolism. 141 (2024) 2 - p. 107942 , 2024

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

2

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

3

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/..

4

Decreases in CSF neuro-inflammatory markers are associated ..:

Lund, Troy ; Braunlin, Elizabeth ; Gupta, Ashish...
Molecular Genetics and Metabolism. 138 (2023) 2 - p. 107217 , 2023

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

5

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/..

6

Hurler Syndrome Glycosaminoglycans Decrease in Cerebrospina..:

Lund, Troy C. ; Braunlin, Elizabeth ; Polgreen, Lynda E....
Annals of Neurology. 94 (2023) 6 - p. 1182-1186 , 2023

Link: https://doi.org/10.1002/..

7

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/..

8

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/..

9

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

10

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

11

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

12

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

13

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

14

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

15

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/..