


Остановите войну!
for scientists:
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 — 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
— Boston University, Department of Physics / Center for Polymer Studies, MA, USA (and 2 more)
- Chao Wang 0036
— Hong Kong Polytechnic University, Department of Applied Mathematics, Hong Kong
- Chao Wang 0037
— Peking University, Shenzhen Graduate School, School of Electronic and Computer Engineering, China
- 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
— University of California Davis, Department of Electrical and Computer Engineering, Davis, CA, USA (and 2 more)
- Chao Wang 0068 — Southeast University, National ASIC System Engineering Research Center, Nanjing, China
- Chao Wang 0069 — Chinese Academy of Sciences, Institute of Software, State Key Laboratory of Computer Science, Beijing, China (and 1 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)
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [c91]Zunchen Huang, Chao Wang:
Symbolic Predictive Cache Analysis for Out-of-Order Execution. FASE 2022: 163-183 - [c90]Brandon Paulsen, Chao Wang:
LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions. TACAS (1) 2022: 357-376 - [i16]Brandon Paulsen, Chao Wang:
LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions. CoRR abs/2201.13351 (2022) - 2021
- [c89]Sara Mohammadinejad, Brandon Paulsen, Jyotirmoy V. Deshmukh, Chao Wang:
DiffRNN: Differential Verification of Recurrent Neural Networks. FORMATS 2021: 117-134 - 2020
- [j18]Tingting Yu
, Zunchen Huang
, Chao Wang:
ConTesa: Directed Test Suite Augmentation for Concurrent Software. IEEE Trans. Software Eng. 46(4): 405-419 (2020) - [c88]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 - [c87]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 - [c86]Brandon Paulsen, Jingbo Wang, Chao Wang:
ReluDiff: differential verification of deep neural networks. ICSE 2020: 714-726 - [c85]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
- [j17]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) - [c84]Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang:
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems. FMCAD 2019: 129-137 - [c83]Brandon Paulsen, Chungha Sung, Peter A. H. Peterson, Chao Wang:
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation. ASE 2019: 899-911 - [c82]Meng Wu, Chao Wang:
Abstract interpretation under speculative execution. PLDI 2019: 802-815 - [c81]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
- [j16]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) - [c80]Jun Zhang, Pengfei Gao, Fu Song, Chao Wang:
SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks. CAV (2) 2018: 157-177 - [c79]Meng Wu, Shengjian Guo, Patrick Schaumont
, Chao Wang:
Eliminating timing side-channel leaks using program repair. ISSTA 2018: 15-26 - [c78]Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang:
Datalog-based scalable semantic diffing of concurrent programs. ASE 2018: 656-666 - [c77]Chungha Sung, Brandon Paulsen, Chao Wang:
CANAL: a cache timing analysis framework via LLVM transformation. ASE 2018: 904-907 - [c76]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
- [j15]Chao Wang, Patrick Schaumont
:
Security by compilation: an automated approach to comprehensive side-channel resistance. ACM SIGLOG News 4(2): 76-89 (2017) - [c75]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 - [c74]Lu Zhang, Chao Wang:
RClassify: classifying race conditions in web applications via deterministic replay. ICSE 2017: 278-288 - [c73]Chungha Sung, Markus Kusano, Chao Wang:
Modular verification of interrupt-driven software. ASE 2017: 206-216 - [c72]Lin Cheng, Zijiang Yang, Chao Wang:
Systematic reduction of GUI test sequences. ASE 2017: 849-860 - [c71]Shengjian Guo, Meng Wu, Chao Wang:
Symbolic execution of programmable logic controller code. ESEC/SIGSOFT FSE 2017: 326-336 - [c70]Markus Kusano, Chao Wang:
Thread-modular static analysis for relaxed memory models. ESEC/SIGSOFT FSE 2017: 337-348 - [c69]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) - [c68]Hassan Eldib, Meng Wu, Chao Wang:
Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits. CAV (2) 2016: 343-363 - [c67]Shengjian Guo, Markus Kusano, Chao Wang:
Conc-iSE: incremental symbolic execution of concurrent software. ASE 2016: 531-542 - [c66]Lin Cheng, Jialiang Chang, Zijiang Yang, Chao Wang:
GUICat: GUI testing as a service. ASE 2016: 858-863 - [c65]Meng Wu, Haibo Zeng, Chao Wang:
Synthesizing Runtime Enforcer of Safety Properties Under Burst Error. NFM 2016: 65-81 - [c64]Chungha Sung, Markus Kusano, Nishant Sinha, Chao Wang:
Static DOM event dependency analysis for testing web applications. SIGSOFT FSE 2016: 447-459 - [c63]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) - [c62]Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang:
A Synergistic Analysis Method for Explaining Failed Regression Tests. ICSE (1) 2015: 257-267 - [c61]Markus Kusano, Arijit Chattopadhyay, Chao Wang:
Dynamic Generation of Likely Invariants for Multithreaded Programs. ICSE (1) 2015: 835-846 - [c60]Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao:
Postconditioned Symbolic Execution. ICST 2015: 1-10 - [c59]Sepideh Khoshnood, Markus Kusano, Chao Wang:
ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs. ISSTA 2015: 165-176 - [c58]Naling Zhang, Markus Kusano, Chao Wang:
Dynamic partial order reduction for relaxed memory models. PLDI 2015: 250-259 - [c57]Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, Aarti Gupta:
Assertion guided symbolic execution of multithreaded programs. ESEC/SIGSOFT FSE 2015: 854-865 - [c56]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) - [c55]Hassan Eldib, Chao Wang:
Synthesis of Masking Countermeasures against Side Channel Attacks. CAV 2014: 114-130 - [c54]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 - [c53]Lu Zhang, Chao Wang:
Runtime prevention of concurrency related type-state violations in multithreaded applications. ISSTA 2014: 1-12 - [c52]Markus Kusano, Chao Wang:
Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction. ASE 2014: 175-186 - [c51]Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher
:
Abstraction and Mining of Traces to Explain Concurrency Bugs. RV 2014: 162-177 - [c50]Hassan Eldib, Chao Wang, Patrick Schaumont:
SMT-Based Verification of Software Countermeasures against Side-Channel Attacks. TACAS 2014: 62-77 - [c49]Chao Wang, Kevin Hoang:
Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability. VMCAI 2014: 376-394 - 2013
- [c48]Avinash R. Desai, Michael S. Hsiao, Chao Wang, Leyla Nazhandali, T. Simin Hall:
Interlocking obfuscation for anti-tamper hardware. CSIIRW 2013: 8 - [c47]Hassan Eldib, Chao Wang:
An SMT based method for optimizing arithmetic computations in embedded software code. FMCAD 2013: 129-136 - [c46]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 - [c45]Lu Zhang, Arijit Chattopadhyay, Chao Wang:
Round-up: Runtime checking quasi linearizability of concurrent data structures. ASE 2013: 4-14 - [c44]Markus Kusano, Chao Wang:
CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications. ASE 2013: 722-725 - [c43]Lixin Li, Chao Wang:
Dynamic Analysis and Debugging of Binary Code for Security Applications. RV 2013: 403-423 - [c42]Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shao Jie Zhang:
Verifying a Quantitative Relaxation of Linearizability via Refinement. SPIN 2013: 24-42 - 2012
- [c41]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) - [c40]Arnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta:
Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search. Haifa Verification Conference 2011: 95-114 - [c39]Chao Wang, Mahmoud Said, Aarti Gupta:
Coverage guided systematic concurrency testing. ICSE 2011: 221-230 - [c38]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 - [c37]Arnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta:
Predictive analysis for detecting serializability violations through Trace Segmentation. MEMOCODE 2011: 99-108 - [c36]Mahmoud Said, Chao Wang, Zijiang Yang, Karem A. Sakallah:
Generating Data Race Witnesses by an SMT-Based Analysis. NASA Formal Methods 2011: 313-327 - [c35]Nishant Sinha, Chao Wang:
On interference abstractions. POPL 2011: 423-434 - [c34]Chao Wang, Malay K. Ganai:
Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables. RV 2011: 4-18 - 2010
- [c33]Sudipta Kundu, Malay K. Ganai, Chao Wang:
Contessa: Concurrency Testing Augmented with Symbolic Analysis. CAV 2010: 127-131 - [c32]Vineet Kahlon, Chao Wang:
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs. CAV 2010: 434-449 - [c31]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 - [c30]Malay K. Ganai, Chao Wang, Weihong Li:
Efficient state space exploration: Interleaving stateless and state-based model checking. ICCAD 2010: 786-793 - [c29]Malay K. Ganai, Chao Wang:
Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs. RV 2010: 253-269 - [c28]Nishant Sinha, Chao Wang:
Staged concurrent program analysis. SIGSOFT FSE 2010: 47-56 - [c27]Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta:
Trace-Based Symbolic Analysis for Atomicity Violations. TACAS 2010: 328-342
2000 – 2009
- 2009
- [j6]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) - [c26]Vineet Kahlon, Chao Wang, Aarti Gupta:
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique. CAV 2009: 398-413 - [c25]Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gupta:
Symbolic Predictive Analysis for Concurrent Programs. FM 2009: 256-272 - [c24]Chao Wang, Swarat Chaudhuri, Aarti Gupta, Yu Yang:
Symbolic pruning of concurrent program executions. ESEC/SIGSOFT FSE 2009: 23-32 - [c23]Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang:
Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. SPIN 2009: 279-295 - 2008
- [c22]Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan:
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. ATVA 2008: 126-140 - [c21]Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan:
Modular verification of web services using efficient symbolic encoding and summarization. SIGSOFT FSE 2008: 192-202 - [c20]Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta:
Peephole Partial Order Reduction. TACAS 2008: 382-396 - 2007
- [j5]Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta:
Disjunctive image computation for software verification. ACM Trans. Design Autom. Electr. Syst. 12(2): 10 (2007) - [c19]Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic:
Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. CAV 2007: 352-365 - [c18]Chao Wang, Aarti Gupta, Franjo Ivancic:
Induction in CEGAR for Detecting Counterexamples. FMCAD 2007: 77-84 - [c17]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 - [j4]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) - [j3]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) - [c16]Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta:
Whodunit? Causal Analysis for Counterexamples. ATVA 2006: 82-95 - [c15]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 - [c14]Chao Wang, Aarti Gupta, Malay K. Ganai:
Predicate learning and selective theory deduction for a difference logic solver. DAC 2006: 235-240 - [c13]Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta:
Disjunctive image computation for embedded software verification. DATE 2006: 1205-1210 - [c12]Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic:
Mixed symbolic representations for model checking software programs. MEMOCODE 2006: 17-26 - [c11]Aarti Gupta, Malay K. Ganai, Chao Wang:
SAT-Based Verification Methods and Applications in Hardware Verification. SFM 2006: 108-143 - 2005
- [j2]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) - [c10]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 - [c9]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
- [c8]Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi:
Refining the SAT decision ordering for bounded model checking. DAC 2004: 535-538 - [c7]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
- [j1]