Travelled to:1 × Canada
1 × Chile
1 × Cyprus
1 × Hungary
1 × Ireland
1 × Korea
1 × South Korea
1 × Sweden
2 × Austria
2 × China
2 × Germany
2 × The Netherlands
2 × United Kingdom
21 × USA
3 × France
3 × Italy
Collaborated with:A.Gupta M.Kusano M.K.Ganai Z.Yang V.Kahlon H.Eldib N.Sinha L.Zhang S.Guo F.Ivancic S.Parthasarathy A.Chattopadhyay P.Schaumont S.Kundu K.Hoang Y.Liu S.Ma P.Ashar Q.Yi J.Liu C.Zhao X.Li X.Zhou S.Khoshnood N.Zhang K.Zhou J.Nie K.W.Tan H.C.Lau M.Said H.Lu Y.Chen M.Zhang R.Bloem B.Könighofer R.Könighofer M.M.I.Taha W.Ruan Y.Liu M.F.Spear L.Yu L.Liu T.Chen R.Limaye S.Chaudhuri Y.Yang F.Yu T.Bultan H.Jin G.D.Hachtel F.Somenzi L.Cheng J.Chang B.Paulsen C.Sung P.A.H.Peterson C.Enea S.O.Mutluergil G.Petri N.Arora G.Balakrishnan H.Jain I.Shlyakhter R.Jin D.Polshakov G.Agrawal M.Wang D.Edge S.Gulwani N.Milic-Frayling M.Raza R.A.Saputra K.Yatani M.Zheng J.Qian K.Zhang S.Wang X.Xiong Y.Xu W.Zhang X.Dai D.Zhang S.L.Scott C.Engelmann G.Vallée T.Naughton A.Tikotekar G.Ostrouchov C.Leangsuksun N.Naksinehaboon R.Nassar M.Paun F.Müller A.B.Nagarajan J.Varma
Talks about:concurr (13) symbol (10) program (8) model (8) base (7) analysi (6) order (6) softwar (5) partial (5) reduct (5)
Person: Chao Wang
DBLP: Wang:Chao
Contributed to:
2015
2015
2015
2015
2015
2015
2015
2015
2015
2014
2014
2014
201420142014
20142013
20132013
20122012
201220112011
20112010
2010201020092009
2009
20092008
2008200820072006200620062006
2006
20062005200420032003201620192019Wrote 53 papers:
- CHI-2015-EdgeGMRSWY #editing
- Mixed-Initiative Approaches to Global Editing in Slideware (DE, SG, NMF, MR, RAS, CW, KY), pp. 3503–3512.
- DATE-2015-WangLZ #big data #named
- SODA: software defined FPGA based accelerators for big data (CW, XL, XZ), pp. 884–887.
- ESEC-FSE-2015-GuoKWYG #execution #parallel #source code #symbolic computation #thread
- Assertion guided symbolic execution of multithreaded programs (SG, MK, CW, ZY, AG), pp. 854–865.
- ICSE-v1-2015-KusanoCW #generative #invariant #parallel #source code #thread
- Dynamic Generation of Likely Invariants for Multithreaded Programs (MK, AC, CW), pp. 835–846.
- ICSE-v1-2015-YiYLZW #analysis #testing
- A Synergistic Analysis Method for Explaining Failed Regression Tests (QY, ZY, JL, CZ, CW), pp. 257–267.
- ICST-2015-YiYGWLZ #execution #symbolic computation
- Postconditioned Symbolic Execution (QY, ZY, SG, CW, JL, CZ), pp. 1–10.
- ISSTA-2015-KhoshnoodKW #concurrent #constraints #debugging #named #theorem proving
- ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs (SK, MK, CW), pp. 165–176.
- PLDI-2015-ZhangKW #memory management #modelling #partial order #reduction
- Dynamic partial order reduction for relaxed memory models (NZ, MK, CW), pp. 250–259.
- SIGIR-2015-WangLWZNM #behaviour #modelling
- Incorporating Non-sequential Behavior into Click Models (CW, YL, MW, KZ, JYN, SM), pp. 283–292.
- TACAS-2015-BloemKKW #runtime #synthesis
- Shield Synthesis: — Runtime Enforcement for Reactive Systems (RB, BK, RK, CW), pp. 533–548.
- ASE-2014-KusanoW #abstraction #optimisation #partial order #reduction
- Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction (MK, CW), pp. 175–186.
- CAV-2014-EldibW #synthesis
- Synthesis of Masking Countermeasures against Side Channel Attacks (HE, CW), pp. 114–130.
- CIKM-2014-LiuWZNZM #web
- From Skimming to Reading: A Two-stage Examination Model for Web Search (YL, CW, KZ, JYN, MZ, SM), pp. 849–858.
- DAC-2014-EldibWTS #named #source code
- QMS: Evaluating the Side-Channel Resistance of Masked Software from Source Code (HE, CW, MMIT, PS), p. 6.
- ISSTA-2014-ZhangW #concurrent #parallel #runtime #thread
- Runtime prevention of concurrency related type-state violations in multithreaded applications (LZ, CW), pp. 1–12.
- TACAS-2014-EldibWS #smt #verification
- SMT-Based Verification of Software Countermeasures against Side-Channel Attacks (HE, CW, PS), pp. 62–77.
- VMCAI-2014-WangH #concurrent #reachability
- Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability (CW, KH), pp. 376–394.
- ASE-2013-KusanoW #c #c++ #concurrent #generative #named #parallel #thread
- CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications (MK, CW), pp. 722–725.
- ASE-2013-ZhangCW #concurrent #data type #named #runtime
- Round-up: Runtime checking quasi linearizability of concurrent data structures (LZ, AC, CW), pp. 4–14.
- CGO-2013-RuanLWS #framework #on the #platform
- On the platform specificity of STM instrumentation mechanisms (WR, YL, CW, MFS), p. 10.
- SIGIR-2013-WangLZMZQZ #modelling
- Incorporating vertical results into search click models (CW, YL, MZ, SM, MZ, JQ, KZ), pp. 503–512.
- CASE-2012-TanWL #queue
- Improving patient flow in emergency department through dynamic priority queue (KWT, CW, HCL), pp. 125–130.
- CAV-2012-KahlonW #concurrent #source code
- Lock Removal for Concurrent Trace Programs (VK, CW), pp. 227–242.
- PDP-2012-WangYLC #migration #predict
- Packet Triggered Prediction Based Task Migration for Network-on-Chip (CW, LY, LL, TC), pp. 491–498.
- ASE-2011-GanaiAWGB #concurrent #multi #named #predict #testing #thread
- BEST: A symbolic testing tool for predicting multi-threaded program failures (MKG, NA, CW, AG, GB), pp. 596–599.
- ICSE-2011-WangSG #concurrent #testing
- Coverage guided systematic concurrency testing (CW, MS, AG), pp. 221–230.
- POPL-2011-SinhaW #abstraction #on the
- On interference abstractions (NS, CW), pp. 423–434.
- CAV-2010-KahlonW #concurrent #debugging #detection #graph #precise #source code
- Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs (VK, CW), pp. 434–449.
- CAV-2010-KunduGW #analysis #concurrent #named #testing
- Contessa: Concurrency Testing Augmented with Symbolic Analysis (SK, MKG, CW), pp. 127–131.
- FSE-2010-SinhaW #concurrent #program analysis #staged
- Staged concurrent program analysis (NS, CW), pp. 47–56.
- TACAS-2010-WangLGG #analysis
- Trace-Based Symbolic Analysis for Atomicity Violations (CW, RL, MKG, AG), pp. 328–342.
- CAV-2009-KahlonWG #partial order #reduction
- Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique (VK, CW, AG), pp. 398–413.
- ESEC-FSE-2009-WangCGY #concurrent
- Symbolic pruning of concurrent program executions (CW, SC, AG, YY), pp. 23–32.
- FM-2009-WangKGG #analysis #concurrent #predict #source code
- Symbolic Predictive Analysis for Concurrent Programs (CW, SK, MKG, AG), pp. 256–272.
- PPoPP-2009-ScottEVNTOLNNPMWNV #approach
- A tunable holistic resiliency approach for high-performance computing systems (SLS, CE, GV, TN, AT, GO, CL, NN, RN, MP, FM, CW, ABN, JV), pp. 305–306.
- FSE-2008-YuWGB #composition #encoding #performance #summary #using #verification #web #web service
- Modular verification of web services using efficient symbolic encoding and summarization (FY, CW, AG, TB), pp. 192–202.
- ICPR-2008-LuWC
- Gaze tracking by Binocular Vision and LBP features (HL, CW, YWC), pp. 1–4.
- TACAS-2008-WangYKG #partial order #reduction
- Peephole Partial Order Reduction (CW, ZY, VK, AG), pp. 382–396.
- CAV-2007-WangYGI #precise #reachability #using
- Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra (CW, ZY, AG, FI), pp. 352–365.
- CAV-2006-JainIGSW #abstraction #invariant #refinement #using
- Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop (HJ, FI, AG, IS, CW), pp. 137–151.
- CHI-2006-WangXXWZDZ #game studies #video
- Face-tracking as an augmented input in video games: enhancing presence, role-playing and control (SW, XX, YX, CW, WZ, XD, DZ), pp. 1097–1106.
- DAC-2006-WangGG #deduction #difference #learning #logic
- Predicate learning and selective theory deduction for a difference logic solver (CW, AG, MKG), pp. 235–240.
- DATE-2006-WangYIG #embedded #image #verification
- Disjunctive image computation for embedded software verification (CW, ZY, FI, AG), pp. 1205–1210.
- KDD-2006-WangP #modelling #probability #using
- Summarizing itemset patterns using probabilistic models (CW, SP), pp. 730–735.
- SFM-2006-GuptaGW #hardware #satisfiability #verification
- SAT-Based Verification Methods and Applications in Hardware Verification (AG, MKG, CW), pp. 108–143.
- KDD-2005-JinWPPA #dataset #graph
- Discovering frequent topological structures from graph datasets (RJ, CW, DP, SP, GA), pp. 606–611.
- DAC-2004-WangJHS #bound #model checking #satisfiability
- Refining the SAT decision ordering for bounded model checking (CW, HJ, GDH, FS), pp. 535–538.
- CAV-2003-GuptaGWYA #abstraction #satisfiability
- Abstraction and BDDs Complement SAT-Based BMC in DiVer (AG, MKG, CW, ZY, PA), pp. 206–209.
- DAC-2003-GuptaGWYA #bound #learning #model checking #satisfiability
- Learning from BDDs in SAT-based bounded model checking (AG, MKG, CW, ZY, PA), pp. 824–829.
- ASE-2016-ChengCYW #as a service #named #testing #user interface
- GUICat: GUI testing as a service (LC, JC, ZY, CW), pp. 858–863.
- ASE-2016-GuoKW #concurrent #execution #incremental #named #symbolic computation
- Conc-iSE: incremental symbolic execution of concurrent software (SG, MK, CW), pp. 531–542.
- ASE-2019-PaulsenSPW #named #static analysis
- Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation (BP, CS, PAHP, CW), pp. 899–911.
- PLDI-2019-WangEMP
- Replication-aware linearizability (CW, CE, SOM, GP), pp. 980–993.