Chao Wang
Titel
Citeras av
Citeras av
År
Monotonic partial order reduction: An optimal symbolic partial order reduction technique
V Kahlon, C Wang, A Gupta
International Conference on Computer Aided Verification, 398-413, 2009
1202009
Model checking C programs using F-Soft
F Ivancic, I Shlyakhter, A Gupta, MK Ganai, V Kahlon, C Wang, Z Yang
2005 International Conference on Computer Design, 297-308, 2005
1142005
Universal causality graphs: A precise happens-before model for detecting bugs in concurrent programs
V Kahlon, C Wang
International Conference on Computer Aided Verification, 434-449, 2010
102*2010
Peephole partial order reduction
C Wang, Z Yang, V Kahlon, A Gupta
International Conference on Tools and Algorithms for the Construction and …, 2008
1022008
Symbolic predictive analysis for concurrent programs
C Wang, S Kundu, M Ganai, A Gupta
International Symposium on Formal Methods, 256-272, 2009
1012009
Coverage guided systematic concurrency testing
C Wang, M Said, A Gupta
Proceedings of the 33rd International Conference on Software Engineering …, 2011
942011
Generating data race witnesses by an SMT-based analysis
M Said, C Wang, Z Yang, K Sakallah
NASA Formal Methods Symposium, 313-327, 2011
812011
Trace-based symbolic analysis for atomicity violations
C Wang, R Limaye, M Ganai, A Gupta
International Conference on Tools and Algorithms for the Construction and …, 2010
802010
Dynamic partial order reduction for relaxed memory models
N Zhang, M Kusano, C Wang
ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
732015
Learning from BDDs in SAT-based bounded model checking
A Gupta, M Ganai, C Wang, Z Yang, P Ashar
Proceedings of the 40th annual Design Automation Conference, 824-829, 2003
652003
Staged concurrent program analysis
N Sinha, C Wang
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
632010
Shield synthesis: runtime enforcement for reactive systems
R Bloem, B Konighofer, R Konighofer, C Wang
International Conference on Tools and Algorithms for Construction and …, 2015
602015
On interference abstractions
N Sinha, C Wang
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 46 (1 …, 2011
602011
Symbolic pruning of concurrent program executions
C Wang, S Chaudhuri, A Gupta, Y Yang
Proceedings of the the 7th joint meeting of the European software …, 2009
552009
Synthesis of masking countermeasures against side channel attacks
H Eldib, C Wang
International Conference on Computer Aided Verification, 2014
542014
Deciding separation logic formulae by SAT and incremental negative cycle elimination
C Wang, F Ivančić, M Ganai, A Gupta
International Conference on Logic for Programming Artificial Intelligence …, 2005
522005
Using statically computed invariants inside the predicate abstraction and refinement loop
H Jain, F Ivančić, A Gupta, I Shlyakhter, C Wang
International Conference on Computer Aided Verification, 137-151, 2006
512006
ConcBugAssist: Constraint solving for diagnosis and repair of concurrency bugs
S Khoshnood, M Kusano, C Wang
International Symposium on Software Testing and Analysis, 2015
502015
Improving Ariadne's bundle by following multiple threads in abstraction refinement
C Wang, B Li, HS Jin, GD Hachtel, F Somenzi
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006
462006
Whodunit? causal analysis for counterexamples
C Wang, Z Yang, F Ivančić, A Gupta
International Symposium on Automated Technology for Verification and …, 2006
462006
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20