Остановите войну!
for scientists:
default search action
Charles Zhang
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. The links to all actual bibliographies of persons of the same or a similar name can be found below. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Other persons with the same name
- Charles Zhang 0001 (aka: Charles Chuan Zhang) — Hong Kong University of Science and Technology, Department of Computer Science and Engineering, Cybersecurity Laboratory, Hong Kong, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i7]Jiaxin Song, Hongfei Fu, Charles Zhang:
Equational Bit-Vector Solving via Strong Gröbner Bases. CoRR abs/2402.16314 (2024) - 2023
- [c15]Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang:
Synthesizing Conjunctive Queries for Code Search. ECOOP 2023: 36:1-36:30 - [c14]Zongyin Hao, Quanfeng Huang, Chengpeng Wang, Jianfeng Wang, Yushan Zhang, Rongxin Wu, Charles Zhang:
Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis. USENIX Annual Technical Conference 2023: 345-358 - [c13]Yuandao Cai, Peisen Yao, Chengfeng Ye, Charles Zhang:
Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs. USENIX Security Symposium 2023: 3727-3744 - [i6]Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang:
Verifying Data Constraint Equivalence in FinTech Systems. CoRR abs/2301.11011 (2023) - [i5]Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang:
Synthesizing Conjunctive Queries for Code Search. CoRR abs/2305.04316 (2023) - 2022
- [c12]Longling Geng, Xinzhang Xiong, Zhenyao Liu, Yifan Wei, Ziliang Lan, Mingyuan Hu, Mengxi Guo, Rebecca Xu, Hao Yuan, Zhiyuan Yang, Hanxia Li, Yifan Zhou, Huchong Jin, Chenyi Wang, Liuxuan Jiao, Qiuhang Huang, Fengyang Wang, Katrina Sung, Charles Zhang, Mingyang Sun, Xiaojing Li, Nanbo Zhang, Xuan Liu, Ruiyang Gao, Haihan Wang, Juntao Jiang, Yi Tao, Lifeng Zhang, Shengsheng Cao, Longfei Zhou, Xiaoman Duan, Yajun Fang:
Evaluation of Smart Home Systems and Novel UV-Oriented Solution for Integration, Resilience, Inclusiveness & Sustainability. UV 2022: 1-386 - 2021
- [j3]Mohamed Y. Eltabakh, Anantha Subramanian, Awny Al-Omari, Mohammed Al-Kateb, Sanjay Nair, Mahbub Hasan, Wellington Cabrera, Charles Zhang, Amit Kishore, Snigdha Prasad:
Not Black-Box Anymore! Enabling Analytics-Aware Optimizations in Teradata Vantage. Proc. VLDB Endow. 14(12): 2959-2971 (2021) - [i4]Yushan Zhang, Peisen Yao, Rongxin Wu, Charles Zhang:
Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection. CoRR abs/2107.03660 (2021) - [i3]Qingkai Shi, Yongchao Wang, Charles Zhang:
Indexing Context-Sensitive Reachability. CoRR abs/2109.01321 (2021) - [i2]Jiajun Gong, Wuqi Zhang, Charles Zhang, Tao Wang:
WFDefProxy: Modularly Implementing and Empirically Evaluating Website Fingerprinting Defenses. CoRR abs/2111.12629 (2021)
2010 – 2019
- 2019
- [i1]Qingkai Shi, Rongxin Wu, Gang Fan, Charles Zhang:
Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks. CoRR abs/1912.06878 (2019) - 2016
- [j2]Matthew B. Dwyer, Eric Bodden, Brian Fitzgerald, Miryung Kim, Sunghun Kim, Amy J. Ko, Emilia Mendes, Raffaela Mirandola, Ana Moreira, Forrest Shull, Stephen F. Siegel, Tao Xie, Charles Zhang:
Connecting and Serving the Software Engineering Community. IEEE Trans. Software Eng. 42(3): 203-205 (2016) - 2015
- [c11]Charles Zhang:
Mars: A 64-core ARMv8 processor. Hot Chips Symposium 2015: 1-23 - [c10]Valerio Terragni, Shing-Chi Cheung, Charles Zhang:
RECONTEST: Effective Regression Testing of Concurrent Programs. ICSE (1) 2015: 246-256 - 2012
- [c9]Yin Wang, Peng Liu, Terence Kelly, Stéphane Lafortune, Spyros A. Reveliotis, Charles Zhang:
On atomicity enforcement in concurrent software via Discrete Event Systems theory. CDC 2012: 7230-7237 - 2010
- [c8]Wei Jiang, Charles Zhang, Zhenqiu Huang, Mingwen Chen, Songlin Hu, Zhiyong Liu:
QSynth: A Tool for QoS-aware Automatic Service Composition. ICWS 2010: 42-49
2000 – 2009
- 2007
- [c7]Charles Zhang, Hans-Arno Jacobsen:
Efficiently mining crosscutting concerns through random walks. AOSD 2007: 226-238 - 2005
- [c6]Charles Zhang, Dapeng Gao, Hans-Arno Jacobsen:
Towards just-in-time middleware architectures. AOSD 2005: 63-74 - [c5]Charles Zhang, Dapeng Gao, Hans-Arno Jacobsen:
Generic Middleware Substrate Through Modelware. Middleware 2005: 314-333 - 2004
- [c4]Charles Zhang, Hans-Arno Jacobsen:
PRISM is research in aSpect mining. OOPSLA Companion 2004: 20-21 - [c3]Charles Zhang, Hans-Arno Jacobsen:
Resolving feature convolution in middleware systems. OOPSLA 2004: 188-205 - 2003
- [j1]Charles Zhang, Hans-Arno Jacobsen:
Refactoring Middleware with Aspects. IEEE Trans. Parallel Distributed Syst. 14(11): 1058-1073 (2003) - [c2]Charles Zhang, Hans-Arno Jacobsen:
Quantifying aspects in middleware platforms. AOSD 2003: 130-139 - [c1]Charles Zhang, Hans-Arno Jacobsen:
Re-factoring Middleware Systems: A Case Study. OTM 2003: 1243-1262
Coauthor Index
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.
last updated on 2024-04-18 20:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint