E-LIB Suche - Ergebnisse für: Lin, Zhengyao

1

Generating Proof Certificates for a Language-Agnostic Deduc..:

Lin, Zhengyao ; Chen, Xiaohong ; Trinh, Minh-Thai..
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 56-84 , 2023

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

2

Synthesizing axiomatizations using logic learning:

Krogmeier, Paul ; Lin, Zhengyao ; Murali, Adithya.
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 1697-1725 , 2022

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

3

Language-parametric compiler validation with application to..:

, In: Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems,

Kasampalis, Theodoros ; Park, Daejun ; Lin, Zhengyao.. - p. 1004-1019 , 2021

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

4

Towards a Trustworthy Semantics-Based Language Framework vi..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Chen, Xiaohong ; Lin, Zhengyao ; Trinh, Minh-Thai. - p. 477-499 , 2021

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

5

WaveCert: Formal Compiler Validation for Asynchronous Dataf..:

Lin, Zhengyao ; Gancher, Joshua ; Parno, Bryan
http://arxiv.org/abs/2312.09326. , 2023

Link: http://arxiv.org/abs/231..

6

Generating Proof Certificates for a Language-Agnostic Deduc..:

Lin, Zhengyao ; Chen, Xiaohong ; Trinh, Minh-Thai..
doi:10.5281/zenodo.7482286. , 2022

Link: https://zenodo.org/recor..

7

Generating Proof Certificates for a Language-Agnostic Deduc..:

Lin, Zhengyao ; Chen, Xiaohong ; Trinh, Minh-Thai..
doi:10.5281/zenodo.7482286. , 2022

Link: https://zenodo.org/recor..

8

Generating Proof Certificates for a Language-Agnostic Deduc..:

Lin, Zhengyao ; Chen, Xiaohong ; Trinh, Minh-Thai..
doi:10.5281/zenodo.7482286. , 2022

Link: https://zenodo.org/recor..

9

Generating Proof Certificates for a Language-Agnostic Deduc..:

Lin, Zhengyao ; Chen, Xiaohong ; Trinh, Minh-Thai..
doi:10.5281/zenodo.7482286. , 2022

Link: https://zenodo.org/recor..

10

Synthesizing Axiomatizations using Logic Learning:

Krogmeier, Paul ; Lin, Zhengyao ; Murali, Adithya.
doi:10.1145/3563348. , 2022

Link: https://zenodo.org/recor..

11

Generating Proof Certificates for a Language-Agnostic Deduc..:

Lin, Zhengyao ; Chen, Xiaohong ; Trinh, Minh-Thai..
doi:10.5281/zenodo.7482286. , 2022

Link: https://zenodo.org/recor..

12

Language-Parametric Compiler Validation with Application to..:

Kasampalis, Theodoros ; Park, Daejun ; Lin, Zhengyao..
doi:10.5281/zenodo.4321676. , 2020

Link: https://zenodo.org/recor..

13

Language-Parametric Compiler Validation with Application to..:

Kasampalis, Theodoros ; Park, Daejun ; Lin, Zhengyao..
doi:10.5281/zenodo.4321676. , 2020

Link: https://zenodo.org/recor..

14

Multisnapshot High-Resolution Gridless DOA Estimation for U..:

Zhou, Tianjun ; He, Zhengyao ; Shi, Qiang..
IEEE Signal Processing Letters. , 2024

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

15

Research on low-frequency bender disk transducer driven by ..:

Shi, Qiang ; He, Zhengyao ; Xu, Hong..
Applied Acoustics. 216 (2024) - p. 109808 , 2024

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