E-LIB Suche - Ergebnisse für: Kan, Shuanglong

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

CertiStr: a certified string solver:

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

Kan, Shuanglong ; Lin, Anthony Widjaja ; Rümmer, Philipp. - p. 210-224 , 2022

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

3

Solving string constraints with Regex-dependent functions t..:

Chen, Taolue ; Flores-Lamas, Alejandro ; Hague, Matthew...
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-31 , 2022

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

4

Solving string constraints with Regex-dependent functions t..:

Chen, Taolue ; Flores-Lamas, Alejandro ; Hague, Matthew...
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-31 , 2022

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

5

CertiStr : A Certified String Solver:

Kan, Shuanglong ; Lin, Anthony Widjaja ; Rümmer, Philipp.
CPP 2022 : Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, p. 210-224. , 2022

Link: http://urn.kb.se/resolve..

6

Solving String Constraints with Regex-Dependent Functions t..:

Chen, Taolue ; Flores-Lamas, Alejandro ; Hague, Matthew...
Proceedings of the ACM on Programming Languages, 2022, 6,. , 2022

Link: http://urn.kb.se/resolve..

7

SafeOSL: Ensuring memory safety of C via ownership‐based in..:

Yin, Xiaohua ; Huang, Zhiqiu ; Kan, Shuanglong...
Software: Practice and Experience. 52 (2021) 5 - p. 1114-1142 , 2021

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

8

A security type verifier for smart contracts:

Hu, Xinwen ; Zhuang, Yi ; Lin, Shang-Wei...
Computers & Security. 108 (2021) - p. 102343 , 2021

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

9

Solving String Constraints With Regex-Dependent Functions T..:

Chen, Taolue ; Lamas, Alejandro Flores ; Hague, Matthew...
http://arxiv.org/abs/2111.04298. , 2021

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

10

CertiStr: A Certified String Solver (technical report):

Kan, Shuanglong ; Lin, Anthony W ; Rümmer, Philipp.
http://arxiv.org/abs/2112.06039. , 2021

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

11

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

12

Semantic understanding of smart contracts: Executable opera..:

JIAO, Jiao ; KAN, Shuanglong ; LIN, Shang Wei...
https://ink.library.smu.edu.sg/sis_research/5968. , 2020

Link: https://ink.library.smu...

13

Detecting memory errors at runtime with source-level instru..:

, In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis,

Chen, Zhe ; Yan, Junqi ; Kan, Shuanglong.. - p. 341-351 , 2019

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

14

Executable Operational Semantics of Solidity:

Jiao, Jiao ; Kan, Shuanglong ; Lin, Shang-Wei...
http://arxiv.org/abs/1804.01295. , 2018

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

15

An Executable Operational Semantics for Rust with the Forma..:

Kan, Shuanglong ; Chen, Zhe ; Sanan, David..
http://arxiv.org/abs/1804.07608. , 2018

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