E-LIB Suche - Ergebnisse für: Sanan, David

1

Formally understanding Rust's ownership and borrowing syste..:

Kan, Shuanglong ; Chen, Zhe ; Sanán, David.
Formal Methods in System Design. , 2024

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

2

A Parallel and Distributed Quantum SAT Solver Based on Enta..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Lin, Shang-Wei ; Wang, Tzu-Fan ; Chen, Yean-Ru... - p. 363-382 , 2024

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

3

A Quantum interpretation of separating conjunction for loca..:

Le, Xuan-Bach ; Lin, Shang-Wei ; Sun, Jun.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-27 , 2022

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

4

A Formal Methodology for Verifying Side-Channel Vulnerabili..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Jiang, Ke ; Zhang, Tianwei ; Sanán, David.. - p. 190-208 , 2022

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

5

A Quantum interpretation of separating conjunction for loca..:

Le, Xuan-Bach ; Lin, Shang-Wei ; Sun, Jun.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-27 , 2022

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

6

CSim2: Compositional Top-down Verification of Concurrent Sy..:

Sanan, David ; Zhao, Yongwang ; Lin, Shang-Wei.
ACM Transactions on Programming Languages and Systems. 43 (2021) 1 - p. 1-46 , 2021

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

7

CSim2 : Compositional Top-down Verification of Concurren..:

Sanan, David ; Zhao, Yongwang ; Lin, Shang-Wei.
ACM Transactions on Programming Languages and Systems (TOPLAS). 43 (2021) 1 - p. 1-46 , 2021

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

8

Semantic Understanding of Smart Contracts: Executable Opera..:

, In: 2020 IEEE Symposium on Security and Privacy (SP),

Jiao, Jiao ; Kan, Shuanglong ; Lin, Shang-Wei... - p. 1695-1712 , 2020

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

9

An Isabelle/HOL Formalisation of the SPARC Instruction Set ..:

Hóu, Zhé ; Sanan, David ; Tiu, Alwen...
Journal of Automated Reasoning. 65 (2020) 4 - p. 569-598 , 2020

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

10

A Parametric Rely-Guarantee Reasoning Framework for Concurr..:

, In: Lecture Notes in Computer Science; Formal Methods – The Next 30 Years,

Zhao, Yongwang ; Sanán, David ; Zhang, Fuyuan. - p. 161-178 , 2019

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

11

A Verified Specification of TLSF Memory Management Allocato..:

, In: Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science,

Zhang, Yu ; Zhao, Yongwang ; Sanan, David.. - p. 122-138 , 2019

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

12

Rely-Guarantee Reasoning About Concurrent Memory Management..:

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

Zhao, Yongwang ; Sanán, David - p. 515-533 , 2019

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

13

On embedding a hardware description language in Isabelle/HO:

Khan, Wilayat ; Sanan, David ; Hou, Zhe.
Design Automation for Embedded Systems. 23 (2019) 3-4 - p. 123-151 , 2019

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

14

Refinement-Based Specification and Security Analysis of Sep..:

Zhao, Yongwang ; Sanan, David ; Zhang, Fuyuan.
IEEE Transactions on Dependable and Secure Computing. 16 (2019) 1 - p. 127-141 , 2019

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

15

FiB: squeezing loop invariants by interpolation between For..:

, In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering,

Lin, Shang-Wei ; Sun, Jun ; Xiao, Hao... - p. 793-803 , 2017

Link: http://dl.acm.org/citati..