Charles Zhang

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

Bibliography

2024
Unveiling the Power of Intermediate Representations for Static Analysis: A Survey.
CoRR, 2024

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

OptFuzz: Optimization Path Guided Fuzzing for JavaScript JIT Compilers.
Proceedings of the 33rd USENIX Security Symposium, 2024

Diverse Perspectives, Divergent Models: Cross-Cultural Evaluation of Depression Detection on Twitter.
Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies: Short Papers, 2024

2023
Design of an Efficient Lisp Bytecode Machine and Compiler.
Proceedings of the 16th European Lisp Symposium, 2023

2022
Evaluation of Smart Home Systems and Novel UV-Oriented Solution for Integration, Resilience, Inclusiveness & Sustainability.
Proceedings of the 6th International Conference on Universal Village, 2022

2021
Not Black-Box Anymore! Enabling Analytics-Aware Optimizations in Teradata Vantage.
Proc. VLDB Endow., 2021

2016
Connecting and Serving the Software Engineering Community.
IEEE Trans. Software Eng., 2016

2015
Mars: A 64-core ARMv8 processor.
Proceedings of the 2015 IEEE Hot Chips 27 Symposium (HCS), 2015

2012
On atomicity enforcement in concurrent software via Discrete Event Systems theory.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2010
QSynth: A Tool for QoS-aware Automatic Service Composition.
Proceedings of the IEEE International Conference on Web Services, 2010


  Loading...