I agree that this site is using cookies. You can find further informations here.
X
Kan, Shuanglong
15  results:
OpenAccess-fulltext X
Search for persons X
?
1

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

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

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

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

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

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

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

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

Bodeveix, Jean-Paul ; Filali, M ; Kan, Shuanglong
info:eu-repo/semantics/altIdentifier/doi/10.1145/3127041.3127056.  , 2017
Link: https://hal.science/hal-..
 
?
9

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

Bodeveix, Jean-Paul ; Filali, M ; Kan, Shuanglong
info:eu-repo/semantics/altIdentifier/doi/10.1145/3127041.3127056.  , 2017
Link: https://hal.science/hal-..
 
?
10

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

Bodeveix, Jean-Paul ; Filali, M ; Kan, Shuanglong
info:eu-repo/semantics/altIdentifier/doi/10.1145/3127041.3127056.  , 2017
Link: https://hal.science/hal-..
 
?
11

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

Bodeveix, Jean-Paul ; Filali, M ; Kan, Shuanglong
info:eu-repo/semantics/altIdentifier/doi/10.1145/3127041.3127056.  , 2017
Link: https://hal.science/hal-..
 
?
12

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

Bodeveix, Jean-Paul ; Filali, M ; Kan, Shuanglong
info:eu-repo/semantics/altIdentifier/doi/10.1145/3127041.3127056.  , 2017
Link: https://hal.science/hal-..
 
?
13

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

Bodeveix, Jean-Paul ; Filali, M ; Kan, Shuanglong
info:eu-repo/semantics/altIdentifier/doi/10.1145/3127041.3127056.  , 2017
Link: https://hal.science/hal-..
 
?
14

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

Bodeveix, Jean-Paul ; Filali, Mamoun ; Shuanglong, Kan
https://oatao.univ-toulouse.fr/19174/1/bodeveix_19174.pdf.  , 2017
Link: https://oatao.univ-toulo..
 
?
15

A Better Translation From LTL to Transition-Based Generaliz..:

Weiwei Li ; Shuanglong Kan ; Zhiqiu Huang
https://ieeexplore.ieee.org/document/8106768/.  , 2017
Link: https://doi.org/10.1109/..
 
1-15