default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChao Wang 0001
Person information
- affiliation: University of Southern California, Los Angeles, CA, USA
- affiliation (former): Virginia Tech, Blacksburg, VA, USA
- affiliation: NEC Laboratories of America, Inc., Princeton, NJ, USA
- affiliation (PhD 2004): University of Colorado at Boulder, CO, USA
Other persons with the same name
- Chao Wang (aka: Chao-Wang) — disambiguation page
- Chao Wang 0002 — University of Notre Dame, Notre Dame, Indiana, USA
- Chao Wang 0003
![[0000-0001-8453-0495]](https://dblp.org/img/orcid-mark.12x12.png "0000-0001-8453-0495")
— University of Science and Technology of China, Department of Computer Science, Hefei, China - Chao Wang 0004 — Chinese Academy of Science, Institute of Remote Sensing and Digital Earth, Beijing, China (and 1 more)
- Chao Wang 0005 — Florida Institute of Technology, Melbourne, FL, USA (and 1 more)
- Chao Wang 0006 — Yunnan University, Department of Mathematics, Kunming, China
- Chao Wang 0007 — Tianjin University, School of Civil Engineering, Tianjin, China
- Chao Wang 0008 — University of North Carolina System, Department of Geological Sciences, Chapel Hill, NC, USA (and 1 more)
- Chao Wang 0009 — Beihang University, School of Electronics and Information Engineering, Beijing, China
- Chao Wang 0010 — Wuhan University, State Key Laboratory of Information Engineering in Surveying, Mapping, and Remote Sensing, China
- Chao Wang 0011 — Nanjing University of Science and Technology, School of Mechanical Engineering, China
- Chao Wang 0012 — Harbin Institute of Technology, Institute of Ultra-Precision Optoelectronic Instrument Engineering, China
- Chao Wang 0013 — Cornell University, School of Electrical and Computer Engineering, Ithaca, NY, USA
- Chao Wang 0014 — Hunan University, College of Electrical and Information Engineering, Changsha, China
- Chao Wang 0015 — University of Exeter, Department of Computer Science, UK (and 3 more)
- Chao Wang 0016 — A*STAR (Agency for Science, Technology and Research), Institute of Microelectronics, Singapore
- Chao Wang 0017 — Beijing University of Technology, Signal and Information Processing Laboratory, China
- Chao Wang 0018 — Amazon.com Inc, Alexa Speech, Cambridge, MA, USA (and 2 more)
- Chao Wang 0019 — Tianjin University, School of Electrical and Information Engineering, China (and 1 more)
- Chao Wang 0020 — Nankai University, Department of Software, Tianjin, China (and 2 more)
- Chao Wang 0021 — ADLab of Venustech, China
- Chao Wang 0022 — Ocean University of China, Department of Electronic Engineering, College of Information Science and Engineering, Qingdao, China
- Chao Wang 0023 — Singapore University of Technology and Design, Singapore (and 2 more)
- Chao Wang 0024 — University of Science and Technology of China, School of Mathematical Sciences, Hefei, China (and 1 more)
- Chao Wang 0025 — University of Electronic Science and Technology of China, School of Computer Science and Engineering, Chengdu, China
- Chao Wang 0026 — University of Sheffield, Electrical Machines and Drives Group, UK
- Chao Wang 0027 — China University of Mining and Technology, School of Electrical and Power Engineering, Xuzhou, China
- Chao Wang 0028 — Xi'an Jiaotong University, School of Electronic and Information Engineering, China
- Chao Wang 0029 — University of New South Wales, School of Electrical Engineering and Telecommunications, Sydney, NSW, Australia
- Chao Wang 0030 — Harbin Engineering University, College of Information and Communication Engineering, China
- Chao Wang 0031 — Zhejiang University, Yuquan Campus, College of Computer Science and Technology, Hangzhou, China
- Chao Wang 0032 — Beijing University of Posts and Telecommunications, School of Software Engineering, China
- Chao Wang 0033 — Southeast University, School of Transportation, Nanjing, China
- Chao Wang 0034 — Hebei University of Engineering, School of Economics and Management, Handan, China
- Chao Wang 0035 — Beijing University of Technology, College of Economics and Management, China (and 2 more)
- Chao Wang 0036 — Hong Kong Polytechnic University, Department of Applied Mathematics, Hong Kong
- Chao Wang 0037 — Max-Planck-Institut für Informatik, Saarbrücken, Germany (and 1 more)
- Chao Wang 0038 — Shandong University of Science and Technology, College of Transportation, Qingdao, China
- Chao Wang 0039 — Anhui University, School of Computer Science and Technology, Hefei, China (and 1 more)
- Chao Wang 0040 — Harbin Engineering University, College of Underwater Acoustic Engineering, China
- Chao Wang 0041 — China North Industries Corp, Beijing, China
- Chao Wang 0042 — Chang'an University, School of Electronic and Control Engineering, Xi'an, China
- Chao Wang 0043 — University of Electronic Science and Technology of China, Institute of Fundamental and Frontier Sciences, Chengdu, China
- Chao Wang 0044 — Civil Aviation University of China, College of Air Traffic Management, Tianjin, China
- Chao Wang 0045 — Southeast University, Nanjing, Key Laboratory of Developmental Genes and Human Disease, China
- Chao Wang 0046 — Louisiana State University, Bert S. Turner Department of Construction Management, Baton Rouge, LA, USA
- Chao Wang 0047 — Huawei Technologies, Co. Ltd., Shanghai, China (and 1 more)
- Chao Wang 0048 — University of Technology Sydney, Faculty of Engineering and Information Technology, Australia
- Chao Wang 0049 — 6ESTATES PTE LTD, Singapore (and 1 more)
- Chao Wang 0050 — Ohio State University, Department of Computer Science and Engineering, Columbus, OH, USA
- Chao Wang 0051 — University of Southern California, CA, USA
- Chao Wang 0052 — National Taiwan Normal University, Taipei City, Taiwan (and 1 more)
- Chao Wang 0053 — Oregon Health & Science University, Department of Biomedical Engineering, Portland, OR, USA (and 1 more)
- Chao Wang 0054 — Nankai University, College of Computer and Control Engineering, Tianjin, China
- Chao Wang 0055 — Honda Research Institute Europe GmbH, Offenbach, Germany (and 2 more)
- Chao Wang 0056 — Oak Ridge National Laboratory, Oak Ridge, TN, USA (and 1 more)
- Chao Wang 0057 — Alibaba Group, Beijing, China
- Chao Wang 0058 — Zhejiang University, College of Computer Science and Technology, Hangzhou, China
- Chao Wang 0059 — Xi'an Jiaotong University, Institute of Image Processing and Pattern Recognition, Xi'an, China
- Chao Wang 0060 — China North Vehicle Research Institute, Beijing, China (and 1 more)
- Chao Wang 0061 — North China University of Technology, School of Information Science and Technology, Beijing, China (and 1 more)
- Chao Wang 0062 — Beihang University, School of Computer Science and Engineering, Beijing Key Laboratory of Digital Media, Beijing, China
- Chao Wang 0063 — University of Wollongong, School of Computing and Information Technology, Wollongong, Australia (and 2 more)
- Chao Wang 0064 — Harbin Institute of Technology, School of Humanities and Social Sciences and Law, Harbin, China
- Chao Wang 0065 — Arizona State University, Ira A. Fulton Schools of Engineering, Tempe, AZ, USA
- Chao Wang 0066 — Nanyang Institute of Technology, School of Software, Nanyang, China
- Chao Wang 0067 — Southern University of Science and Technology, Department of Statistics and Data Science, Shenzhen, China (and 3 more)
- Chao Wang 0068 — Southeast University, National ASIC System Engineering Research Center, Nanjing, China
- Chao Wang 0069 — Southwest University, Chongqing, China (and 2 more)
- Chao Wang 0070 — Tianjin University of Science and Technology, College of Computer Science and Information Engineering, Tianjin, China
- Chao Wang 0071 — Tongji University, School of Electronics and Information Engineering, Institute of Machine Learning and Systems Biology, Shanghai, China
- Chao Wang 0072 — Hunan University, College of Electrical and Information Engineering, National Engineering Laboratory for Robot Visual Perception and Control Technology, Changsha, China
- Chao Wang 0073 — University of Science and Technology of China, Department of Automation, Hefei, China
- Chao Wang 0074 — University of Kent, School of Engineering and Digital Arts, Kent, UK
- Chao Wang 0075 — China Agricultural University, College of Engineering, Beijing, China
- Chao Wang 0076 — South China University of Technology, School of Business Administration, Guangzhou, China
- Chao Wang 0077 — Beijing Information Science and Technology University, Computer School, Beijing, China (and 1 more)
- Chao Wang 0078 — Harbin Institute of Technology, State Key Laboratory of Robotics and Systems, Harbin, China
- Chao Wang 0079 — Nankai University, Institute of Robotics and Automatic Information Systems, Tianjin, China
- Chao Wang 0080 — National Digital Switching System and Technological Research Center, Zhengzhou, China
- Chao Wang 0081 — Ohio State University, Department of Biomedical Informatics, Columbus, OH, USA (and 1 more)
- Chao Wang 0082 — Shenzhen University, College of Mechatronics and Control Engineering, Institute of Nanosurfacce Science and Engineering, Shenzhen, China
- Chao Wang 0083 — Tsinghua University, Department of Electronic Engineering, Beijing, China
- Chao Wang 0084 — Nanjing University of Information Science and Technology, Key Laboratory of Meteorological Disaster, Nanjing, China (and 2 more)
- Chao Wang 0085 — Xidian University, School of Computer Science and Technology, Xi'an, China
- Chao Wang 0086 — University of Science and Technology of China, School of Computer Science and Technology, Hefei, China (and 2 more)
- Chao Wang 0087 — Guilin University of Electronic and Technology, Department of Electrical Engineering & Automation, Guilin, China
- Chao Wang 0088 — University of Texas at Dallas, Department of Computer Science, Richardson, TX, USA (and 1 more)
- Chao Wang 0089 — University of California Riverside, Center for Environmental Research and Technology, Riverside, CA, USA
- Chao Wang 0090 — Lehigh University, Bethlehem, PA, USA
- Chao Wang 0091 — Zhejiang Ocean University, College of Mathematics, Physics, and Information, Zhoushan, China (and 1 more)
- Chao Wang 0092 — Tongji University, College of Surveying and Geo-Informatics, Shanghai Key Laboratory of Space Mapping and Remote Sensing for Planetary Exploration, China (and 1 more)
- Chao Wang 0093 — China University of Petroleum, College of Computer Science and Technology, Qingdao, China
- Chao Wang 0094 — Beihang University, School of Electronics and Information Engineering, Beijing, China
- Chao Wang 0095 — Shanghai University, Shanghai, China (and 1 more)
- Chao Wang 0096 — Huazhong University of Science and Technology, School of Optical and Electronic Information, Wuhan, China (and 1 more)
- Chao Wang 0097 — Zhejiang University, Hangzhou, China
- Chao Wang 0098 — University of Iowa, Department of Industrial and Systems Engineering, IA, USA (and 1 more)
- Chao Wang 0099 — Xidian University, Guangzhou Institute of Technology, School of Artificial Intelligence, Xi'an, China
- Chao Wang 0100 — Dalian University of Technology, School of Information and Communication Engineering, China (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j23]Chenyu Zhou, Yuzhou Fang, Jingbo Wang, Chao Wang:
An Incremental Algorithm for Algebraic Program Analysis. Proc. ACM Program. Lang. 9(POPL): 1934-1961 (2025)- [i21]Yuzhou Fang, Chenyu Zhou, Jingbo Wang, Chao Wang:
Efficient Symbolic Execution of Software under Fault Attacks. CoRR abs/2503.15825 (2025) - 2024
- [j22]Yang Liu, Chao Wang, Yan Ma:
DL4SC: a novel deep learning-based vulnerability detection framework for smart contracts. Autom. Softw. Eng. 31(1): 24 (2024) - [c103]Zunchen Huang, Chao Wang:
Constraint Based Program Repair for Persistent Memory Bugs. ICSE 2024: 91:1-91:12 - [c102]Zunchen Huang, Srivatsan Ravi, Chao Wang:
Discovering Likely Program Invariants for Persistent Memory. ASE 2024: 1795-1807 - 2023
- [j21]Jingbo Wang, Aarti Gupta, Chao Wang:
Synthesizing MILP Constraints for Efficient and Robust Optimization. Proc. ACM Program. Lang. 7(PLDI): 1896-1919 (2023) - [c101]Yannan Li, Jingbo Wang, Chao Wang:
Certifying the Fairness of KNN in the Presence of Dataset Bias. CAV (2) 2023: 335-357 - [c100]Yannan Li, Chao Wang:
Constraint Based Compiler Optimization for Energy Harvesting Applications. ECOOP 2023: 16:1-16:29 - [c99]Yannan Li, Jingbo Wang, Chao Wang:
Systematic Testing of the Data-Poisoning Robustness of KNN. ISSTA 2023: 1207-1218 - [i20]Yannan Li, Jingbo Wang, Chao Wang:
Systematic Testing of the Data-Poisoning Robustness of KNN. CoRR abs/2307.08288 (2023) - [i19]Yannan Li, Jingbo Wang, Chao Wang:
Certifying the Fairness of KNN in the Presence of Dataset Bias. CoRR abs/2307.08722 (2023) - 2022
- [c98]Brandon Paulsen, Chao Wang:
Example Guided Synthesis of Linear Approximations for Neural Network Verification. CAV (1) 2022: 149-170 - [c97]Jingbo Wang, Yannan Li, Chao Wang:
Synthesizing Fair Decision Trees via Iterative Constraint Solving. CAV (2) 2022: 364-385 - [c96]Zunchen Huang, Chao Wang:
Symbolic Predictive Cache Analysis for Out-of-Order Execution. FASE 2022: 163-183 - [c95]Yannan Li, Jingbo Wang, Chao Wang:
Proving Robustness of KNN Against Adversarial Data Poisoning. FMCAD 2022: 7-16 - [c94]Jingbo Wang, Chao Wang:
Learning to Synthesize Relational Invariants. ASE 2022: 65:1-65:12 - [c93]Brandon Paulsen, Chao Wang:
LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions. TACAS (1) 2022: 357-376 - [i18]Brandon Paulsen, Chao Wang:
LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions. CoRR abs/2201.13351 (2022) - [i17]Zunchen Huang, Shengjian Guo, Meng Wu, Chao Wang:
Understanding Concurrency Vulnerabilities in Linux Kernel. CoRR abs/2212.05438 (2022) - 2021
- [c92]Sara Mohammadinejad, Brandon Paulsen, Jyotirmoy V. Deshmukh, Chao Wang:
DiffRNN: Differential Verification of Recurrent Neural Networks. FORMATS 2021: 117-134 - [c91]Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang:
Data-Driven Synthesis of Provably Sound Side Channel Analyses. ICSE 2021: 810-822 - [i16]Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang:
Data-Driven Synthesis of Provably Sound Side Channel Analyses. CoRR abs/2102.06753 (2021) - 2020
- [j20]Tingting Yu, Zunchen Huang, Chao Wang:
ConTesa: Directed Test Suite Augmentation for Concurrent Software. IEEE Trans. Software Eng. 46(4): 405-419 (2020) - [c90]Chungha Sung, Shuvendu K. Lahiri, Mike Kaufman, Pallavi Choudhury, Chao Wang:
Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study. ICSE (SEIP) 2020: 172-181 - [c89]Chungha Sung, Shuvendu K. Lahiri, Mike Kaufman, Pallavi Choudhury, Jessica Wolk, Chao Wang:
Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study. ICSE (Companion Volume) 2020: 320-321 - [c88]Brandon Paulsen, Jingbo Wang, Chao Wang:
ReluDiff: differential verification of deep neural networks. ICSE 2020: 714-726 - [c87]Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang:
NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation. ASE 2020: 784-796 - [e3]Shuvendu K. Lahiri, Chao Wang:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I. Lecture Notes in Computer Science 12224, Springer 2020, ISBN 978-3-030-53287-1 [contents] - [e2]Shuvendu K. Lahiri, Chao Wang:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II. Lecture Notes in Computer Science 12225, Springer 2020, ISBN 978-3-030-53290-1 [contents] - [i15]Brandon Paulsen, Jingbo Wang, Chao Wang:
ReluDiff: Differential Verification of Deep Neural Networks. CoRR abs/2001.03662 (2020) - [i14]Sara Mohammadinejad, Brandon Paulsen, Chao Wang, Jyotirmoy V. Deshmukh:
DiffRNN: Differential Verification of Recurrent Neural Networks. CoRR abs/2007.10135 (2020) - [i13]Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang:
NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation. CoRR abs/2009.09943 (2020)
2010 – 2019
- 2019
- [j19]Pengfei Gao, Jun Zhang, Fu Song, Chao Wang:
Verifying and Quantifying Side-channel Resistance of Masked Software Implementations. ACM Trans. Softw. Eng. Methodol. 28(3): 16:1-16:32 (2019) - [c86]Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang:
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems. FMCAD 2019: 129-137 - [c85]Brandon Paulsen, Chungha Sung, Peter A. H. Peterson, Chao Wang:
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation. ASE 2019: 899-911 - [c84]Meng Wu, Chao Wang:
Abstract interpretation under speculative execution. PLDI 2019: 802-815 - [c83]Jingbo Wang, Chungha Sung, Chao Wang:
Mitigating power side channels during compilation. ESEC/SIGSOFT FSE 2019: 590-601 - [i12]Jingbo Wang, Chungha Sung, Chao Wang:
Mitigating Power Side Channels during Compilation. CoRR abs/1902.09099 (2019) - [i11]Meng Wu, Chao Wang:
Abstract Interpretation under Speculative Execution. CoRR abs/1904.11170 (2019) - [i10]Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang:
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems. CoRR abs/1908.05402 (2019) - [i9]Brandon Paulsen, Chungha Sung, Peter A. H. Peterson, Chao Wang:
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation. CoRR abs/1909.05977 (2019) - 2018
- [j18]Zijiang Yang, Ting Liu, Daniel Xiapu Luo, Chao Wang:
Guest editorial: special issue on concurrent software quality. Softw. Qual. J. 26(3): 851-853 (2018) - [j17]Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao:
Eliminating Path Redundancy via Postconditioned Symbolic Execution. IEEE Trans. Software Eng. 44(1): 25-43 (2018) - [c82]Jun Zhang, Pengfei Gao, Fu Song, Chao Wang:
SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks. CAV (2) 2018: 157-177 - [c81]Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang:
Eliminating timing side-channel leaks using program repair. ISSTA 2018: 15-26 - [c80]Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang:
Datalog-based scalable semantic diffing of concurrent programs. ASE 2018: 656-666 - [c79]Chungha Sung, Brandon Paulsen, Chao Wang:
CANAL: a cache timing analysis framework via LLVM transformation. ASE 2018: 904-907 - [c78]Shengjian Guo, Meng Wu, Chao Wang:
Adversarial symbolic execution for detecting concurrency-related cache timing leaks. ESEC/SIGSOFT FSE 2018: 377-388 - [e1]Shuvendu K. Lahiri, Chao Wang:
Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. Lecture Notes in Computer Science 11138, Springer 2018, ISBN 978-3-030-01089-8 [contents] - [i8]Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang:
Eliminating Timing Side-Channel Leaks using Program Repair. CoRR abs/1806.02444 (2018) - [i7]Shengjian Guo, Meng Wu, Chao Wang:
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks. CoRR abs/1807.03280 (2018) - [i6]Chungha Sung, Brandon Paulsen, Chao Wang:
CANAL: A Cache Timing Analysis Framework via LLVM Transformation. CoRR abs/1807.03329 (2018) - [i5]Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang:
Datalog-based Scalable Semantic Diffing of Concurrent Programs. CoRR abs/1807.03777 (2018) - 2017
- [j16]Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura R. Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang:
Shield synthesis. Formal Methods Syst. Des. 51(2): 332-361 (2017) - [j15]Chao Wang, Patrick Schaumont:
Security by compilation: an automated approach to comprehensive side-channel resistance. ACM SIGLOG News 4(2): 76-89 (2017) - [c77]Meng Wu, Haibo Zeng, Chao Wang, Huafeng Yu:
Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited. DAC 2017: 84:1-84:6 - [c76]Lu Zhang, Chao Wang:
RClassify: classifying race conditions in web applications via deterministic replay. ICSE 2017: 278-288 - [c75]Chungha Sung, Markus Kusano, Chao Wang:
Modular verification of interrupt-driven software. ASE 2017: 206-216 - [c74]Lin Cheng, Zijiang Yang, Chao Wang:
Systematic reduction of GUI test sequences. ASE 2017: 849-860 - [c73]Shengjian Guo, Meng Wu, Chao Wang:
Symbolic execution of programmable logic controller code. ESEC/SIGSOFT FSE 2017: 326-336 - [c72]Markus Kusano, Chao Wang:
Thread-modular static analysis for relaxed memory models. ESEC/SIGSOFT FSE 2017: 337-348 - [c71]Tingting Yu, Tarannum S. Zaman, Chao Wang:
DESCRY: reproducing system-level concurrency failures. ESEC/SIGSOFT FSE 2017: 694-704 - [i4]Markus Kusano, Chao Wang:
Thread-Modular Static Analysis for Relaxed Memory Models. CoRR abs/1709.10077 (2017) - [i3]Chungha Sung, Markus Kusano, Chao Wang:
Modular Verification of Interrupt-Driven Software. CoRR abs/1709.10078 (2017) - [i2]Markus Kusano, Chao Wang:
Flow-Sensitive Composition of Thread-Modular Abstract Interpretation. CoRR abs/1709.10116 (2017) - 2016
- [j14]Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher:
Abstraction and mining of traces to explain concurrency bugs. Formal Methods Syst. Des. 49(1-2): 1-32 (2016) - [j13]Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shao Jie Zhang:
Verifying a quantitative relaxation of linearizability via refinement. Int. J. Softw. Tools Technol. Transf. 18(4): 393-407 (2016) - [c70]Hassan Eldib, Meng Wu, Chao Wang:
Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits. CAV (2) 2016: 343-363 - [c69]Shengjian Guo, Markus Kusano, Chao Wang:
Conc-iSE: incremental symbolic execution of concurrent software. ASE 2016: 531-542 - [c68]Lin Cheng, Jialiang Chang, Zijiang Yang, Chao Wang:
GUICat: GUI testing as a service. ASE 2016: 858-863 - [c67]Meng Wu, Haibo Zeng, Chao Wang:
Synthesizing Runtime Enforcer of Safety Properties Under Burst Error. NFM 2016: 65-81 - [c66]Chungha Sung, Markus Kusano, Nishant Sinha, Chao Wang:
Static DOM event dependency analysis for testing web applications. SIGSOFT FSE 2016: 447-459 - [c65]Markus Kusano, Chao Wang:
Flow-sensitive composition of thread-modular abstract interpretation. SIGSOFT FSE 2016: 799-809 - 2015
- [j12]Hassan Eldib, Chao Wang, Mostafa M. I. Taha, Patrick Schaumont:
Quantitative Masking Strength: Quantifying the Power Side-Channel Resistance of Software Code. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34(10): 1558-1568 (2015) - [j11]Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang:
Explaining Software Failures by Cascade Fault Localization. ACM Trans. Design Autom. Electr. Syst. 20(3): 41:1-41:28 (2015) - [j10]Lu Zhang, Arijit Chattopadhyay, Chao Wang:
Round-Up: Runtime Verification of Quasi Linearizability for Concurrent Data Structures. IEEE Trans. Software Eng. 41(12): 1202-1216 (2015) - [c64]Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang:
A Synergistic Analysis Method for Explaining Failed Regression Tests. ICSE (1) 2015: 257-267 - [c63]Markus Kusano, Arijit Chattopadhyay, Chao Wang:
Dynamic Generation of Likely Invariants for Multithreaded Programs. ICSE (1) 2015: 835-846 - [c62]Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao:
Postconditioned Symbolic Execution. ICST 2015: 1-10 - [c61]Sepideh Khoshnood, Markus Kusano, Chao Wang:
ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs. ISSTA 2015: 165-176 - [c60]Naling Zhang, Markus Kusano, Chao Wang:
Dynamic partial order reduction for relaxed memory models. PLDI 2015: 250-259 - [c59]Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, Aarti Gupta:
Assertion guided symbolic execution of multithreaded programs. ESEC/SIGSOFT FSE 2015: 854-865 - [c58]Roderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang:
Shield Synthesis: - Runtime Enforcement for Reactive Systems. TACAS 2015: 533-548 - [i1]Roderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang:
Shield Synthesis: Runtime Enforcement for Reactive Systems. CoRR abs/1501.02573 (2015) - 2014
- [j9]Hassan Eldib, Chao Wang:
An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33(11): 1611-1622 (2014) - [j8]Hassan Eldib, Chao Wang, Patrick Schaumont:
Formal Verification of Software Countermeasures against Side-Channel Attacks. ACM Trans. Softw. Eng. Methodol. 24(2): 11:1-11:24 (2014) - [c57]Hassan Eldib, Chao Wang:
Synthesis of Masking Countermeasures against Side Channel Attacks. CAV 2014: 114-130 - [c56]Hassan Eldib, Chao Wang, Mostafa M. I. Taha, Patrick Schaumont:
QMS: Evaluating the Side-Channel Resistance of Masked Software from Source Code. DAC 2014: 209:1-209:6 - [c55]Lu Zhang, Chao Wang:
Runtime prevention of concurrency related type-state violations in multithreaded applications. ISSTA 2014: 1-12 - [c54]Markus Kusano, Chao Wang:
Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction. ASE 2014: 175-186 - [c53]Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher:
Abstraction and Mining of Traces to Explain Concurrency Bugs. RV 2014: 162-177 - [c52]Hassan Eldib, Chao Wang, Patrick Schaumont:
SMT-Based Verification of Software Countermeasures against Side-Channel Attacks. TACAS 2014: 62-77 - [c51]Chao Wang, Kevin Hoang:
Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability. VMCAI 2014: 376-394 - 2013
- [c50]Avinash R. Desai, Michael S. Hsiao, Chao Wang, Leyla Nazhandali, T. Simin Hall:
Interlocking obfuscation for anti-tamper hardware. CSIIRW 2013: 8 - [c49]Hassan Eldib, Chao Wang:
An SMT based method for optimizing arithmetic computations in embedded software code. FMCAD 2013: 129-136 - [c48]Rashmi Moudgil, Dinesh Ganta, Leyla Nazhandali, Michael S. Hsiao, Chao Wang, T. Simin Hall:
A novel statistical and circuit-based technique for counterfeit detection in existing ICs. ACM Great Lakes Symposium on VLSI 2013: 1-6 - [c47]Lu Zhang, Arijit Chattopadhyay, Chao Wang:
Round-up: Runtime checking quasi linearizability of concurrent data structures. ASE 2013: 4-14 - [c46]Markus Kusano, Chao Wang:
CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications. ASE 2013: 722-725 - [c45]Lixin Li, Chao Wang:
Dynamic Analysis and Debugging of Binary Code for Security Applications. RV 2013: 403-423 - [c44]Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shao Jie Zhang:
Verifying a Quantitative Relaxation of Linearizability via Refinement. SPIN 2013: 24-42 - 2012
- [c43]Vineet Kahlon, Chao Wang:
Lock Removal for Concurrent Trace Programs. CAV 2012: 227-242 - 2011
- [j7]Chao Wang, Sudipta Kundu, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta:
Symbolic predictive analysis for concurrent programs. Formal Aspects Comput. 23(6): 781-805 (2011) - [c42]Arnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta:
Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search. Haifa Verification Conference 2011: 95-114 - [c41]Chao Wang, Mahmoud Said, Aarti Gupta:
Coverage guided systematic concurrency testing. ICSE 2011: 221-230 - [c40]Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, Gogul Balakrishnan:
BEST: A symbolic testing tool for predicting multi-threaded program failures. ASE 2011: 596-599 - [c39]Arnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta:
Predictive analysis for detecting serializability violations through Trace Segmentation. MEMOCODE 2011: 99-108 - [c38]Mahmoud Said, Chao Wang, Zijiang Yang, Karem A. Sakallah:
Generating Data Race Witnesses by an SMT-Based Analysis. NASA Formal Methods 2011: 313-327 - [c37]Nishant Sinha, Chao Wang:
On interference abstractions. POPL 2011: 423-434 - [c36]Chao Wang, Malay K. Ganai:
Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables. RV 2011: 4-18 - 2010
- [c35]Sudipta Kundu, Malay K. Ganai, Chao Wang:
Contessa: Concurrency Testing Augmented with Symbolic Analysis. CAV 2010: 127-131 - [c34]Vineet Kahlon, Chao Wang:
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs. CAV 2010: 434-449 - [c33]Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang:
Scalable and precise program analysis at NEC. FMCAD 2010: 273-274 - [c32]Malay K. Ganai, Chao Wang, Weihong Li:
Efficient state space exploration: Interleaving stateless and state-based model checking. ICCAD 2010: 786-793 - [c31]Malay K. Ganai, Chao Wang:
Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs. RV 2010: 253-269 - [c30]Nishant Sinha, Chao Wang:
Staged concurrent program analysis. SIGSOFT FSE 2010: 47-56 - [c29]Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta:
Trace-Based Symbolic Analysis for Atomicity Violations. TACAS 2010: 328-342
2000 – 2009
- 2009
- [j6]Franjo Ivancic, Sriram Sankaranarayanan, Chao Wang:
Foreword: Special issue on numerical software verification. Formal Methods Syst. Des. 35(3): 227-228 (2009) - [j5]Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic:
Model checking sequential software programs via mixed symbolic analysis. ACM Trans. Design Autom. Electr. Syst. 14(1): 10:1-10:26 (2009) - [c28]Vineet Kahlon, Chao Wang, Aarti Gupta:
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique. CAV 2009: 398-413 - [c27]Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gupta:
Symbolic Predictive Analysis for Concurrent Programs. FM 2009: 256-272 - [c26]Chao Wang, Swarat Chaudhuri, Aarti Gupta, Yu Yang:
Symbolic pruning of concurrent program executions. ESEC/SIGSOFT FSE 2009: 23-32 - [c25]Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang:
Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. SPIN 2009: 279-295 - 2008
- [c24]Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan:
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. ATVA 2008: 126-140 - [c23]Chao Wang, Malay K. Ganai, Shuvendu K. Lahiri, Daniel Kroening:
Embedded software verification: challenges and solutions. ICCAD 2008: 5 - [c22]Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan:
Modular verification of web services using efficient symbolic encoding and summarization. SIGSOFT FSE 2008: 192-202 - [c21]Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta:
Peephole Partial Order Reduction. TACAS 2008: 382-396 - 2007
- [j4]Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta:
Disjunctive image computation for software verification. ACM Trans. Design Autom. Electr. Syst. 12(2): 10 (2007) - [c20]Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic:
Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. CAV 2007: 352-365 - [c19]Chao Wang, Aarti Gupta, Franjo Ivancic:
Induction in CEGAR for Detecting Counterexamples. FMCAD 2007: 77-84 - [c18]Chao Wang, Hyondeuk Kim, Aarti Gupta:
Hybrid CEGAR: combining variable hiding and predicate abstraction. ICCAD 2007: 310-317 - 2006
- [b1]Chao Wang, Gary D. Hachtel, Fabio Somenzi:
Abstraction Refinement for Large Scale Model Checking. Series on Integrated Circuits and Systems, Springer 2006, ISBN 978-0-387-34155-2, pp. 1-179 - [j3]Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi:
Compositional SCC Analysis for Language Emptiness. Formal Methods Syst. Des. 28(1): 5-36 (2006) - [j2]Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi:
Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(11): 2297-2316 (2006) - [c17]Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta:
Whodunit? Causal Analysis for Counterexamples. ATVA 2006: 82-95 - [c16]Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang:
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. CAV 2006: 137-151 - [c15]Chao Wang, Aarti Gupta, Malay K. Ganai:
Predicate learning and selective theory deduction for a difference logic solver. DAC 2006: 235-240 - [c14]Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta:
Disjunctive image computation for embedded software verification. DATE 2006: 1205-1210 - [c13]Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic:
Mixed symbolic representations for model checking software programs. MEMOCODE 2006: 17-26 - [c12]Aarti Gupta, Malay K. Ganai, Chao Wang:
SAT-Based Verification Methods and Applications in Hardware Verification. SFM 2006: 108-143 - 2005
- [j1]Bing Li, Chao Wang, Fabio Somenzi:
Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure. Int. J. Softw. Tools Technol. Transf. 7(2): 143-155 (2005) - [c11]Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang:
Model Checking C Programs Using F-SOFT. ICCD 2005: 297-308 - [c10]Chao Wang, Franjo Ivancic, Malay K. Ganai, Aarti Gupta:
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination. LPAR 2005: 322-336 - 2004
- [c9]Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi:
Refining the SAT decision ordering for bounded model checking. DAC 2004: 535-538 - [c8]Chao Wang, Gary D. Hachtel, Fabio Somenzi:
Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking. ICCD 2004: 112-118 - 2003
- [c7]Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar:
Abstraction and BDDs Complement SAT-Based BMC in DiVer. CAV 2003: 206-209 - [c6]Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar:
Learning from BDDs in SAT-based bounded model checking. DAC 2003: 824-829 - [c5]Chao Wang, Gary D. Hachtel, Fabio Somenzi:
The Compositional Far Side of Image Computation. ICCAD 2003: 334-341 - [c4]Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi:
Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. ICCAD 2003: 408-415 - [c3]Bing Li, Chao Wang, Fabio Somenzi:
A satisfiability-based approach to abstraction refinement in model checking. BMC@CAV 2003: 608-622 - 2002
- [c2]Chao Wang, Gary D. Hachtel:
Sharp Disjunctive Decomposition for Language Emptiness Checking. FMCAD 2002: 106-122 - 2001
- [c1]Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi:
Divide and Compose: SCC Refinement for Language Emptiness. CONCUR 2001: 456-471
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 2025-05-05 00:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
