
Chao Wang 0001
Person information
- affiliation: University of Southern California, USA
- affiliation (former): Virginia Tech, Blacksburg, VA, 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 Sciense 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 Puerto Rico-Rio Piedras, Department of Environmental Science, San Juan, PR, USA
- 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 — Vlingo, Cambridge, MA, USA (and 1 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 — Zhejiang University, Department of Information Science and Electronic Engineering, Hangzhou, China
- 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 Uinversity, Department of Computer Science and Engineering, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 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) - [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]
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) - [c83]Youwei Zhuo, Chao Wang, Mingxing Zhang, Rui Wang, Dimin Niu, Yanzhi Wang, Xuehai Qian:
GraphQ: Scalable PIM-Based Graph Processing. MICRO 2019: 712-725 - [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 - [i8]Meng Wu, Chao Wang:
Abstract Interpretation under Speculative Execution. CoRR abs/1904.11170 (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] - [i7]Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang:
Eliminating Timing Side-Channel Leaks using Program Repair. CoRR abs/1806.02444 (2018) - [i6]Shengjian Guo, Meng Wu, Chao Wang:
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks. CoRR abs/1807.03280 (2018) - [i5]Chungha Sung, Brandon Paulsen, Chao Wang:
CANAL: A Cache Timing Analysis Framework via LLVM Transformation. CoRR abs/1807.03329 (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, 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, 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]Bing Li, Chao Wang, Fabio Somenzi:
A satisfiability-based approach to abstraction refinement in model checking. Electron. Notes Theor. Comput. Sci. 89(4): 608-622 (2003) - [c6]Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar:
Abstraction and BDDs Complement SAT-Based BMC in DiVer. CAV 2003: 206-209 - [c5]Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar:
Learning from BDDs in SAT-based bounded model checking. DAC 2003: 824-829 - [c4]Chao Wang, Gary D. Hachtel, Fabio Somenzi:
The Compositional Far Side of Image Computation. ICCAD 2003: 334-341 - [c3]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 - 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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-01-19 22:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint