default search action
Chao 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 — 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
- 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) - [c102]Zunchen Huang, Chao Wang:
Constraint Based Program Repair for Persistent Memory Bugs. ICSE 2024: 91:1-91:12 - 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]