BibTeX records: Charles Zhang

download as .bib file

@article{DBLP:journals/corr/abs-2402-16314,
  author       = {Jiaxin Song and
                  Hongfei Fu and
                  Charles Zhang},
  title        = {Equational Bit-Vector Solving via Strong Gr{\"{o}}bner Bases},
  journal      = {CoRR},
  volume       = {abs/2402.16314},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2402.16314},
  doi          = {10.48550/ARXIV.2402.16314},
  eprinttype    = {arXiv},
  eprint       = {2402.16314},
  timestamp    = {Mon, 25 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2402-16314.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/WangYTFZ23,
  author       = {Chengpeng Wang and
                  Peisen Yao and
                  Wensheng Tang and
                  Gang Fan and
                  Charles Zhang},
  editor       = {Karim Ali and
                  Guido Salvaneschi},
  title        = {Synthesizing Conjunctive Queries for Code Search},
  booktitle    = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
                  July 17-21, 2023, Seattle, Washington, United States},
  series       = {LIPIcs},
  volume       = {263},
  pages        = {36:1--36:30},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.36},
  doi          = {10.4230/LIPICS.ECOOP.2023.36},
  timestamp    = {Tue, 11 Jul 2023 16:52:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/WangYTFZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/usenix/HaoHWWZWZ23,
  author       = {Zongyin Hao and
                  Quanfeng Huang and
                  Chengpeng Wang and
                  Jianfeng Wang and
                  Yushan Zhang and
                  Rongxin Wu and
                  Charles Zhang},
  editor       = {Julia Lawall and
                  Dan Williams},
  title        = {Pinolo: Detecting Logical Bugs in Database Management Systems with
                  Approximate Query Synthesis},
  booktitle    = {2023 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2023, Boston,
                  MA, USA, July 10-12, 2023},
  pages        = {345--358},
  publisher    = {{USENIX} Association},
  year         = {2023},
  url          = {https://www.usenix.org/conference/atc23/presentation/hao},
  timestamp    = {Sat, 15 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/usenix/HaoHWWZWZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/uss/CaiYYZ23,
  author       = {Yuandao Cai and
                  Peisen Yao and
                  Chengfeng Ye and
                  Charles Zhang},
  editor       = {Joseph A. Calandrino and
                  Carmela Troncoso},
  title        = {Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs},
  booktitle    = {32nd {USENIX} Security Symposium, {USENIX} Security 2023, Anaheim,
                  CA, USA, August 9-11, 2023},
  pages        = {3727--3744},
  publisher    = {{USENIX} Association},
  year         = {2023},
  url          = {https://www.usenix.org/conference/usenixsecurity23/presentation/cai-yuandao},
  timestamp    = {Wed, 18 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/uss/CaiYYZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2301-11011,
  author       = {Chengpeng Wang and
                  Gang Fan and
                  Peisen Yao and
                  Fuxiong Pan and
                  Charles Zhang},
  title        = {Verifying Data Constraint Equivalence in FinTech Systems},
  journal      = {CoRR},
  volume       = {abs/2301.11011},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2301.11011},
  doi          = {10.48550/ARXIV.2301.11011},
  eprinttype    = {arXiv},
  eprint       = {2301.11011},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2301-11011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2305-04316,
  author       = {Chengpeng Wang and
                  Peisen Yao and
                  Wensheng Tang and
                  Gang Fan and
                  Charles Zhang},
  title        = {Synthesizing Conjunctive Queries for Code Search},
  journal      = {CoRR},
  volume       = {abs/2305.04316},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.04316},
  doi          = {10.48550/ARXIV.2305.04316},
  eprinttype    = {arXiv},
  eprint       = {2305.04316},
  timestamp    = {Fri, 12 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-04316.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/uv/GengXLWLHGXYYLZJWJHWSZSLZLGWJTZCZDF22,
  author       = {Longling Geng and
                  Xinzhang Xiong and
                  Zhenyao Liu and
                  Yifan Wei and
                  Ziliang Lan and
                  Mingyuan Hu and
                  Mengxi Guo and
                  Rebecca Xu and
                  Hao Yuan and
                  Zhiyuan Yang and
                  Hanxia Li and
                  Yifan Zhou and
                  Huchong Jin and
                  Chenyi Wang and
                  Liuxuan Jiao and
                  Qiuhang Huang and
                  Fengyang Wang and
                  Katrina Sung and
                  Charles Zhang and
                  Mingyang Sun and
                  Xiaojing Li and
                  Nanbo Zhang and
                  Xuan Liu and
                  Ruiyang Gao and
                  Haihan Wang and
                  Juntao Jiang and
                  Yi Tao and
                  Lifeng Zhang and
                  Shengsheng Cao and
                  Longfei Zhou and
                  Xiaoman Duan and
                  Yajun Fang},
  title        = {Evaluation of Smart Home Systems and Novel UV-Oriented Solution for
                  Integration, Resilience, Inclusiveness {\&} Sustainability},
  booktitle    = {6th International Conference on Universal Village, {UV} 2022, Boston,
                  MA, USA, October 22-25, 2022},
  pages        = {1--386},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/UV56588.2022.10185519},
  doi          = {10.1109/UV56588.2022.10185519},
  timestamp    = {Tue, 08 Aug 2023 15:09:03 +0200},
  biburl       = {https://dblp.org/rec/conf/uv/GengXLWLHGXYYLZJWJHWSZSLZLGWJTZCZDF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pvldb/EltabakhSAANHCZ21,
  author       = {Mohamed Y. Eltabakh and
                  Anantha Subramanian and
                  Awny Al{-}Omari and
                  Mohammed Al{-}Kateb and
                  Sanjay Nair and
                  Mahbub Hasan and
                  Wellington Cabrera and
                  Charles Zhang and
                  Amit Kishore and
                  Snigdha Prasad},
  title        = {Not Black-Box Anymore! Enabling Analytics-Aware Optimizations in Teradata
                  Vantage},
  journal      = {Proc. {VLDB} Endow.},
  volume       = {14},
  number       = {12},
  pages        = {2959--2971},
  year         = {2021},
  url          = {http://www.vldb.org/pvldb/vol14/p2959-eltabakh.pdf},
  doi          = {10.14778/3476311.3476375},
  timestamp    = {Fri, 05 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pvldb/EltabakhSAANHCZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2107-03660,
  author       = {Yushan Zhang and
                  Peisen Yao and
                  Rongxin Wu and
                  Charles Zhang},
  title        = {Duplicate-sensitivity Guided Transformation Synthesis for {DBMS} Correctness
                  Bug Detection},
  journal      = {CoRR},
  volume       = {abs/2107.03660},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.03660},
  eprinttype    = {arXiv},
  eprint       = {2107.03660},
  timestamp    = {Tue, 20 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-03660.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2109-01321,
  author       = {Qingkai Shi and
                  Yongchao Wang and
                  Charles Zhang},
  title        = {Indexing Context-Sensitive Reachability},
  journal      = {CoRR},
  volume       = {abs/2109.01321},
  year         = {2021},
  url          = {https://arxiv.org/abs/2109.01321},
  eprinttype    = {arXiv},
  eprint       = {2109.01321},
  timestamp    = {Mon, 20 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-01321.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2111-12629,
  author       = {Jiajun Gong and
                  Wuqi Zhang and
                  Charles Zhang and
                  Tao Wang},
  title        = {WFDefProxy: Modularly Implementing and Empirically Evaluating Website
                  Fingerprinting Defenses},
  journal      = {CoRR},
  volume       = {abs/2111.12629},
  year         = {2021},
  url          = {https://arxiv.org/abs/2111.12629},
  eprinttype    = {arXiv},
  eprint       = {2111.12629},
  timestamp    = {Tue, 11 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2111-12629.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1912-06878,
  author       = {Qingkai Shi and
                  Rongxin Wu and
                  Gang Fan and
                  Charles Zhang},
  title        = {Conquering the Extensional Scalability Problem for Value-Flow Analysis
                  Frameworks},
  journal      = {CoRR},
  volume       = {abs/1912.06878},
  year         = {2019},
  url          = {http://arxiv.org/abs/1912.06878},
  eprinttype    = {arXiv},
  eprint       = {1912.06878},
  timestamp    = {Fri, 03 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-06878.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tse/DwyerBFKKKMMMSS16,
  author       = {Matthew B. Dwyer and
                  Eric Bodden and
                  Brian Fitzgerald and
                  Miryung Kim and
                  Sunghun Kim and
                  Amy J. Ko and
                  Emilia Mendes and
                  Raffaela Mirandola and
                  Ana Moreira and
                  Forrest Shull and
                  Stephen F. Siegel and
                  Tao Xie and
                  Charles Zhang},
  title        = {Connecting and Serving the Software Engineering Community},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {42},
  number       = {3},
  pages        = {203--205},
  year         = {2016},
  url          = {https://doi.org/10.1109/TSE.2016.2532379},
  doi          = {10.1109/TSE.2016.2532379},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/DwyerBFKKKMMMSS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hotchips/Zhang15,
  author       = {Charles Zhang},
  title        = {Mars: {A} 64-core ARMv8 processor},
  booktitle    = {2015 {IEEE} Hot Chips 27 Symposium (HCS), Cupertino, CA, USA, August
                  22-25, 2015},
  pages        = {1--23},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.ieeecomputersociety.org/10.1109/HOTCHIPS.2015.7477454},
  doi          = {10.1109/HOTCHIPS.2015.7477454},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hotchips/Zhang15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/TerragniCZ15,
  author       = {Valerio Terragni and
                  Shing{-}Chi Cheung and
                  Charles Zhang},
  editor       = {Antonia Bertolino and
                  Gerardo Canfora and
                  Sebastian G. Elbaum},
  title        = {{RECONTEST:} Effective Regression Testing of Concurrent Programs},
  booktitle    = {37th {IEEE/ACM} International Conference on Software Engineering,
                  {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
  pages        = {246--256},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICSE.2015.45},
  doi          = {10.1109/ICSE.2015.45},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/TerragniCZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/WangLKLRZ12,
  author       = {Yin Wang and
                  Peng Liu and
                  Terence Kelly and
                  St{\'{e}}phane Lafortune and
                  Spyros A. Reveliotis and
                  Charles Zhang},
  title        = {On atomicity enforcement in concurrent software via Discrete Event
                  Systems theory},
  booktitle    = {Proceedings of the 51th {IEEE} Conference on Decision and Control,
                  {CDC} 2012, December 10-13, 2012, Maui, HI, {USA}},
  pages        = {7230--7237},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/CDC.2012.6426112},
  doi          = {10.1109/CDC.2012.6426112},
  timestamp    = {Fri, 04 Mar 2022 13:28:47 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/WangLKLRZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icws/JiangZHCHL10,
  author       = {Wei Jiang and
                  Charles Zhang and
                  Zhenqiu Huang and
                  Mingwen Chen and
                  Songlin Hu and
                  Zhiyong Liu},
  title        = {QSynth: {A} Tool for QoS-aware Automatic Service Composition},
  booktitle    = {{IEEE} International Conference on Web Services, {ICWS} 2010, Miami,
                  Florida, USA, July 5-10, 2010},
  pages        = {42--49},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICWS.2010.38},
  doi          = {10.1109/ICWS.2010.38},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icws/JiangZHCHL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aosd/ZhangJ07,
  author       = {Charles Zhang and
                  Hans{-}Arno Jacobsen},
  editor       = {Brian M. Barry and
                  Oege de Moor},
  title        = {Efficiently mining crosscutting concerns through random walks},
  booktitle    = {Proceedings of the 6th International Conference on Aspect-Oriented
                  Software Development, {AOSD} 2007, Vancouver, British Columbia, Canada,
                  March 12-16, 2007},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {208},
  pages        = {226--238},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1218563.1218588},
  doi          = {10.1145/1218563.1218588},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aosd/ZhangJ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aosd/ZhangGJ05,
  author       = {Charles Zhang and
                  Dapeng Gao and
                  Hans{-}Arno Jacobsen},
  editor       = {Mira Mezini and
                  Peri L. Tarr},
  title        = {Towards just-in-time middleware architectures},
  booktitle    = {Proceedings of the 4th International Conference on Aspect-Oriented
                  Software Development, {AOSD} 2005, Chicago, Illinois, USA, March 14-18,
                  2005},
  pages        = {63--74},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1052898.1052904},
  doi          = {10.1145/1052898.1052904},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aosd/ZhangGJ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/middleware/ZhangGJ05,
  author       = {Charles Zhang and
                  Dapeng Gao and
                  Hans{-}Arno Jacobsen},
  editor       = {Gustavo Alonso},
  title        = {Generic Middleware Substrate Through Modelware},
  booktitle    = {Middleware 2005, ACM/IFIP/USENIX, 6th International Middleware Conference,
                  Grenoble, France, November 28 - December 2, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3790},
  pages        = {314--333},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11587552\_16},
  doi          = {10.1007/11587552\_16},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/middleware/ZhangGJ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/ZhangJ04,
  author       = {Charles Zhang and
                  Hans{-}Arno Jacobsen},
  editor       = {John M. Vlissides and
                  Douglas C. Schmidt},
  title        = {{PRISM} is research in aSpect mining},
  booktitle    = {Companion to the 19th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2004,
                  October 24-28, 2004, Vancouver, BC, Canada},
  pages        = {20--21},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1028664.1028676},
  doi          = {10.1145/1028664.1028676},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/ZhangJ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/ZhangJ04a,
  author       = {Charles Zhang and
                  Hans{-}Arno Jacobsen},
  editor       = {John M. Vlissides and
                  Douglas C. Schmidt},
  title        = {Resolving feature convolution in middleware systems},
  booktitle    = {Proceedings of the 19th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2004,
                  October 24-28, 2004, Vancouver, BC, Canada},
  pages        = {188--205},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1028976.1028992},
  doi          = {10.1145/1028976.1028992},
  timestamp    = {Fri, 25 Jun 2021 14:51:50 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/ZhangJ04a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tpds/ZhangJ03,
  author       = {Charles Zhang and
                  Hans{-}Arno Jacobsen},
  title        = {Refactoring Middleware with Aspects},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {14},
  number       = {11},
  pages        = {1058--1073},
  year         = {2003},
  url          = {https://doi.org/10.1109/TPDS.2003.1247668},
  doi          = {10.1109/TPDS.2003.1247668},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/ZhangJ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aosd/ZhangJ03,
  author       = {Charles Zhang and
                  Hans{-}Arno Jacobsen},
  editor       = {William G. Griswold and
                  Mehmet Aksit},
  title        = {Quantifying aspects in middleware platforms},
  booktitle    = {Proceedings of the 2nd International Conference on Aspect-Oriented
                  Software Development, {AOSD} 2003, Boston, Massachusetts, USA, March
                  17-21, 2003},
  pages        = {130--139},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/643603.643617},
  doi          = {10.1145/643603.643617},
  timestamp    = {Tue, 06 Nov 2018 16:57:06 +0100},
  biburl       = {https://dblp.org/rec/conf/aosd/ZhangJ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coopis/ZhangJ03,
  author       = {Charles Zhang and
                  Hans{-}Arno Jacobsen},
  editor       = {Robert Meersman and
                  Zahir Tari and
                  Douglas C. Schmidt},
  title        = {Re-factoring Middleware Systems: {A} Case Study},
  booktitle    = {On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and
                  {ODBASE} - {OTM} Confederated International Conferences, CoopIS, DOA,
                  and {ODBASE} 2003, Catania, Sicily, Italy, November 3-7, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2888},
  pages        = {1243--1262},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39964-3\_79},
  doi          = {10.1007/978-3-540-39964-3\_79},
  timestamp    = {Fri, 30 Apr 2021 14:59:15 +0200},
  biburl       = {https://dblp.org/rec/conf/coopis/ZhangJ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.