E-LIB Suche - Ergebnisse für: Appel, Andrew W

1

VST-A: A Foundationally Sound Annotation Verifier:

Zhou, Litao ; Qin, Jianxing ; Wang, Qinshi..
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 2069-2098 , 2024

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

2

Efficient Extensional Binary Tries:

Appel, Andrew W. ; Leroy, Xavier
Journal of Automated Reasoning. 67 (2023) 1 - p. , 2023

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

3

Verified Correctness, Accuracy, and Convergence of a Statio..:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,

Tekriwal, Mohit ; Appel, Andrew W. ; Kellison, Ariel E... - p. 206-221 , 2023

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

4

A Solver for Arrays with Concatenation:

Wang, Qinshi ; Appel, Andrew W.
Journal of Automated Reasoning. 67 (2023) 1 - p. , 2023

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

5

LAProof: A Library of Formal Proofs of Accuracy and Correct..:

, In: 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH),

Kellison, Ariel E. ; Appel, Andrew W. ; Tekriwal, Mohit. - p. 36-43 , 2023

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

6

Alan Turing's Systems of Logic

The Princeton Thesis

Appel, Andrew W ; Appel, Andrew W ; Fefermn, Solomon. , [2022]

Link: https://www.degruyter.co..

7

Verified Numerical Methods for Ordinary Differential Equati..:

, In: Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems,

Kellison, Ariel E. ; Appel, Andrew W. - p. 147-163 , 2022

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

8

Coq's vibrant ecosystem for verification engineering (invit..:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Appel, Andrew W. - p. 2-11 , 2022

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

9

Verified Erasure Correction in Coq with MathComp and VST:

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

Cohen, Joshua M. ; Wang, Qinshi ; Appel, Andrew W. - p. 272-292 , 2022

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

10

Deriving efficient program transformations from rewrite rul..:

Li, John M. ; Appel, Andrew W.
Proceedings of the ACM on Programming Languages. 5 (2021) ICFP - p. 1-29 , 2021

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

11

Compositional optimizations for CertiCoq:

Paraskevopoulou, Zoe ; Li, John M. ; Appel, Andrew W.
Proceedings of the ACM on Programming Languages. 5 (2021) ICFP - p. 1-30 , 2021

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

12

Abstraction and subsumption in modular verification of C pr..:

Beringer, Lennart ; Appel, Andrew W.
Formal Methods in System Design. 58 (2021) 1-2 - p. 322-345 , 2021

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

13

Deriving efficient program transformations from rewrite rul..:

Li, John M. ; Appel, Andrew W.
Proceedings of the ACM on Programming Languages. 5 (2021) ICFP - p. 1-29 , 2021

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

14

Compositional optimizations for CertiCoq:

Paraskevopoulou, Zoe ; Li, John M. ; Appel, Andrew W.
Proceedings of the ACM on Programming Languages. 5 (2021) ICFP - p. 1-30 , 2021

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

15

Connecting Higher-Order Separation Logic to a First-Order O..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Mansky, William ; Honoré, Wolf ; Appel, Andrew W. - p. 428-455 , 2020

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