![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 186 matches
- 2024
- Taolüe Chen
, Chao Sun, Haowei Yin, Peizheng Wu, Jiangdong Tian:
Rolling Time Domain Charging Allocation of Electric Vehicles Under Time Varying Demand. IEEE Access 12: 14411-14422 (2024) - Pu Sun
, Fu Song
, Yuqi Chen
, Taolue Chen
:
EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis. Proc. ACM Program. Lang. 8(POPL): 848-881 (2024) - Shuqi Liu, Yu Zhou, Longbing Ji, Tingting Han, Taolue Chen:
Enhancing test reuse with GUI events deduplication and adaptive semantic matching. Sci. Comput. Program. 232: 103052 (2024) - Pengfei Gao
, Fu Song
, Taolue Chen
:
Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks. ACM Trans. Softw. Eng. Methodol. 33(3): 79:1-79:38 (2024) - Guang Yang
, Yu Zhou
, Wenhua Yang
, Tao Yue
, Xiang Chen
, Taolue Chen
:
How Important Are Good Method Names in Neural Code Generation? A Model Robustness Perspective. ACM Trans. Softw. Eng. Methodol. 33(3): 60:1-60:35 (2024) - Yu Zhou
, Weilin Zhan
, Zi Li
, Tingting Han
, Taolue Chen
, Harald C. Gall
:
DRIVE: Dockerfile Rule Mining and Violation Detection. ACM Trans. Softw. Eng. Methodol. 33(2): 30:1-30:23 (2024) - Luwei Cai, Fu Song, Taolue Chen:
Towards Efficient Verification of Constant-Time Cryptographic Implementations. CoRR abs/2402.13506 (2024) - Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian Lü:
Softened Symbol Grounding for Neuro-symbolic Systems. CoRR abs/2403.00323 (2024) - Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lü:
Learning with Logical Constraints but without Shortcut Satisfaction. CoRR abs/2403.00329 (2024) - 2023
- Yu Zhou, Chen Chen, Yongchao Wang, Tingting Han, Taolue Chen:
Context-aware API recommendation using tensor factorization. Sci. China Inf. Sci. 66(2) (2023) - Guang Yang
, Yu Zhou
, Xiang Chen, Xiangyu Zhang, Yiran Xu, Tingting Han, Taolue Chen:
A syntax-guided multi-task learning approach for Turducken-style code generation. Empir. Softw. Eng. 28(6): 141 (2023) - Guang Yang, Yu Zhou, Xiang Chen
, Xiangyu Zhang, Tingting Han, Taolue Chen:
ExploitGen: Template-augmented exploit code generation based on CodeBERT. J. Syst. Softw. 197: 111577 (2023) - Pengfei Gao
, Yedi Zhang
, Fu Song
, Taolue Chen
, François-Xavier Standaert
:
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks. Proc. ACM Program. Lang. 7(OOPSLA2): 1817-1847 (2023) - Yedi Zhang
, Zhe Zhao
, Guangke Chen
, Fu Song
, Taolue Chen
:
Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach. ACM Trans. Softw. Eng. Methodol. 32(3): 62:1-62:51 (2023) - Mingyang Liu, Fu Song, Taolue Chen:
Automated Verification of Correctness for Masked Arithmetic Programs. CAV (3) 2023: 255-280 - Xiangyu Zhang, Yu Zhou, Guang Yang, Taolue Chen:
Syntax-Aware Retrieval Augmented Code Generation. EMNLP (Findings) 2023: 1291-1302 - Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian Lü:
Softened Symbol Grounding for Neuro-symbolic Systems. ICLR 2023 - Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lü:
Learning with Logical Constraints but without Shortcut Satisfaction. ICLR 2023 - Zenan Li, Maorun Zhang, Jingwei Xu, Yuan Yao, Chun Cao, Taolue Chen, Xiaoxing Ma, Jian Lu:
Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective. ICSE 2023: 1187-1199 - Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu:
Neuro-symbolic Learning Yielding Logical Constraints. NeurIPS 2023 - Shuqi Liu, Yu Zhou, Tingting Han, Taolue Chen:
Test Reuse Based on Adaptive Semantic Matching across Android Mobile Applications. CoRR abs/2301.00530 (2023) - Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Yiran Xu, Tingting Han, Taolue Chen:
A Syntax-Guided Multi-Task Learning Approach for Turducken-Style Code Generation. CoRR abs/2303.05061 (2023) - Mingyang Liu, Fu Song, Taolue Chen:
Automated Verification of Correctness for Masked Arithmetic Programs. CoRR abs/2305.16596 (2023) - Huiyu Tan, Pengfei Gao, Taolue Chen, Fu Song, Zhilin Wu:
SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits. CoRR abs/2307.00561 (2023) - Guang Yang, Yu Zhou, Xiangyu Zhang, Xiang Chen, Tingting Han, Taolue Chen:
Assessing and Improving Syntactic Adversarial Robustness of Pre-trained Models for Code Translation. CoRR abs/2310.18587 (2023) - Yunpeng Huang, Jingwei Xu, Zixu Jiang, Junyu Lai, Zenan Li, Yuan Yao, Taolue Chen, Lijuan Yang, Zhou Xin, Xiaoxing Ma:
Advancing Transformer Architecture in Long-Context Large Language Models: A Comprehensive Survey. CoRR abs/2311.12351 (2023) - Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Terry Yue Zhuo, Taolue Chen:
Chain-of-Thought in Neural Code Generation: From and For Lightweight Language Models. CoRR abs/2312.05562 (2023) - 2022
- Pengfei Gao, Yongjie Xu, Fu Song, Taolue Chen:
Model-based automated testing of JavaScript Web applications via longer test sequences. Frontiers Comput. Sci. 16(3): 163204 (2022) - Yongchao Wang
, Yu Zhou, Taolue Chen, Jingxuan Zhang, Wenhua Yang, Zhiqiu Huang:
Sequence-Aware API Recommendation Based on Collaborative Filtering. Int. J. Softw. Eng. Knowl. Eng. 32(8): 1203-1228 (2022) - Yongjie Xu, Fu Song
, Taolue Chen:
ESampler: Boosting sampling of satisfying assignments for Boolean formulas via derivation. J. Syst. Archit. 129: 102615 (2022)
skipping 156 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-06-16 12:55 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint