Chao Wang

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 72

Top Venues

Publications

Zunchen Huang, Chao Wang
Constraint Based Program Repair for Persistent Memory Bugs. ICSE (2024)
Yannan Li, Jingbo Wang, Chao Wang
Certifying the Fairness of KNN in the Presence of Dataset Bias. CoRR (2023)
Yannan Li, Chao Wang
Constraint Based Compiler Optimization for Energy Harvesting Applications. ECOOP (2023)
Yannan Li, Jingbo Wang, Chao Wang
Systematic Testing of the Data-Poisoning Robustness of KNN. CoRR (2023)
Yannan Li, Jingbo Wang, Chao Wang
Certifying the Fairness of KNN in the Presence of Dataset Bias. CAV (2) (2023)
Jingbo Wang, Aarti Gupta, Chao Wang
Synthesizing MILP Constraints for Efficient and Robust Optimization. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Yannan Li, Jingbo Wang, Chao Wang
Systematic Testing of the Data-Poisoning Robustness of KNN. ISSTA (2023)
Zunchen Huang, Chao Wang
Symbolic Predictive Cache Analysis for Out-of-Order Execution. FASE (2022)
Jingbo Wang, Yannan Li, Chao Wang
Synthesizing Fair Decision Trees via Iterative Constraint Solving. CAV (2) (2022)
Brandon Paulsen, Chao Wang
LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions. TACAS (1) (2022)
Zunchen Huang, Shengjian Guo, Meng Wu, Chao Wang
Understanding Concurrency Vulnerabilities in Linux Kernel. CoRR (2022)
Brandon Paulsen, Chao Wang
Example Guided Synthesis of Linear Approximations for Neural Network Verification. CAV (1) (2022)
Yannan Li, Jingbo Wang, Chao Wang
Proving Robustness of KNN Against Adversarial Data Poisoning. FMCAD (2022)
Brandon Paulsen, Chao Wang
LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions. CoRR (2022)
Sara Mohammadinejad, Brandon Paulsen, Jyotirmoy V. Deshmukh, Chao Wang
DiffRNN: Differential Verification of Recurrent Neural Networks. FORMATS (2021)
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)
Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang
NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation. CoRR (2020)
Brandon Paulsen, Jingbo Wang, Chao Wang
ReluDiff: differential verification of deep neural networks. ICSE (2020)
Sara Mohammadinejad, Brandon Paulsen, Chao Wang, Jyotirmoy V. Deshmukh
DiffRNN: Differential Verification of Recurrent Neural Networks. CoRR (2020)
Brandon Paulsen, Jingbo Wang, Chao Wang
ReluDiff: Differential Verification of Deep Neural Networks. CoRR (2020)
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)
Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang
NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation. ASE (2020)
Tingting Yu, Zunchen Huang, Chao Wang
ConTesa: Directed Test Suite Augmentation for Concurrent Software. IEEE Trans. Software Eng. 46 (4) (2020)
Meng Wu, Chao Wang
Abstract interpretation under speculative execution. PLDI (2019)
Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems. FMCAD (2019)
Jingbo Wang, Chungha Sung, Chao Wang
Mitigating Power Side Channels during Compilation. CoRR (2019)
Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems. CoRR (2019)
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) (2019)
Jingbo Wang, Chungha Sung, Chao Wang
Mitigating power side channels during compilation. ESEC/SIGSOFT FSE (2019)
Brandon Paulsen, Chungha Sung, Peter A. H. Peterson, Chao Wang
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation. CoRR (2019)
Brandon Paulsen, Chungha Sung, Peter A. H. Peterson, Chao Wang
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation. ASE (2019)
Meng Wu, Chao Wang
Abstract Interpretation under Speculative Execution. CoRR (2019)
Jun Zhang, Pengfei Gao, Fu Song, Chao Wang
SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks. CAV (2) (2018)
Chungha Sung, Brandon Paulsen, Chao Wang
CANAL: A Cache Timing Analysis Framework via LLVM Transformation. CoRR (2018)
Shengjian Guo, Meng Wu, Chao Wang
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks. CoRR (2018)
Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang
Datalog-based Scalable Semantic Diffing of Concurrent Programs. CoRR (2018)
Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang
Eliminating timing side-channel leaks using program repair. ISSTA (2018)
Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang
Datalog-based scalable semantic diffing of concurrent programs. ASE (2018)
Chungha Sung, Brandon Paulsen, Chao Wang
CANAL: a cache timing analysis framework via LLVM transformation. ASE (2018)
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) (2018)
Shengjian Guo, Meng Wu, Chao Wang
Adversarial symbolic execution for detecting concurrency-related cache timing leaks. ESEC/SIGSOFT FSE (2018)
Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang
Eliminating Timing Side-Channel Leaks using Program Repair. CoRR (2018)
Chungha Sung, Markus Kusano, Chao Wang
Modular verification of interrupt-driven software. ASE (2017)
Tingting Yu, Tarannum S. Zaman, Chao Wang
DESCRY: reproducing system-level concurrency failures. ESEC/SIGSOFT FSE (2017)
Markus Kusano, Chao Wang
Thread-Modular Static Analysis for Relaxed Memory Models. CoRR (2017)
Chao Wang, Patrick Schaumont
Security by compilation: an automated approach to comprehensive side-channel resistance. ACM SIGLOG News 4 (2) (2017)
Chungha Sung, Markus Kusano, Chao Wang
Modular Verification of Interrupt-Driven Software. CoRR (2017)
Shengjian Guo, Meng Wu, Chao Wang
Symbolic execution of programmable logic controller code. ESEC/SIGSOFT FSE (2017)
Markus Kusano, Chao Wang
Flow-Sensitive Composition of Thread-Modular Abstract Interpretation. CoRR (2017)
Meng Wu, Haibo Zeng, Chao Wang, Huafeng Yu
Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited. DAC (2017)
Markus Kusano, Chao Wang
Thread-modular static analysis for relaxed memory models. ESEC/SIGSOFT FSE (2017)
Lin Cheng, Zijiang Yang, Chao Wang
Systematic reduction of GUI test sequences. ASE (2017)
Lu Zhang, Chao Wang
RClassify: classifying race conditions in web applications via deterministic replay. ICSE (2017)
Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher
Abstraction and mining of traces to explain concurrency bugs. Formal Methods Syst. Des. 49 (1-2) (2016)
Markus Kusano, Chao Wang
Flow-sensitive composition of thread-modular abstract interpretation. SIGSOFT FSE (2016)
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) (2016)
Shengjian Guo, Markus Kusano, Chao Wang
Conc-iSE: incremental symbolic execution of concurrent software. ASE (2016)
Chungha Sung, Markus Kusano, Nishant Sinha, Chao Wang
Static DOM event dependency analysis for testing web applications. SIGSOFT FSE (2016)
Lin Cheng, Jialiang Chang, Zijiang Yang, Chao Wang
GUICat: GUI testing as a service. ASE (2016)
Meng Wu, Haibo Zeng, Chao Wang
Synthesizing Runtime Enforcer of Safety Properties Under Burst Error. NFM (2016)
Hassan Eldib, Meng Wu, Chao Wang
Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits. CAV (2) (2016)
Naling Zhang, Markus Kusano, Chao Wang
Dynamic partial order reduction for relaxed memory models. PLDI (2015)
Markus Kusano, Arijit Chattopadhyay, Chao Wang
Dynamic Generation of Likely Invariants for Multithreaded Programs. ICSE (1) (2015)
Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, Aarti Gupta
Assertion guided symbolic execution of multithreaded programs. ESEC/SIGSOFT FSE (2015)
Sepideh Khoshnood, Markus Kusano, Chao Wang
ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs. ISSTA (2015)
Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang
A Synergistic Analysis Method for Explaining Failed Regression Tests. ICSE (1) (2015)
Roderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang
Shield Synthesis: Runtime Enforcement for Reactive Systems. CoRR (2015)
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) (2015)
Lu Zhang, Arijit Chattopadhyay, Chao Wang
Round-Up: Runtime Verification of Quasi Linearizability for Concurrent Data Structures. IEEE Trans. Software Eng. 41 (12) (2015)
Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao
Postconditioned Symbolic Execution. ICST (2015)
Roderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang
Shield Synthesis: - Runtime Enforcement for Reactive Systems. TACAS (2015)
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) (2015)
Chao Wang, Kevin Hoang
Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability. VMCAI (2014)
Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher
Abstraction and Mining of Traces to Explain Concurrency Bugs. RV (2014)
Hassan Eldib, Chao Wang, Patrick Schaumont
Formal Verification of Software Countermeasures against Side-Channel Attacks. ACM Trans. Softw. Eng. Methodol. 24 (2) (2014)
Hassan Eldib, Chao Wang, Patrick Schaumont
SMT-Based Verification of Software Countermeasures against Side-Channel Attacks. TACAS (2014)
Hassan Eldib, Chao Wang, Mostafa M. I. Taha, Patrick Schaumont
QMS: Evaluating the Side-Channel Resistance of Masked Software from Source Code. DAC (2014)
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) (2014)
Hassan Eldib, Chao Wang
Synthesis of Masking Countermeasures against Side Channel Attacks. CAV (2014)
Lu Zhang, Chao Wang
Runtime prevention of concurrency related type-state violations in multithreaded applications. ISSTA (2014)
Markus Kusano, Chao Wang
Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction. ASE (2014)
Hassan Eldib, Chao Wang
An SMT based method for optimizing arithmetic computations in embedded software code. FMCAD (2013)
Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shao Jie Zhang
Verifying a Quantitative Relaxation of Linearizability via Refinement. SPIN (2013)
Lu Zhang, Arijit Chattopadhyay, Chao Wang
Round-up: Runtime checking quasi linearizability of concurrent data structures. ASE (2013)
Lixin Li, Chao Wang
Dynamic Analysis and Debugging of Binary Code for Security Applications. RV (2013)
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)
Markus Kusano, Chao Wang
CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications. ASE (2013)
Avinash R. Desai, Michael S. Hsiao, Chao Wang, Leyla Nazhandali, T. Simin Hall
Interlocking obfuscation for anti-tamper hardware. CSIIRW (2013)
Vineet Kahlon, Chao Wang
Lock Removal for Concurrent Trace Programs. CAV (2012)
Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, Gogul Balakrishnan
BEST: A symbolic testing tool for predicting multi-threaded program failures. ASE (2011)
Chao Wang, Sudipta Kundu, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta
Symbolic predictive analysis for concurrent programs. Formal Aspects Comput. 23 (6) (2011)
Arnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta
Predictive analysis for detecting serializability violations through Trace Segmentation. MEMOCODE (2011)
Mahmoud Said, Chao Wang, Zijiang Yang, Karem A. Sakallah
Generating Data Race Witnesses by an SMT-Based Analysis. NASA Formal Methods (2011)
Chao Wang, Mahmoud Said, Aarti Gupta
Coverage guided systematic concurrency testing. ICSE (2011)
Arnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta
Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search. Haifa Verification Conference (2011)
Nishant Sinha, Chao Wang
On interference abstractions. POPL (2011)
Chao Wang, Malay K. Ganai
Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables. RV (2011)
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)
Malay K. Ganai, Chao Wang, Weihong Li
Efficient state space exploration: Interleaving stateless and state-based model checking. ICCAD (2010)
Sudipta Kundu, Malay K. Ganai, Chao Wang
Contessa: Concurrency Testing Augmented with Symbolic Analysis. CAV (2010)

Chao Wang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Chao Wang