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

1

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

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://doi.org/10.1145/..

4

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

5

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

6

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

7

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

8

A refinement-based compiler development for synchronous lan..:

, In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design,

Bodeveix, Jean-Paul ; Filali-Amine, Mamoun ; Kan, Shuanglong - p. 165-174 , 2017

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

9

Partial Order Reduction for the full Class of State/Event L..:

Kan, Shuanglong ; Huang, Zhiqiu
The Computer Journal. 61 (2017) 5 - p. 629-644 , 2017

Link: https://doi.org/10.1093/..

10

Detecting safety‐related components in statecharts through ..:

Kan, Shuanglong ; Huang, Zhiqiu
Software: Practice and Experience. 48 (2017) 3 - p. 428-448 , 2017

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

11

Partial order reduction for checking LTL formulae with the ..:

Kan, Shuanglong ; Huang, Zhiqiu ; Chen, Zhe..
Journal of Logic and Computation. , 2016

Link: https://doi.org/10.1093/..

12

Traceability and model checking to support safety requireme..:

, In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering,

Kan, Shuanglong - p. 783-786 , 2014

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

13

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

14

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

15

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