Chao Wang - RankMe

163 papers A* 38A 17B 18C 4Journal 51Unranked 32

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Analyzing Fairness of Neural Network Prediction via Counterfactual Dataset Generation. CoRR Brian Hyeongseok Kim, Jacqueline L. Mitchell, Chao Wang
2025	J	`jnl`	An Incremental Algorithm for Algebraic Program Analysis. Proc. ACM Program. Lang. Chenyu Zhou, Yuzhou Fang, Jingbo Wang, Chao Wang
2025	J	`jnl`	Can LLMs Formally Reason as Abstract Interpreters for Program Analysis? CoRR Jacqueline L. Mitchell, Brian Hyeongseok Kim, Chenyu Zhou, Chao Wang
2025	J	`jnl`	Efficient Symbolic Execution of Software under Fault Attacks. CoRR Yuzhou Fang, Chenyu Zhou, Jingbo Wang, Chao Wang
2025	A*	`conf`	Fairquant: Certifying and Quantifying Fairness of Deep Neural Networks. ICSE Brian Hyeongseok Kim, Jingbo Wang, Chao Wang
2025	J	`jnl`	Probabilistic Inference for Datalog with Correlated Inputs. CoRR Jingbo Wang, Shashin Halalingaiah, Weiyi Chen, Chao Wang, Isil Dillig
2025	J	`jnl`	Probabilistic Inference for Datalog with Correlated Inputs. Proc. ACM Program. Lang. Jingbo Wang, Shashin Halalingaiah, Weiyi Chen, Chao Wang, Isil Dillig
2025	J	`jnl`	Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions (Artifact). Dagstuhl Artifacts Ser. Jacqueline L. Mitchell, Chao Wang
2025	A	`conf`	Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions. ECOOP Jacqueline L. Mitchell, Chao Wang
2025	A*	`conf`	WaSCR: A WebAssembly Instruction-Timing Side Channel Repairer. WWW Liyan Huang, Junzhou He, Chao Wang, Weihang Wang
2025	A*	`conf`	ZENITH: Towards A Formally Verified Highly-Available Control Plane. SIGCOMM Pooria Namyar, Arvin Ghavidel, Mingyang Zhang, Harsha V. Madhyastha, Srivatsan Ravi, Chao Wang, Ramesh Govindan
2024	J	`jnl`	An Incremental Algorithm for Algebraic Program Analysis. CoRR Chenyu Zhou, Yuzhou Fang, Jingbo Wang, Chao Wang
2024	A*	`conf`	Constraint Based Program Repair for Persistent Memory Bugs. ICSE Zunchen Huang, Chao Wang
2024	J	`jnl`	DL4SC: a novel deep learning-based vulnerability detection framework for smart contracts. Autom. Softw. Eng. Yang Liu, Chao Wang, Yan Ma
2024	A*	`conf`	Discovering Likely Program Invariants for Persistent Memory. ASE Zunchen Huang, Srivatsan Ravi, Chao Wang
2024	J	`jnl`	FairQuant: Certifying and Quantifying Fairness of Deep Neural Networks. CoRR Brian Hyeongseok Kim, Jingbo Wang, Chao Wang
2023	—	`conf`	Certifying the Fairness of KNN in the Presence of Dataset Bias. CAV (2) Yannan Li, Jingbo Wang, Chao Wang
2023	J	`jnl`	Certifying the Fairness of KNN in the Presence of Dataset Bias. CoRR Yannan Li, Jingbo Wang, Chao Wang
2023	A	`conf`	Constraint Based Compiler Optimization for Energy Harvesting Applications. ECOOP Yannan Li, Chao Wang
2023	J	`jnl`	Synthesizing MILP Constraints for Efficient and Robust Optimization. Proc. ACM Program. Lang. Jingbo Wang, Aarti Gupta, Chao Wang
2023	A	`conf`	Systematic Testing of the Data-Poisoning Robustness of KNN. ISSTA Yannan Li, Jingbo Wang, Chao Wang
2023	J	`jnl`	Systematic Testing of the Data-Poisoning Robustness of KNN. CoRR Yannan Li, Jingbo Wang, Chao Wang
2022	—	`conf`	Example Guided Synthesis of Linear Approximations for Neural Network Verification. CAV (1) Brandon Paulsen, Chao Wang
2022	A*	`conf`	Learning to Synthesize Relational Invariants. ASE Jingbo Wang, Chao Wang
2022	—	`conf`	LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions. TACAS (1) Brandon Paulsen, Chao Wang
2022	J	`jnl`	LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions. CoRR Brandon Paulsen, Chao Wang
2022	B	`conf`	Proving Robustness of KNN Against Adversarial Data Poisoning. FMCAD Yannan Li, Jingbo Wang, Chao Wang
2022	B	`conf`	Symbolic Predictive Cache Analysis for Out-of-Order Execution. FASE Zunchen Huang, Chao Wang
2022	—	`conf`	Synthesizing Fair Decision Trees via Iterative Constraint Solving. CAV (2) Jingbo Wang, Yannan Li, Chao Wang
2022	J	`jnl`	Understanding Concurrency Vulnerabilities in Linux Kernel. CoRR Zunchen Huang, Shengjian Guo, Meng Wu, Chao Wang
2021	A*	`conf`	Data-Driven Synthesis of Provably Sound Side Channel Analyses. ICSE Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang
2021	J	`jnl`	Data-Driven Synthesis of Provably Sound Side Channel Analyses. CoRR Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang
2021	—	`conf`	DiffRNN: Differential Verification of Recurrent Neural Networks. FORMATS Sara Mohammadinejad, Brandon Paulsen, Jyotirmoy V. Deshmukh, Chao Wang
2020	—	`ed.`	Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I CAV (1) Shuvendu K. Lahiri, Chao Wang
2020	—	`ed.`	Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II CAV (2) Shuvendu K. Lahiri, Chao Wang
2020	J	`jnl`	ConTesa: Directed Test Suite Augmentation for Concurrent Software. IEEE Trans. Software Eng. Tingting Yu, Zunchen Huang, Chao Wang
2020	J	`jnl`	DiffRNN: Differential Verification of Recurrent Neural Networks. CoRR Sara Mohammadinejad, Brandon Paulsen, Chao Wang, Jyotirmoy V. Deshmukh
2020	A*	`conf`	NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation. ASE Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang
2020	J	`jnl`	NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation. CoRR Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang
2020	J	`jnl`	ReluDiff: Differential Verification of Deep Neural Networks. CoRR Brandon Paulsen, Jingbo Wang, Chao Wang
2020	A*	`conf`	ReluDiff: differential verification of deep neural networks. ICSE Brandon Paulsen, Jingbo Wang, Chao Wang
2020	—	`conf`	Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study. ICSE (SEIP) Chungha Sung, Shuvendu K. Lahiri, Mike Kaufman, Pallavi Choudhury, Chao Wang
2020	—	`conf`	Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study. ICSE (Companion Volume) Chungha Sung, Shuvendu K. Lahiri, Mike Kaufman, Pallavi Choudhury, Jessica Wolk, Chao Wang
2019	J	`jnl`	Abstract Interpretation under Speculative Execution. CoRR Meng Wu, Chao Wang
2019	A*	`conf`	Abstract interpretation under speculative execution. PLDI Meng Wu, Chao Wang
2019	A*	`conf`	Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation. ASE Brandon Paulsen, Chungha Sung, Peter A. H. Peterson, Chao Wang
2019	J	`jnl`	Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation. CoRR Brandon Paulsen, Chungha Sung, Peter A. H. Peterson, Chao Wang
2019	J	`jnl`	Mitigating Power Side Channels during Compilation. CoRR Jingbo Wang, Chungha Sung, Chao Wang
2019	—	`conf`	Mitigating power side channels during compilation. ESEC/SIGSOFT FSE Jingbo Wang, Chungha Sung, Chao Wang
2019	—	`conf`	Research on Fault Diagnosis Method Based on RSAPSO-DBN. ICSI (2) Jianjian Yang, Xiaolin Wang, Qiang Zhang, Chao Wang, Zhihua Zhang, Yang Liu, Dunwei Gong, Miao Wu
2019	B	`conf`	Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems. FMCAD Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang
2019	J	`jnl`	Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems. CoRR Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang
2019	J	`jnl`	Verifying and Quantifying Side-channel Resistance of Masked Software Implementations. ACM Trans. Softw. Eng. Methodol. Pengfei Gao, Jun Zhang, Fu Song, Chao Wang
2018	J	`jnl`	Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks. CoRR Shengjian Guo, Meng Wu, Chao Wang
2018	—	`conf`	Adversarial symbolic execution for detecting concurrency-related cache timing leaks. ESEC/SIGSOFT FSE Shengjian Guo, Meng Wu, Chao Wang
2018	B	`ed.`	Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings ATVA Shuvendu K. Lahiri, Chao Wang
2018	J	`jnl`	CANAL: A Cache Timing Analysis Framework via LLVM Transformation. CoRR Chungha Sung, Brandon Paulsen, Chao Wang
2018	A*	`conf`	CANAL: a cache timing analysis framework via LLVM transformation. ASE Chungha Sung, Brandon Paulsen, Chao Wang
2018	J	`jnl`	Datalog-based Scalable Semantic Diffing of Concurrent Programs. CoRR Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang
2018	A*	`conf`	Datalog-based scalable semantic diffing of concurrent programs. ASE Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang
2018	J	`jnl`	Eliminating Path Redundancy via Postconditioned Symbolic Execution. IEEE Trans. Software Eng. Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao
2018	J	`jnl`	Eliminating Timing Side-Channel Leaks using Program Repair. CoRR Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang
2018	A	`conf`	Eliminating timing side-channel leaks using program repair. ISSTA Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang
2018	J	`jnl`	Guest editorial: special issue on concurrent software quality. Softw. Qual. J. Zijiang Yang, Ting Liu, Daniel Xiapu Luo, Chao Wang
2018	—	`conf`	SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks. CAV (2) Jun Zhang, Pengfei Gao, Fu Song, Chao Wang
2017	—	`conf`	DESCRY: reproducing system-level concurrency failures. ESEC/SIGSOFT FSE Tingting Yu, Tarannum S. Zaman, Chao Wang
2017	J	`jnl`	Flow-Sensitive Composition of Thread-Modular Abstract Interpretation. CoRR Markus Kusano, Chao Wang
2017	J	`jnl`	Modular Verification of Interrupt-Driven Software. CoRR Chungha Sung, Markus Kusano, Chao Wang
2017	A*	`conf`	Modular verification of interrupt-driven software. ASE Chungha Sung, Markus Kusano, Chao Wang
2017	A*	`conf`	RClassify: classifying race conditions in web applications via deterministic replay. ICSE Lu Zhang, Chao Wang
2017	A*	`conf`	Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited. DAC Meng Wu, Haibo Zeng, Chao Wang, Huafeng Yu
2017	J	`jnl`	Security by compilation: an automated approach to comprehensive side-channel resistance. ACM SIGLOG News Chao Wang, Patrick Schaumont
2017	J	`jnl`	Shield synthesis. Formal Methods Syst. Des. Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura R. Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang
2017	—	`conf`	Symbolic execution of programmable logic controller code. ESEC/SIGSOFT FSE Shengjian Guo, Meng Wu, Chao Wang
2017	A*	`conf`	Systematic reduction of GUI test sequences. ASE Lin Cheng, Zijiang Yang, Chao Wang
2017	J	`jnl`	Thread-Modular Static Analysis for Relaxed Memory Models. CoRR Markus Kusano, Chao Wang
2017	—	`conf`	Thread-modular static analysis for relaxed memory models. ESEC/SIGSOFT FSE Markus Kusano, Chao Wang
2016	J	`jnl`	Abstraction and mining of traces to explain concurrency bugs. Formal Methods Syst. Des. Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher
2016	A*	`conf`	Conc-iSE: incremental symbolic execution of concurrent software. ASE Shengjian Guo, Markus Kusano, Chao Wang
2016	—	`conf`	Flow-sensitive composition of thread-modular abstract interpretation. SIGSOFT FSE Markus Kusano, Chao Wang
2016	A*	`conf`	GUICat: GUI testing as a service. ASE Lin Cheng, Jialiang Chang, Zijiang Yang, Chao Wang
2016	—	`conf`	Static DOM event dependency analysis for testing web applications. SIGSOFT FSE Chungha Sung, Markus Kusano, Nishant Sinha, Chao Wang
2016	—	`conf`	Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits. CAV (2) Hassan Eldib, Meng Wu, Chao Wang
2016	—	`conf`	Synthesizing Runtime Enforcer of Safety Properties Under Burst Error. NFM Meng Wu, Haibo Zeng, Chao Wang
2016	J	`jnl`	Verifying a quantitative relaxation of linearizability via refinement. Int. J. Softw. Tools Technol. Transf. Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shao Jie Zhang
2015	—	`conf`	A Synergistic Analysis Method for Explaining Failed Regression Tests. ICSE (1) Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang
2015	—	`conf`	Assertion guided symbolic execution of multithreaded programs. ESEC/SIGSOFT FSE Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, Aarti Gupta
2015	A	`conf`	ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs. ISSTA Sepideh Khoshnood, Markus Kusano, Chao Wang
2015	—	`conf`	Dynamic Generation of Likely Invariants for Multithreaded Programs. ICSE (1) Markus Kusano, Arijit Chattopadhyay, Chao Wang
2015	A*	`conf`	Dynamic partial order reduction for relaxed memory models. PLDI Naling Zhang, Markus Kusano, Chao Wang
2015	J	`jnl`	Explaining Software Failures by Cascade Fault Localization. ACM Trans. Design Autom. Electr. Syst. Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang
2015	A	`conf`	Postconditioned Symbolic Execution. ICST Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao
2015	J	`jnl`	Quantitative Masking Strength: Quantifying the Power Side-Channel Resistance of Software Code. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hassan Eldib, Chao Wang, Mostafa M. I. Taha, Patrick Schaumont
2015	J	`jnl`	Round-Up: Runtime Verification of Quasi Linearizability for Concurrent Data Structures. IEEE Trans. Software Eng. Lu Zhang, Arijit Chattopadhyay, Chao Wang
2015	A	`conf`	Shield Synthesis: - Runtime Enforcement for Reactive Systems. TACAS Roderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang
2015	J	`jnl`	Shield Synthesis: Runtime Enforcement for Reactive Systems. CoRR Roderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang
2014	B	`conf`	Abstraction and Mining of Traces to Explain Concurrency Bugs. RV Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher
2014	J	`jnl`	An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hassan Eldib, Chao Wang
2014	A*	`conf`	Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction. ASE Markus Kusano, Chao Wang
2014	J	`jnl`	Formal Verification of Software Countermeasures against Side-Channel Attacks. ACM Trans. Softw. Eng. Methodol. Hassan Eldib, Chao Wang, Patrick Schaumont
2014	B	`conf`	Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability. VMCAI Chao Wang, Kevin Hoang
2014	A*	`conf`	QMS: Evaluating the Side-Channel Resistance of Masked Software from Source Code. DAC Hassan Eldib, Chao Wang, Mostafa M. I. Taha, Patrick Schaumont
2014	A	`conf`	Runtime prevention of concurrency related type-state violations in multithreaded applications. ISSTA Lu Zhang, Chao Wang
2014	A	`conf`	SMT-Based Verification of Software Countermeasures against Side-Channel Attacks. TACAS Hassan Eldib, Chao Wang, Patrick Schaumont
2014	A*	`conf`	Synthesis of Masking Countermeasures against Side Channel Attacks. CAV Hassan Eldib, Chao Wang
2013	—	`conf`	A novel statistical and circuit-based technique for counterfeit detection in existing ICs. ACM Great Lakes Symposium on VLSI Rashmi Moudgil, Dinesh Ganta, Leyla Nazhandali, Michael S. Hsiao, Chao Wang, T. Simin Hall
2013	B	`conf`	An SMT based method for optimizing arithmetic computations in embedded software code. FMCAD Hassan Eldib, Chao Wang
2013	A*	`conf`	CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications. ASE Markus Kusano, Chao Wang
2013	B	`conf`	Dynamic Analysis and Debugging of Binary Code for Security Applications. RV Lixin Li, Chao Wang
2013	—	`conf`	Interlocking obfuscation for anti-tamper hardware. CSIIRW Avinash R. Desai, Michael S. Hsiao, Chao Wang, Leyla Nazhandali, T. Simin Hall
2013	A*	`conf`	Round-up: Runtime checking quasi linearizability of concurrent data structures. ASE Lu Zhang, Arijit Chattopadhyay, Chao Wang
2013	—	`conf`	Verifying a Quantitative Relaxation of Linearizability via Refinement. SPIN Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shao Jie Zhang
2012	A*	`conf`	Lock Removal for Concurrent Trace Programs. CAV Vineet Kahlon, Chao Wang
2011	A*	`conf`	BEST: A symbolic testing tool for predicting multi-threaded program failures. ASE Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, Gogul Balakrishnan
2011	A*	`conf`	Coverage guided systematic concurrency testing. ICSE Chao Wang, Mahmoud Said, Aarti Gupta
2011	—	`conf`	Generating Data Race Witnesses by an SMT-Based Analysis. NASA Formal Methods Mahmoud Said, Chao Wang, Zijiang Yang, Karem A. Sakallah
2011	A*	`conf`	On interference abstractions. POPL Nishant Sinha, Chao Wang
2011	B	`conf`	Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables. RV Chao Wang, Malay K. Ganai
2011	—	`conf`	Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search. Haifa Verification Conference Arnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta
2011	C	`conf`	Predictive analysis for detecting serializability violations through Trace Segmentation. MEMOCODE Arnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta
2011	J	`jnl`	Symbolic predictive analysis for concurrent programs. Formal Aspects Comput. Chao Wang, Sudipta Kundu, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta
2010	A*	`conf`	Contessa: Concurrency Testing Augmented with Symbolic Analysis. CAV Sudipta Kundu, Malay K. Ganai, Chao Wang
2010	A	`conf`	Efficient state space exploration: Interleaving stateless and state-based model checking. ICCAD Malay K. Ganai, Chao Wang, Weihong Li
2010	B	`conf`	Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs. RV Malay K. Ganai, Chao Wang
2010	B	`conf`	Scalable and precise program analysis at NEC. FMCAD Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang
2010	—	`conf`	Staged concurrent program analysis. SIGSOFT FSE Nishant Sinha, Chao Wang
2010	A	`conf`	Trace-Based Symbolic Analysis for Atomicity Violations. TACAS Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta
2010	A*	`conf`	Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs. CAV Vineet Kahlon, Chao Wang
2009	—	`conf`	Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. SPIN Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang
2009	J	`jnl`	Foreword: Special issue on numerical software verification. Formal Methods Syst. Des. Franjo Ivancic, Sriram Sankaranarayanan, Chao Wang
2009	J	`jnl`	Model checking sequential software programs via mixed symbolic analysis. ACM Trans. Design Autom. Electr. Syst. Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic
2009	A*	`conf`	Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique. CAV Vineet Kahlon, Chao Wang, Aarti Gupta
2009	B	`conf`	Symbolic Predictive Analysis for Concurrent Programs. FM Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gupta
2009	—	`conf`	Symbolic pruning of concurrent program executions. ESEC/SIGSOFT FSE Chao Wang, Swarat Chaudhuri, Aarti Gupta, Yu Yang
2008	B	`conf`	Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. ATVA Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan
2008	A	`conf`	Embedded software verification: challenges and solutions. ICCAD Chao Wang, Malay K. Ganai, Shuvendu K. Lahiri, Daniel Kroening
2008	—	`conf`	Modular verification of web services using efficient symbolic encoding and summarization. SIGSOFT FSE Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan
2008	A	`conf`	Peephole Partial Order Reduction. TACAS Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta
2007	J	`jnl`	Disjunctive image computation for software verification. ACM Trans. Design Autom. Electr. Syst. Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta
2007	A	`conf`	Hybrid CEGAR: combining variable hiding and predicate abstraction. ICCAD Chao Wang, Hyondeuk Kim, Aarti Gupta
2007	B	`conf`	Induction in CEGAR for Detecting Counterexamples. FMCAD Chao Wang, Aarti Gupta, Franjo Ivancic
2007	A*	`conf`	Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. CAV Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic
2006	—	`book`	Abstraction Refinement for Large Scale Model Checking Chao Wang, Gary D. Hachtel, Fabio Somenzi
2006	J	`jnl`	Compositional SCC Analysis for Language Emptiness. Formal Methods Syst. Des. Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi
2006	A	`conf`	Disjunctive image computation for embedded software verification. DATE Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta
2006	J	`jnl`	Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
2006	C	`conf`	Mixed symbolic representations for model checking software programs. MEMOCODE Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic
2006	A*	`conf`	Predicate learning and selective theory deduction for a difference logic solver. DAC Chao Wang, Aarti Gupta, Malay K. Ganai
2006	—	`conf`	SAT-Based Verification Methods and Applications in Hardware Verification. SFM Aarti Gupta, Malay K. Ganai, Chao Wang
2006	A*	`conf`	Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. CAV Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang
2006	B	`conf`	Whodunit? Causal Analysis for Counterexamples. ATVA Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta
2005	J	`jnl`	Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure. Int. J. Softw. Tools Technol. Transf. Bing Li, Chao Wang, Fabio Somenzi
2005	B	`conf`	Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination. LPAR Chao Wang, Franjo Ivancic, Malay K. Ganai, Aarti Gupta
2005	C	`conf`	Model Checking C Programs Using F-SOFT. ICCD Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang
2004	C	`conf`	Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking. ICCD Chao Wang, Gary D. Hachtel, Fabio Somenzi
2004	A*	`conf`	Refining the SAT decision ordering for bounded model checking. DAC Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
2003	—	`conf`	A satisfiability-based approach to abstraction refinement in model checking. BMC@CAV Bing Li, Chao Wang, Fabio Somenzi
2003	A*	`conf`	Abstraction and BDDs Complement SAT-Based BMC in DiVer. CAV Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar
2003	A	`conf`	Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. ICCAD Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
2003	A*	`conf`	Learning from BDDs in SAT-based bounded model checking. DAC Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar
2003	A	`conf`	The Compositional Far Side of Image Computation. ICCAD Chao Wang, Gary D. Hachtel, Fabio Somenzi
2002	B	`conf`	Sharp Disjunctive Decomposition for Language Emptiness Checking. FMCAD Chao Wang, Gary D. Hachtel
2001	B	`conf`	Divide and Compose: SCC Refinement for Language Emptiness. CONCUR Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi