Zobrazeno 1 - 10
of 34
pro vyhledávání: '"Qingkai Shi"'
Autor:
Qingkai Shi, Yue Li, Shuaitao Deng, Huijuan Zhang, Huiling Jiang, Liang Shen, Tao Pan, Pei Hong, Hailong Wu, Yilin Shu
Publikováno v:
Ecology and Evolution, Vol 13, Iss 5, Pp n/a-n/a (2023)
Abstract The gut microbiota of amphibians plays a crucial role in maintaining health and adapting to various developmental stages. The composition of gut microbial community is influenced by the phylogeny, habitat, diet, and developmental stage of th
Externí odkaz:
https://doaj.org/article/f78f53a3fd5f46b6a7973b2c6c1e34e4
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 32:1-39
Containers are ubiquitous data structures that support a variety of manipulations on the elements, inducing the indirect value flows in the program. Tracking value flows through containers is stunningly difficult, because it depends on container memo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::64d1484f69edd4d527b8e2f8b94ee901
https://doi.org/10.1145/3565800
https://doi.org/10.1145/3565800
Publikováno v:
Proceedings of the ACM on Programming Languages. 6:1438-1468
Many context-sensitive dataflow analyses can be formulated as an extended Dyck-CFL reachability problem, where function calls and returns are modeled as partially matched parentheses. Unfortunately, despite many works on the standard Dyck-CFL reachab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d33728641929e61ad3e5eb13e51dfd49
https://doi.org/10.1145/3563339
https://doi.org/10.1145/3563339
Publikováno v:
Proceedings of the ACM on Programming Languages. 6:1-31
Containers, such as lists and maps, are fundamental data structures in modern programming languages. However, improper choice of container types may lead to significant performance issues. This paper presents Cres, an approach that automatically synt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::366740fa3fe1060255a9a68a396bfbc3
https://doi.org/10.1145/3527312
https://doi.org/10.1145/3527312
Publikováno v:
Proceedings of the ACM on Programming Languages. 5:1-32
This paper concerns the scalability challenges of symbolic abstraction: given a formula ϕ in a logic L and an abstract domain A , find a most precise element in the abstract domain that over-approximates the meaning of ϕ. Symbolic abstraction is an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::704504f8a453045ff4e4cc979ae3b72a
https://doi.org/10.1145/3485495
https://doi.org/10.1145/3485495
Publikováno v:
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a9e8575220bffe4c01f4e258f5f8115b
https://doi.org/10.1145/3540250.3549110
https://doi.org/10.1145/3540250.3549110
Publikováno v:
Proceedings of the 44th International Conference on Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::82e52d53043fc4744c71efb397d84dc9
https://doi.org/10.1145/3510003.3510066
https://doi.org/10.1145/3510003.3510066
Publikováno v:
2022 IEEE Symposium on Security and Privacy (SP).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7fc83134f3f9fffa3695bcb724e72faf
https://doi.org/10.1109/sp46214.2022.9833751
https://doi.org/10.1109/sp46214.2022.9833751
Publikováno v:
ACM Transactions on Software Engineering & Methodology; May2023, Vol. 32 Issue 3, p1-39, 39p
Autor:
Qingkai Shi, Si Deng, Yuling Zheng, Yinlin Du, Ling Li, Suzhao Yang, Gaoxia Zhang, Li Du, Guangfu Wang, Min Cheng, Yang Liu
Publikováno v:
Environmental Research. 212:113340
Sulfate radical (SO
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00e0a1eb8520af5bdf1fb63656304fc2
https://doi.org/10.1016/j.envres.2022.113340
https://doi.org/10.1016/j.envres.2022.113340