Chao Wang

According to our database1, Chao Wang authored at least 95 papers between 2001 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Abstract interpretation under speculative execution.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018
Eliminating Path Redundancy via Postconditioned Symbolic Execution.
IEEE Trans. Software Eng., 2018

Adversarial symbolic execution for detecting concurrency-related cache timing leaks.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

CANAL: a cache timing analysis framework via LLVM transformation.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Datalog-based scalable semantic diffing of concurrent programs.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Eliminating timing side-channel leaks using program repair.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Security by compilation: an automated approach to comprehensive side-channel resistance.
SIGLOG News, 2017

DESCRY: reproducing system-level concurrency failures.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Thread-modular static analysis for relaxed memory models.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Symbolic execution of programmable logic controller code.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Modular verification of interrupt-driven software.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Systematic reduction of GUI test sequences.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

RClassify: classifying race conditions in web applications via deterministic replay.
Proceedings of the 39th International Conference on Software Engineering, 2017

Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited.
Proceedings of the 54th Annual Design Automation Conference, 2017

2016
Static DOM event dependency analysis for testing web applications.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Flow-sensitive composition of thread-modular abstract interpretation.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Synthesizing Runtime Enforcer of Safety Properties Under Burst Error.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Conc-iSE: incremental symbolic execution of concurrent software.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

GUICat: GUI testing as a service.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Round-Up: Runtime Verification of Quasi Linearizability for Concurrent Data Structures.
IEEE Trans. Software Eng., 2015

Explaining Software Failures by Cascade Fault Localization.
ACM Trans. Design Autom. Electr. Syst., 2015

Quantitative Masking Strength: Quantifying the Power Side-Channel Resistance of Software Code.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2015

Shield Synthesis: - Runtime Enforcement for Reactive Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Assertion guided symbolic execution of multithreaded programs.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Dynamic partial order reduction for relaxed memory models.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Postconditioned Symbolic Execution.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

A Synergistic Analysis Method for Explaining Failed Regression Tests.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Dynamic Generation of Likely Invariants for Multithreaded Programs.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
Formal Verification of Software Countermeasures against Side-Channel Attacks.
ACM Trans. Softw. Eng. Methodol., 2014

Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

SMT-Based Verification of Software Countermeasures against Side-Channel Attacks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Abstraction and Mining of Traces to Explain Concurrency Bugs.
Proceedings of the Runtime Verification - 5th International Conference, 2014

Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Runtime prevention of concurrency related type-state violations in multithreaded applications.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

QMS: Evaluating the Side-Channel Resistance of Masked Software from Source Code.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Synthesis of Masking Countermeasures against Side Channel Attacks.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
Verifying a Quantitative Relaxation of Linearizability via Refinement.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

Dynamic Analysis and Debugging of Binary Code for Security Applications.
Proceedings of the Runtime Verification - 4th International Conference, 2013

Round-up: Runtime checking quasi linearizability of concurrent data structures.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

A novel statistical and circuit-based technique for counterfeit detection in existing ICs.
Proceedings of the Great Lakes Symposium on VLSI 2013 (part of ECRC), 2013

An SMT based method for optimizing arithmetic computations in embedded software code.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

Interlocking obfuscation for anti-tamper hardware.
Proceedings of the Cyber Security and Information Intelligence, 2013

2012
Lock Removal for Concurrent Trace Programs.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
Symbolic predictive analysis for concurrent programs.
Formal Asp. Comput., 2011

Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables.
Proceedings of the Runtime Verification - Second International Conference, 2011

On interference abstractions.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Generating Data Race Witnesses by an SMT-Based Analysis.
Proceedings of the NASA Formal Methods, 2011

Predictive analysis for detecting serializability violations through Trace Segmentation.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

BEST: A symbolic testing tool for predicting multi-threaded program failures.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Coverage guided systematic concurrency testing.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search.
Proceedings of the Hardware and Software: Verification and Testing, 2011

2010
Trace-Based Symbolic Analysis for Atomicity Violations.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Staged concurrent program analysis.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs.
Proceedings of the Runtime Verification - First International Conference, 2010

Efficient state space exploration: Interleaving stateless and state-based model checking.
Proceedings of the 2010 International Conference on Computer-Aided Design, 2010

Scalable and precise program analysis at NEC.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Contessa: Concurrency Testing Augmented with Symbolic Analysis.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Model checking sequential software programs via mixed symbolic analysis.
ACM Trans. Design Autom. Electr. Syst., 2009

Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis.
Proceedings of the Model Checking Software, 2009

Symbolic pruning of concurrent program executions.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Symbolic Predictive Analysis for Concurrent Programs.
Proceedings of the FM 2009: Formal Methods, 2009

Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
Peephole Partial Order Reduction.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Modular verification of web services using efficient symbolic encoding and summarization.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions.
Proceedings of the Automated Technology for Verification and Analysis, 2008

2007
Disjunctive image computation for software verification.
ACM Trans. Design Autom. Electr. Syst., 2007

Hybrid CEGAR: combining variable hiding and predicate abstraction.
Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

Induction in CEGAR for Detecting Counterexamples.
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
Abstraction Refinement for Large Scale Model Checking
Series on Integrated Circuits and Systems, Springer, ISBN: 978-0-387-34600-7, 2006

Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2006

Compositional SCC Analysis for Language Emptiness.
Formal Methods in System Design, 2006

SAT-Based Verification Methods and Applications in Hardware Verification.
Proceedings of the Formal Methods for Hardware Verification, 2006

Mixed symbolic representations for model checking software programs.
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

Disjunctive image computation for embedded software verification.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Predicate learning and selective theory deduction for a difference logic solver.
Proceedings of the 43rd Design Automation Conference, 2006

Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

Whodunit? Causal Analysis for Counterexamples.
Proceedings of the Automated Technology for Verification and Analysis, 2006

2005
Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure.
STTT, 2005

Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination.
Proceedings of the Logic for Programming, 2005

Model Checking C Programs Using F-SOFT.
Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

2004
Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking.
Proceedings of the 22nd IEEE International Conference on Computer Design: VLSI in Computers & Processors (ICCD 2004), 2004

Refining the SAT decision ordering for bounded model checking.
Proceedings of the 41th Design Automation Conference, 2004

2003
A satisfiability-based approach to abstraction refinement in model checking.
Electr. Notes Theor. Comput. Sci., 2003

Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement.
Proceedings of the 2003 International Conference on Computer-Aided Design, 2003

The Compositional Far Side of Image Computation.
Proceedings of the 2003 International Conference on Computer-Aided Design, 2003

Learning from BDDs in SAT-based bounded model checking.
Proceedings of the 40th Design Automation Conference, 2003

Abstraction and BDDs Complement SAT-Based BMC in DiVer.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002
Sharp Disjunctive Decomposition for Language Emptiness Checking.
Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2001
Divide and Compose: SCC Refinement for Language Emptiness.
Proceedings of the CONCUR 2001, 2001


  Loading...