Charles Zhang

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024

Equational Bit-Vector Solving via Strong Gröbner Bases.

[BibT_eX]

[DOI]

Jiaxin Song

Hongfei Fu

Charles Zhang

CoRR, 2024

Plankton: Reconciling Binary Code and Debug Information.

[BibT_eX]

[DOI]

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

GIANTSAN: Efficient Memory Sanitization with Segment Folding.

[BibT_eX]

[DOI]

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Verifying Data Constraint Equivalence in FinTech Systems.

[BibT_eX]

[DOI]

CoRR, 2023

Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs.

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2023 USENIX Annual Technical Conference, 2023

Synthesizing Conjunctive Queries for Code Search.

[BibT_eX]

[DOI]

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Evaluation of Smart Home Systems and Novel UV-Oriented Solution for Integration, Resilience, Inclusiveness & Sustainability.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Universal Village, 2022

2021

Not Black-Box Anymore! Enabling Analytics-Aware Optimizations in Teradata Vantage.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2021

WFDefProxy: Modularly Implementing and Empirically Evaluating Website Fingerprinting Defenses.

[BibT_eX]

[DOI]

CoRR, 2021

Indexing Context-Sensitive Reachability.

[BibT_eX]

[DOI]

Qingkai Shi

Yongchao Wang

Charles Zhang

CoRR, 2021

Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection.

[BibT_eX]

[DOI]

CoRR, 2021

2019

Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks.

[BibT_eX]

[DOI]

CoRR, 2019

2016

Connecting and Serving the Software Engineering Community.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2016

2015

RECONTEST: Effective Regression Testing of Concurrent Programs.

[BibT_eX]

[DOI]

Valerio Terragni

Shing-Chi Cheung

Charles Zhang

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Mars: A 64-core ARMv8 processor.

[BibT_eX]

[DOI]

Charles Zhang

Proceedings of the 2015 IEEE Hot Chips 27 Symposium (HCS), 2015

2012

On atomicity enforcement in concurrent software via Discrete Event Systems theory.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2010

QSynth: A Tool for QoS-aware Automatic Service Composition.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2010

2007

Efficiently mining crosscutting concerns through random walks.

[BibT_eX]

[DOI]

Charles Zhang

Hans-Arno Jacobsen

Proceedings of the 6th International Conference on Aspect-Oriented Software Development, 2007

2005

Generic Middleware Substrate Through Modelware.

[BibT_eX]

[DOI]

Charles Zhang

Dapeng Gao

Hans-Arno Jacobsen

Proceedings of the Middleware 2005, ACM/IFIP/USENIX, 6th International Middleware Conference, Grenoble, France, November 28, 2005

Towards just-in-time middleware architectures.

[BibT_eX]

[DOI]

Charles Zhang

Dapeng Gao

Hans-Arno Jacobsen

Proceedings of the 4th International Conference on Aspect-Oriented Software Development, 2005

2004

Resolving feature convolution in middleware systems.

[BibT_eX]

[DOI]

Charles Zhang

Hans-Arno Jacobsen

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

PRISM is research in aSpect mining.

[BibT_eX]

[DOI]

Charles Zhang

Hans-Arno Jacobsen

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

2003

Refactoring Middleware with Aspects.

[BibT_eX]

[DOI]

Charles Zhang

Hans-Arno Jacobsen

IEEE Trans. Parallel Distributed Syst., 2003

Re-factoring Middleware Systems: A Case Study.

[BibT_eX]

[DOI]

Charles Zhang

Hans-Arno Jacobsen

Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

Quantifying aspects in middleware platforms.

[BibT_eX]

[DOI]

Charles Zhang

Hans-Arno Jacobsen

Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003

Charles Zhang

Bibliography

Loading...