Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Chao Wang 0001
@article{DBLP:journals/pacmpl/WangGW23,
author = {Jingbo Wang and
Aarti Gupta and
Chao Wang},
title = {Synthesizing {MILP} Constraints for Efficient and Robust Optimization},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1896--1919},
year = {2023},
url = {https://doi.org/10.1145/3591298},
doi = {10.1145/3591298},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/WangGW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LiWW23,
author = {Yannan Li and
Jingbo Wang and
Chao Wang},
editor = {Constantin Enea and
Akash Lal},
title = {Certifying the Fairness of {KNN} in the Presence of Dataset Bias},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13965},
pages = {335--357},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37703-7\_16},
doi = {10.1007/978-3-031-37703-7\_16},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cav/LiWW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LiW23,
author = {Yannan Li and
Chao Wang},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Constraint Based Compiler Optimization for Energy Harvesting Applications},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {16:1--16:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.16},
doi = {10.4230/LIPICS.ECOOP.2023.16},
timestamp = {Thu, 24 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/LiW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LiWW23,
author = {Yannan Li and
Jingbo Wang and
Chao Wang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Systematic Testing of the Data-Poisoning Robustness of {KNN}},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1207--1218},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598129},
doi = {10.1145/3597926.3598129},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LiWW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-08288,
author = {Yannan Li and
Jingbo Wang and
Chao Wang},
title = {Systematic Testing of the Data-Poisoning Robustness of {KNN}},
journal = {CoRR},
volume = {abs/2307.08288},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.08288},
doi = {10.48550/ARXIV.2307.08288},
eprinttype = {arXiv},
eprint = {2307.08288},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-08288.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-08722,
author = {Yannan Li and
Jingbo Wang and
Chao Wang},
title = {Certifying the Fairness of {KNN} in the Presence of Dataset Bias},
journal = {CoRR},
volume = {abs/2307.08722},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.08722},
doi = {10.48550/ARXIV.2307.08722},
eprinttype = {arXiv},
eprint = {2307.08722},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-08722.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PaulsenW22,
author = {Brandon Paulsen and
Chao Wang},
editor = {Sharon Shoham and
Yakir Vizel},
title = {Example Guided Synthesis of Linear Approximations for Neural Network
Verification},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13371},
pages = {149--170},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13185-1\_8},
doi = {10.1007/978-3-031-13185-1\_8},
timestamp = {Tue, 09 Aug 2022 17:05:51 +0200},
biburl = {https://dblp.org/rec/conf/cav/PaulsenW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/WangLW22,
author = {Jingbo Wang and
Yannan Li and
Chao Wang},
editor = {Sharon Shoham and
Yakir Vizel},
title = {Synthesizing Fair Decision Trees via Iterative Constraint Solving},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13372},
pages = {364--385},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13188-2\_18},
doi = {10.1007/978-3-031-13188-2\_18},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/WangLW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/HuangW22,
author = {Zunchen Huang and
Chao Wang},
editor = {Einar Broch Johnsen and
Manuel Wimmer},
title = {Symbolic Predictive Cache Analysis for Out-of-Order Execution},
booktitle = {Fundamental Approaches to Software Engineering - 25th International
Conference, {FASE} 2022, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2022, Munich, Germany,
April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13241},
pages = {163--183},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99429-7\_10},
doi = {10.1007/978-3-030-99429-7\_10},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/fase/HuangW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LiWW22,
author = {Yannan Li and
Jingbo Wang and
Chao Wang},
editor = {Alberto Griggio and
Neha Rungta},
title = {Proving Robustness of {KNN} Against Adversarial Data Poisoning},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {7--16},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_6},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_6},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/LiWW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WangW22,
author = {Jingbo Wang and
Chao Wang},
title = {Learning to Synthesize Relational Invariants},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {65:1--65:12},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3556942},
doi = {10.1145/3551349.3556942},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/WangW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/PaulsenW22,
author = {Brandon Paulsen and
Chao Wang},
editor = {Dana Fisman and
Grigore Rosu},
title = {LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network
Activation Functions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13243},
pages = {357--376},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99524-9\_19},
doi = {10.1007/978-3-030-99524-9\_19},
timestamp = {Fri, 29 Apr 2022 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/PaulsenW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-13351,
author = {Brandon Paulsen and
Chao Wang},
title = {LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network
Activation Functions},
journal = {CoRR},
volume = {abs/2201.13351},
year = {2022},
url = {https://arxiv.org/abs/2201.13351},
eprinttype = {arXiv},
eprint = {2201.13351},
timestamp = {Wed, 02 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-13351.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-05438,
author = {Zunchen Huang and
Shengjian Guo and
Meng Wu and
Chao Wang},
title = {Understanding Concurrency Vulnerabilities in Linux Kernel},
journal = {CoRR},
volume = {abs/2212.05438},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.05438},
doi = {10.48550/ARXIV.2212.05438},
eprinttype = {arXiv},
eprint = {2212.05438},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-05438.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MohammadinejadP21,
author = {Sara Mohammadinejad and
Brandon Paulsen and
Jyotirmoy V. Deshmukh and
Chao Wang},
editor = {Catalin Dima and
Mahsa Shirmohammadi},
title = {DiffRNN: Differential Verification of Recurrent Neural Networks},
booktitle = {Formal Modeling and Analysis of Timed Systems - 19th International
Conference, {FORMATS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12860},
pages = {117--134},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85037-1\_8},
doi = {10.1007/978-3-030-85037-1\_8},
timestamp = {Tue, 17 Aug 2021 21:08:55 +0200},
biburl = {https://dblp.org/rec/conf/formats/MohammadinejadP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WangSRW21,
author = {Jingbo Wang and
Chungha Sung and
Mukund Raghothaman and
Chao Wang},
title = {Data-Driven Synthesis of Provably Sound Side Channel Analyses},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {810--822},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00079},
doi = {10.1109/ICSE43902.2021.00079},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/WangSRW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-06753,
author = {Jingbo Wang and
Chungha Sung and
Mukund Raghothaman and
Chao Wang},
title = {Data-Driven Synthesis of Provably Sound Side Channel Analyses},
journal = {CoRR},
volume = {abs/2102.06753},
year = {2021},
url = {https://arxiv.org/abs/2102.06753},
eprinttype = {arXiv},
eprint = {2102.06753},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-06753.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YuHW20,
author = {Tingting Yu and
Zunchen Huang and
Chao Wang},
title = {ConTesa: Directed Test Suite Augmentation for Concurrent Software},
journal = {{IEEE} Trans. Software Eng.},
volume = {46},
number = {4},
pages = {405--419},
year = {2020},
url = {https://doi.org/10.1109/TSE.2018.2861392},
doi = {10.1109/TSE.2018.2861392},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/YuHW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SungLKCW20,
author = {Chungha Sung and
Shuvendu K. Lahiri and
Mike Kaufman and
Pallavi Choudhury and
Chao Wang},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Towards understanding and fixing upstream merge induced conflicts
in divergent forks: an industrial case study},
booktitle = {{ICSE-SEIP} 2020: 42nd International Conference on Software Engineering,
Software Engineering in Practice, Seoul, South Korea, 27 June - 19
July, 2020},
pages = {172--181},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377813.3381362},
doi = {10.1145/3377813.3381362},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SungLKCW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SungLKCWW20,
author = {Chungha Sung and
Shuvendu K. Lahiri and
Mike Kaufman and
Pallavi Choudhury and
Jessica Wolk and
Chao Wang},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Towards understanding and fixing upstream merge induced conflicts
in divergent forks: an industrial case study},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020},
pages = {320--321},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377812.3390800},
doi = {10.1145/3377812.3390800},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SungLKCWW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PaulsenWW20,
author = {Brandon Paulsen and
Jingbo Wang and
Chao Wang},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {ReluDiff: differential verification of deep neural networks},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {714--726},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380337},
doi = {10.1145/3377811.3380337},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/PaulsenWW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PaulsenWWW20,
author = {Brandon Paulsen and
Jingbo Wang and
Jiawei Wang and
Chao Wang},
title = {{NEURODIFF:} Scalable Differential Verification of Neural Networks
using Fine-Grained Approximation},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {784--796},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3416560},
doi = {10.1145/3324884.3416560},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/PaulsenWWW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2020-1,
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12224},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53288-8},
doi = {10.1007/978-3-030-53288-8},
isbn = {978-3-030-53287-1},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2020-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2020-2,
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12225},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53291-8},
doi = {10.1007/978-3-030-53291-8},
isbn = {978-3-030-53290-1},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2020-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-03662,
author = {Brandon Paulsen and
Jingbo Wang and
Chao Wang},
title = {ReluDiff: Differential Verification of Deep Neural Networks},
journal = {CoRR},
volume = {abs/2001.03662},
year = {2020},
url = {https://arxiv.org/abs/2001.03662},
eprinttype = {arXiv},
eprint = {2001.03662},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-03662.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-10135,
author = {Sara Mohammadinejad and
Brandon Paulsen and
Chao Wang and
Jyotirmoy V. Deshmukh},
title = {DiffRNN: Differential Verification of Recurrent Neural Networks},
journal = {CoRR},
volume = {abs/2007.10135},
year = {2020},
url = {https://arxiv.org/abs/2007.10135},
eprinttype = {arXiv},
eprint = {2007.10135},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-10135.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-09943,
author = {Brandon Paulsen and
Jingbo Wang and
Jiawei Wang and
Chao Wang},
title = {NeuroDiff: Scalable Differential Verification of Neural Networks using
Fine-Grained Approximation},
journal = {CoRR},
volume = {abs/2009.09943},
year = {2020},
url = {https://arxiv.org/abs/2009.09943},
eprinttype = {arXiv},
eprint = {2009.09943},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-09943.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/GaoZSW19,
author = {Pengfei Gao and
Jun Zhang and
Fu Song and
Chao Wang},
title = {Verifying and Quantifying Side-channel Resistance of Masked Software
Implementations},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {28},
number = {3},
pages = {16:1--16:32},
year = {2019},
url = {https://doi.org/10.1145/3330392},
doi = {10.1145/3330392},
timestamp = {Fri, 23 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/GaoZSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/WuWDW19,
author = {Meng Wu and
Jingbo Wang and
Jyotirmoy Deshmukh and
Chao Wang},
editor = {Clark W. Barrett and
Jin Yang},
title = {Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems},
booktitle = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose,
CA, USA, October 22-25, 2019},
pages = {129--137},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/FMCAD.2019.8894264},
doi = {10.23919/FMCAD.2019.8894264},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/WuWDW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PaulsenSPW19,
author = {Brandon Paulsen and
Chungha Sung and
Peter A. H. Peterson and
Chao Wang},
title = {Debreach: Mitigating Compression Side Channels via Static Analysis
and Transformation},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {899--911},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00088},
doi = {10.1109/ASE.2019.00088},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/PaulsenSPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Wu019,
author = {Meng Wu and
Chao Wang},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Abstract interpretation under speculative execution},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {802--815},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314647},
doi = {10.1145/3314221.3314647},
timestamp = {Sun, 09 Jun 2019 18:52:19 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Wu019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WangSW19,
author = {Jingbo Wang and
Chungha Sung and
Chao Wang},
editor = {Marlon Dumas and
Dietmar Pfahl and
Sven Apel and
Alessandra Russo},
title = {Mitigating power side channels during compilation},
booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
pages = {590--601},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338906.3338913},
doi = {10.1145/3338906.3338913},
timestamp = {Sat, 30 Sep 2023 09:56:36 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/WangSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-09099,
author = {Jingbo Wang and
Chungha Sung and
Chao Wang},
title = {Mitigating Power Side Channels during Compilation},
journal = {CoRR},
volume = {abs/1902.09099},
year = {2019},
url = {http://arxiv.org/abs/1902.09099},
eprinttype = {arXiv},
eprint = {1902.09099},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-09099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-11170,
author = {Meng Wu and
Chao Wang},
title = {Abstract Interpretation under Speculative Execution},
journal = {CoRR},
volume = {abs/1904.11170},
year = {2019},
url = {http://arxiv.org/abs/1904.11170},
eprinttype = {arXiv},
eprint = {1904.11170},
timestamp = {Thu, 02 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-11170.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-05402,
author = {Meng Wu and
Jingbo Wang and
Jyotirmoy Deshmukh and
Chao Wang},
title = {Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1908.05402},
year = {2019},
url = {http://arxiv.org/abs/1908.05402},
eprinttype = {arXiv},
eprint = {1908.05402},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-05402.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-05977,
author = {Brandon Paulsen and
Chungha Sung and
Peter A. H. Peterson and
Chao Wang},
title = {Debreach: Mitigating Compression Side Channels via Static Analysis
and Transformation},
journal = {CoRR},
volume = {abs/1909.05977},
year = {2019},
url = {http://arxiv.org/abs/1909.05977},
eprinttype = {arXiv},
eprint = {1909.05977},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05977.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/YangLLW18,
author = {Zijiang Yang and
Ting Liu and
Daniel Xiapu Luo and
Chao Wang},
title = {Guest editorial: special issue on concurrent software quality},
journal = {Softw. Qual. J.},
volume = {26},
number = {3},
pages = {851--853},
year = {2018},
url = {https://doi.org/10.1007/s11219-018-9415-9},
doi = {10.1007/S11219-018-9415-9},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sqj/YangLLW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YiYGWLZ18,
author = {Qiuping Yi and
Zijiang Yang and
Shengjian Guo and
Chao Wang and
Jian Liu and
Chen Zhao},
title = {Eliminating Path Redundancy via Postconditioned Symbolic Execution},
journal = {{IEEE} Trans. Software Eng.},
volume = {44},
number = {1},
pages = {25--43},
year = {2018},
url = {https://doi.org/10.1109/TSE.2017.2659751},
doi = {10.1109/TSE.2017.2659751},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/YiYGWLZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZhangGSW18,
author = {Jun Zhang and
Pengfei Gao and
Fu Song and
Chao Wang},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {SCInfer: Refinement-Based Verification of Software Countermeasures
Against Side-Channel Attacks},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {157--177},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_12},
doi = {10.1007/978-3-319-96142-2\_12},
timestamp = {Fri, 09 Apr 2021 18:35:26 +0200},
biburl = {https://dblp.org/rec/conf/cav/ZhangGSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WuGS018,
author = {Meng Wu and
Shengjian Guo and
Patrick Schaumont and
Chao Wang},
editor = {Frank Tip and
Eric Bodden},
title = {Eliminating timing side-channel leaks using program repair},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {15--26},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213851},
doi = {10.1145/3213846.3213851},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/WuGS018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SungLEW18,
author = {Chungha Sung and
Shuvendu K. Lahiri and
Constantin Enea and
Chao Wang},
editor = {Marianne Huchard and
Christian K{\"{a}}stner and
Gordon Fraser},
title = {Datalog-based scalable semantic diffing of concurrent programs},
booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
2018},
pages = {656--666},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3238147.3238211},
doi = {10.1145/3238147.3238211},
timestamp = {Thu, 23 Jun 2022 19:54:17 +0200},
biburl = {https://dblp.org/rec/conf/kbse/SungLEW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SungPW18,
author = {Chungha Sung and
Brandon Paulsen and
Chao Wang},
editor = {Marianne Huchard and
Christian K{\"{a}}stner and
Gordon Fraser},
title = {{CANAL:} a cache timing analysis framework via {LLVM} transformation},
booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
2018},
pages = {904--907},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3238147.3240485},
doi = {10.1145/3238147.3240485},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SungPW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GuoWW18,
author = {Shengjian Guo and
Meng Wu and
Chao Wang},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Adversarial symbolic execution for detecting concurrency-related cache
timing leaks},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {377--388},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236028},
doi = {10.1145/3236024.3236028},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/GuoWW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2018,
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Automated Technology for Verification and Analysis - 16th International
Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11138},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4},
doi = {10.1007/978-3-030-01090-4},
isbn = {978-3-030-01089-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-02444,
author = {Meng Wu and
Shengjian Guo and
Patrick Schaumont and
Chao Wang},
title = {Eliminating Timing Side-Channel Leaks using Program Repair},
journal = {CoRR},
volume = {abs/1806.02444},
year = {2018},
url = {http://arxiv.org/abs/1806.02444},
eprinttype = {arXiv},
eprint = {1806.02444},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-02444.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-03280,
author = {Shengjian Guo and
Meng Wu and
Chao Wang},
title = {Adversarial Symbolic Execution for Detecting Concurrency-Related Cache
Timing Leaks},
journal = {CoRR},
volume = {abs/1807.03280},
year = {2018},
url = {http://arxiv.org/abs/1807.03280},
eprinttype = {arXiv},
eprint = {1807.03280},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-03280.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-03329,
author = {Chungha Sung and
Brandon Paulsen and
Chao Wang},
title = {{CANAL:} {A} Cache Timing Analysis Framework via {LLVM} Transformation},
journal = {CoRR},
volume = {abs/1807.03329},
year = {2018},
url = {http://arxiv.org/abs/1807.03329},
eprinttype = {arXiv},
eprint = {1807.03329},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-03329.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-03777,
author = {Chungha Sung and
Shuvendu K. Lahiri and
Constantin Enea and
Chao Wang},
title = {Datalog-based Scalable Semantic Diffing of Concurrent Programs},
journal = {CoRR},
volume = {abs/1807.03777},
year = {2018},
url = {http://arxiv.org/abs/1807.03777},
eprinttype = {arXiv},
eprint = {1807.03777},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-03777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KonighoferABHKT17,
author = {Bettina K{\"{o}}nighofer and
Mohammed Alshiekh and
Roderick Bloem and
Laura R. Humphrey and
Robert K{\"{o}}nighofer and
Ufuk Topcu and
Chao Wang},
title = {Shield synthesis},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {2},
pages = {332--361},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0276-9},
doi = {10.1007/S10703-017-0276-9},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/KonighoferABHKT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/WangS17,
author = {Chao Wang and
Patrick Schaumont},
title = {Security by compilation: an automated approach to comprehensive side-channel
resistance},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {2},
pages = {76--89},
year = {2017},
url = {https://doi.org/10.1145/3090064.3090071},
doi = {10.1145/3090064.3090071},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/WangS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WuZWY17,
author = {Meng Wu and
Haibo Zeng and
Chao Wang and
Huafeng Yu},
title = {Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical
Systems: Invited},
booktitle = {Proceedings of the 54th Annual Design Automation Conference, {DAC}
2017, Austin, TX, USA, June 18-22, 2017},
pages = {84:1--84:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3061639.3072957},
doi = {10.1145/3061639.3072957},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/WuZWY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhangW17,
author = {Lu Zhang and
Chao Wang},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {RClassify: classifying race conditions in web applications via deterministic
replay},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
pages = {278--288},
publisher = {{IEEE} / {ACM}},
year = {2017},
url = {https://doi.org/10.1109/ICSE.2017.33},
doi = {10.1109/ICSE.2017.33},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ZhangW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SungKW17,
author = {Chungha Sung and
Markus Kusano and
Chao Wang},
editor = {Grigore Rosu and
Massimiliano Di Penta and
Tien N. Nguyen},
title = {Modular verification of interrupt-driven software},
booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
03, 2017},
pages = {206--216},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ASE.2017.8115634},
doi = {10.1109/ASE.2017.8115634},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SungKW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ChengYW17,
author = {Lin Cheng and
Zijiang Yang and
Chao Wang},
editor = {Grigore Rosu and
Massimiliano Di Penta and
Tien N. Nguyen},
title = {Systematic reduction of {GUI} test sequences},
booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
03, 2017},
pages = {849--860},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ASE.2017.8115696},
doi = {10.1109/ASE.2017.8115696},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ChengYW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GuoWW17,
author = {Shengjian Guo and
Meng Wu and
Chao Wang},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {Symbolic execution of programmable logic controller code},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {326--336},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3106245},
doi = {10.1145/3106237.3106245},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/GuoWW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KusanoW17,
author = {Markus Kusano and
Chao Wang},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {Thread-modular static analysis for relaxed memory models},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {337--348},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3106243},
doi = {10.1145/3106237.3106243},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KusanoW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/YuZW17,
author = {Tingting Yu and
Tarannum S. Zaman and
Chao Wang},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {{DESCRY:} reproducing system-level concurrency failures},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {694--704},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3106266},
doi = {10.1145/3106237.3106266},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/YuZW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-10077,
author = {Markus Kusano and
Chao Wang},
title = {Thread-Modular Static Analysis for Relaxed Memory Models},
journal = {CoRR},
volume = {abs/1709.10077},
year = {2017},
url = {http://arxiv.org/abs/1709.10077},
eprinttype = {arXiv},
eprint = {1709.10077},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-10077.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-10078,
author = {Chungha Sung and
Markus Kusano and
Chao Wang},
title = {Modular Verification of Interrupt-Driven Software},
journal = {CoRR},
volume = {abs/1709.10078},
year = {2017},
url = {http://arxiv.org/abs/1709.10078},
eprinttype = {arXiv},
eprint = {1709.10078},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-10078.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-10116,
author = {Markus Kusano and
Chao Wang},
title = {Flow-Sensitive Composition of Thread-Modular Abstract Interpretation},
journal = {CoRR},
volume = {abs/1709.10116},
year = {2017},
url = {http://arxiv.org/abs/1709.10116},
eprinttype = {arXiv},
eprint = {1709.10116},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-10116.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BefroueiWW16,
author = {Mitra Tabaei Befrouei and
Chao Wang and
Georg Weissenbacher},
title = {Abstraction and mining of traces to explain concurrency bugs},
journal = {Formal Methods Syst. Des.},
volume = {49},
number = {1-2},
pages = {1--32},
year = {2016},
url = {https://doi.org/10.1007/s10703-015-0240-5},
doi = {10.1007/S10703-015-0240-5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/BefroueiWW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AdhikariSWLZ16,
author = {Kiran Adhikari and
James Street and
Chao Wang and
Yang Liu and
Shao Jie Zhang},
title = {Verifying a quantitative relaxation of linearizability via refinement},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {18},
number = {4},
pages = {393--407},
year = {2016},
url = {https://doi.org/10.1007/s10009-015-0373-2},
doi = {10.1007/S10009-015-0373-2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AdhikariSWLZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EldibWW16,
author = {Hassan Eldib and
Meng Wu and
Chao Wang},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {343--363},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_19},
doi = {10.1007/978-3-319-41540-6\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/EldibWW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GuoKW16,
author = {Shengjian Guo and
Markus Kusano and
Chao Wang},
editor = {David Lo and
Sven Apel and
Sarfraz Khurshid},
title = {Conc-iSE: incremental symbolic execution of concurrent software},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {531--542},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970276.2970332},
doi = {10.1145/2970276.2970332},
timestamp = {Sat, 30 Sep 2023 09:51:40 +0200},
biburl = {https://dblp.org/rec/conf/kbse/GuoKW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ChengCYW16,
author = {Lin Cheng and
Jialiang Chang and
Zijiang Yang and
Chao Wang},
editor = {David Lo and
Sven Apel and
Sarfraz Khurshid},
title = {GUICat: {GUI} testing as a service},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {858--863},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970276.2970294},
doi = {10.1145/2970276.2970294},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ChengCYW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/WuZW16,
author = {Meng Wu and
Haibo Zeng and
Chao Wang},
editor = {Sanjai Rayadurgam and
Oksana Tkachuk},
title = {Synthesizing Runtime Enforcer of Safety Properties Under Burst Error},
booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
MN, USA, June 7-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9690},
pages = {65--81},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40648-0\_6},
doi = {10.1007/978-3-319-40648-0\_6},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/WuZW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SungKS016,
author = {Chungha Sung and
Markus Kusano and
Nishant Sinha and
Chao Wang},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {Static {DOM} event dependency analysis for testing web applications},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {447--459},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2950292},
doi = {10.1145/2950290.2950292},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SungKS016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Kusano016,
author = {Markus Kusano and
Chao Wang},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {Flow-sensitive composition of thread-modular abstract interpretation},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {799--809},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2950291},
doi = {10.1145/2950290.2950291},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Kusano016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/EldibWTS15,
author = {Hassan Eldib and
Chao Wang and
Mostafa M. I. Taha and
Patrick Schaumont},
title = {Quantitative Masking Strength: Quantifying the Power Side-Channel
Resistance of Software Code},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {34},
number = {10},
pages = {1558--1568},
year = {2015},
url = {https://doi.org/10.1109/TCAD.2015.2424951},
doi = {10.1109/TCAD.2015.2424951},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/EldibWTS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/YiYLZW15,
author = {Qiuping Yi and
Zijiang Yang and
Jian Liu and
Chen Zhao and
Chao Wang},
title = {Explaining Software Failures by Cascade Fault Localization},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {20},
number = {3},
pages = {41:1--41:28},
year = {2015},
url = {https://doi.org/10.1145/2738038},
doi = {10.1145/2738038},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/YiYLZW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ZhangCW15,
author = {Lu Zhang and
Arijit Chattopadhyay and
Chao Wang},
title = {Round-Up: Runtime Verification of Quasi Linearizability for Concurrent
Data Structures},
journal = {{IEEE} Trans. Software Eng.},
volume = {41},
number = {12},
pages = {1202--1216},
year = {2015},
url = {https://doi.org/10.1109/TSE.2015.2467371},
doi = {10.1109/TSE.2015.2467371},
timestamp = {Wed, 01 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ZhangCW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/YiYLZW15,
author = {Qiuping Yi and
Zijiang Yang and
Jian Liu and
Chen Zhao and
Chao Wang},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {A Synergistic Analysis Method for Explaining Failed Regression Tests},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {257--267},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.46},
doi = {10.1109/ICSE.2015.46},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/YiYLZW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KusanoCW15,
author = {Markus Kusano and
Arijit Chattopadhyay and
Chao Wang},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Dynamic Generation of Likely Invariants for Multithreaded Programs},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {835--846},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.95},
doi = {10.1109/ICSE.2015.95},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KusanoCW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/YiYGWLZ15,
author = {Qiuping Yi and
Zijiang Yang and
Shengjian Guo and
Chao Wang and
Jian Liu and
Chen Zhao},
title = {Postconditioned Symbolic Execution},
booktitle = {8th {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICST.2015.7102601},
doi = {10.1109/ICST.2015.7102601},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/YiYGWLZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KhoshnoodKW15,
author = {Sepideh Khoshnood and
Markus Kusano and
Chao Wang},
editor = {Michal Young and
Tao Xie},
title = {ConcBugAssist: constraint solving for diagnosis and repair of concurrency
bugs},
booktitle = {Proceedings of the 2015 International Symposium on Software Testing
and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
pages = {165--176},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771783.2771798},
doi = {10.1145/2771783.2771798},
timestamp = {Fri, 05 Nov 2021 10:54:23 +0100},
biburl = {https://dblp.org/rec/conf/issta/KhoshnoodKW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhangKW15,
author = {Naling Zhang and
Markus Kusano and
Chao Wang},
editor = {David Grove and
Stephen M. Blackburn},
title = {Dynamic partial order reduction for relaxed memory models},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {250--259},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737956},
doi = {10.1145/2737924.2737956},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhangKW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GuoKWYG15,
author = {Shengjian Guo and
Markus Kusano and
Chao Wang and
Zijiang Yang and
Aarti Gupta},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {Assertion guided symbolic execution of multithreaded programs},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {854--865},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786841},
doi = {10.1145/2786805.2786841},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/GuoKWYG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BloemKKW15,
author = {Roderick Bloem and
Bettina K{\"{o}}nighofer and
Robert K{\"{o}}nighofer and
Chao Wang},
editor = {Christel Baier and
Cesare Tinelli},
title = {Shield Synthesis: - Runtime Enforcement for Reactive Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {533--548},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_51},
doi = {10.1007/978-3-662-46681-0\_51},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BloemKKW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BloemKKW15,
author = {Roderick Bloem and
Bettina K{\"{o}}nighofer and
Robert K{\"{o}}nighofer and
Chao Wang},
title = {Shield Synthesis: Runtime Enforcement for Reactive Systems},
journal = {CoRR},
volume = {abs/1501.02573},
year = {2015},
url = {http://arxiv.org/abs/1501.02573},
eprinttype = {arXiv},
eprint = {1501.02573},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BloemKKW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/EldibW14,
author = {Hassan Eldib and
Chao Wang},
title = {An {SMT} Based Method for Optimizing Arithmetic Computations in Embedded
Software Code},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {33},
number = {11},
pages = {1611--1622},
year = {2014},
url = {https://doi.org/10.1109/TCAD.2014.2341931},
doi = {10.1109/TCAD.2014.2341931},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/EldibW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/EldibWS14,
author = {Hassan Eldib and
Chao Wang and
Patrick Schaumont},
title = {Formal Verification of Software Countermeasures against Side-Channel
Attacks},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {24},
number = {2},
pages = {11:1--11:24},
year = {2014},
url = {https://doi.org/10.1145/2685616},
doi = {10.1145/2685616},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/EldibWS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EldibW14,
author = {Hassan Eldib and
Chao Wang},
editor = {Armin Biere and
Roderick Bloem},
title = {Synthesis of Masking Countermeasures against Side Channel Attacks},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {114--130},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_8},
doi = {10.1007/978-3-319-08867-9\_8},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/EldibW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/EldibWTS14,
author = {Hassan Eldib and
Chao Wang and
Mostafa M. I. Taha and
Patrick Schaumont},
title = {{QMS:} Evaluating the Side-Channel Resistance of Masked Software from
Source Code},
booktitle = {The 51st Annual Design Automation Conference 2014, {DAC} '14, San
Francisco, CA, USA, June 1-5, 2014},
pages = {209:1--209:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593069.2593193},
doi = {10.1145/2593069.2593193},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/EldibWTS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangW14,
author = {Lu Zhang and
Chao Wang},
editor = {Corina S. Pasareanu and
Darko Marinov},
title = {Runtime prevention of concurrency related type-state violations in
multithreaded applications},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'14, San Jose, CA, {USA} - July 21 - 26, 2014},
pages = {1--12},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2610384.2610405},
doi = {10.1145/2610384.2610405},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/ZhangW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KusanoW14,
author = {Markus Kusano and
Chao Wang},
editor = {Ivica Crnkovic and
Marsha Chechik and
Paul Gr{\"{u}}nbacher},
title = {Assertion guided abstraction: a cooperative optimization for dynamic
partial order reduction},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
pages = {175--186},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642937.2642998},
doi = {10.1145/2642937.2642998},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KusanoW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BefroueiWW14,
author = {Mitra Tabaei Befrouei and
Chao Wang and
Georg Weissenbacher},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Abstraction and Mining of Traces to Explain Concurrency Bugs},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {162--177},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_14},
doi = {10.1007/978-3-319-11164-3\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/BefroueiWW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/EldibWS14,
author = {Hassan Eldib and
Chao Wang and
Patrick Schaumont},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {SMT-Based Verification of Software Countermeasures against Side-Channel
Attacks},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {62--77},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_5},
doi = {10.1007/978-3-642-54862-8\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/EldibWS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WangH14,
author = {Chao Wang and
Kevin Hoang},
editor = {Kenneth L. McMillan and
Xavier Rival},
title = {Precisely Deciding Control State Reachability in Concurrent Traces
with Limited Observability},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International
Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8318},
pages = {376--394},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54013-4\_21},
doi = {10.1007/978-3-642-54013-4\_21},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/WangH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csiirw/DesaiHWNH13,
author = {Avinash R. Desai and
Michael S. Hsiao and
Chao Wang and
Leyla Nazhandali and
T. Simin Hall},
editor = {Frederick T. Sheldon and
Annarita Giani and
Axel W. Krings and
Robert K. Abercrombie},
title = {Interlocking obfuscation for anti-tamper hardware},
booktitle = {Cyber Security and Information Intelligence, {CSIIRW} '13, Oak Ridge,
TN, USA, January 8-10, 2013},
pages = {8},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2459976.2459985},
doi = {10.1145/2459976.2459985},
timestamp = {Mon, 06 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csiirw/DesaiHWNH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/EldibW13,
author = {Hassan Eldib and
Chao Wang},
title = {An {SMT} based method for optimizing arithmetic computations in embedded
software code},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {129--136},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679401/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/EldibW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/MoudgilGNHWH13,
author = {Rashmi Moudgil and
Dinesh Ganta and
Leyla Nazhandali and
Michael S. Hsiao and
Chao Wang and
T. Simin Hall},
editor = {Jos{\'{e}} Luis Ayala and
Alex K. Jones and
Patrick H. Madden and
Ayse K. Coskun},
title = {A novel statistical and circuit-based technique for counterfeit detection
in existing ICs},
booktitle = {Great Lakes Symposium on {VLSI} 2013 (part of ECRC), GLSVLSI'13, Paris,
France, May 2-4, 2013},
pages = {1--6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2483028.2483049},
doi = {10.1145/2483028.2483049},
timestamp = {Mon, 06 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/glvlsi/MoudgilGNHWH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangCW13,
author = {Lu Zhang and
Arijit Chattopadhyay and
Chao Wang},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Round-up: Runtime checking quasi linearizability of concurrent data
structures},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {4--14},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693061},
doi = {10.1109/ASE.2013.6693061},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ZhangCW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KusanoW13,
author = {Markus Kusano and
Chao Wang},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {CCmutator: {A} mutation generator for concurrency constructs in multithreaded
{C/C++} applications},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {722--725},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693142},
doi = {10.1109/ASE.2013.6693142},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/KusanoW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/LiW13,
author = {Lixin Li and
Chao Wang},
editor = {Axel Legay and
Saddek Bensalem},
title = {Dynamic Analysis and Debugging of Binary Code for Security Applications},
booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8174},
pages = {403--423},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40787-1\_31},
doi = {10.1007/978-3-642-40787-1\_31},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/LiW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/AdhikariSWLZ13,
author = {Kiran Adhikari and
James Street and
Chao Wang and
Yang Liu and
Shao Jie Zhang},
editor = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {Verifying a Quantitative Relaxation of Linearizability via Refinement},
booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7976},
pages = {24--42},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39176-7\_3},
doi = {10.1007/978-3-642-39176-7\_3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/AdhikariSWLZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KahlonW12,
author = {Vineet Kahlon and
Chao Wang},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Lock Removal for Concurrent Trace Programs},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {227--242},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_20},
doi = {10.1007/978-3-642-31424-7\_20},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/KahlonW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/WangKLGG11,
author = {Chao Wang and
Sudipta Kundu and
Rhishikesh Limaye and
Malay K. Ganai and
Aarti Gupta},
title = {Symbolic predictive analysis for concurrent programs},
journal = {Formal Aspects Comput.},
volume = {23},
number = {6},
pages = {781--805},
year = {2011},
url = {https://doi.org/10.1007/s00165-011-0179-2},
doi = {10.1007/S00165-011-0179-2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/WangKLGG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/SinhaMWG11,
author = {Arnab Sinha and
Sharad Malik and
Chao Wang and
Aarti Gupta},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based
Search},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {95--114},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_11},
doi = {10.1007/978-3-642-34188-5\_11},
timestamp = {Fri, 27 Mar 2020 08:58:09 +0100},
biburl = {https://dblp.org/rec/conf/hvc/SinhaMWG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WangSG11,
author = {Chao Wang and
Mahmoud Said and
Aarti Gupta},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Coverage guided systematic concurrency testing},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {221--230},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985824},
doi = {10.1145/1985793.1985824},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/WangSG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GanaiAWGB11,
author = {Malay K. Ganai and
Nipun Arora and
Chao Wang and
Aarti Gupta and
Gogul Balakrishnan},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {{BEST:} {A} symbolic testing tool for predicting multi-threaded program
failures},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {596--599},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100134},
doi = {10.1109/ASE.2011.6100134},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/GanaiAWGB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SinhaMWG11,
author = {Arnab Sinha and
Sharad Malik and
Chao Wang and
Aarti Gupta},
editor = {Satnam Singh and
Barbara Jobstmann and
Michael Kishinevsky and
Jens Brandt},
title = {Predictive analysis for detecting serializability violations through
Trace Segmentation},
booktitle = {9th {IEEE/ACM} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011},
pages = {99--108},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/MEMCOD.2011.5970516},
doi = {10.1109/MEMCOD.2011.5970516},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/SinhaMWG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/SaidWYS11,
author = {Mahmoud Said and
Chao Wang and
Zijiang Yang and
Karem A. Sakallah},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Generating Data Race Witnesses by an SMT-Based Analysis},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {313--327},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_23},
doi = {10.1007/978-3-642-20398-5\_23},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/SaidWYS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SinhaW11,
author = {Nishant Sinha and
Chao Wang},
editor = {Thomas Ball and
Mooly Sagiv},
title = {On interference abstractions},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {423--434},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926433},
doi = {10.1145/1926385.1926433},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/SinhaW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/WangG11,
author = {Chao Wang and
Malay K. Ganai},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Predicting Concurrency Failures in the Generalized Execution Traces
of x86 Executables},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {4--18},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_2},
doi = {10.1007/978-3-642-29860-8\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/WangG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KunduGW10,
author = {Sudipta Kundu and
Malay K. Ganai and
Chao Wang},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Contessa: Concurrency Testing Augmented with Symbolic Analysis},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {127--131},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_13},
doi = {10.1007/978-3-642-14295-6\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/KunduGW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KahlonW10,
author = {Vineet Kahlon and
Chao Wang},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Universal Causality Graphs: {A} Precise Happens-Before Model for Detecting
Bugs in Concurrent Programs},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {434--449},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_39},
doi = {10.1007/978-3-642-14295-6\_39},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KahlonW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BalakrishnanGGIKLMPSSW10,
author = {Gogul Balakrishnan and
Malay K. Ganai and
Aarti Gupta and
Franjo Ivancic and
Vineet Kahlon and
Weihong Li and
Naoto Maeda and
Nadia Papakonstantinou and
Sriram Sankaranarayanan and
Nishant Sinha and
Chao Wang},
editor = {Roderick Bloem and
Natasha Sharygina},
title = {Scalable and precise program analysis at {NEC}},
booktitle = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
pages = {273--274},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/document/5770960/},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BalakrishnanGGIKLMPSSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GanaiWL10,
author = {Malay K. Ganai and
Chao Wang and
Weihong Li},
editor = {Louis Scheffer and
Joel R. Phillips and
Alan J. Hu},
title = {Efficient state space exploration: Interleaving stateless and state-based
model checking},
booktitle = {2010 International Conference on Computer-Aided Design, {ICCAD} 2010,
San Jose, CA, USA, November 7-11, 2010},
pages = {786--793},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICCAD.2010.5653863},
doi = {10.1109/ICCAD.2010.5653863},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/GanaiWL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/GanaiW10,
author = {Malay K. Ganai and
Chao Wang},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Interval Analysis for Concurrent Trace Programs Using Transaction
Sequence Graphs},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {253--269},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_20},
doi = {10.1007/978-3-642-16612-9\_20},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/conf/rv/GanaiW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SinhaW10,
author = {Nishant Sinha and
Chao Wang},
editor = {Gruia{-}Catalin Roman and
Andr{\'{e}} van der Hoek},
title = {Staged concurrent program analysis},
booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {47--56},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882291.1882301},
doi = {10.1145/1882291.1882301},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SinhaW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WangLGG10,
author = {Chao Wang and
Rhishikesh Limaye and
Malay K. Ganai and
Aarti Gupta},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Trace-Based Symbolic Analysis for Atomicity Violations},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {328--342},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_27},
doi = {10.1007/978-3-642-12002-2\_27},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WangLGG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/YangWGI09,
author = {Zijiang Yang and
Chao Wang and
Aarti Gupta and
Franjo Ivancic},
title = {Model checking sequential software programs via mixed symbolic analysis},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {14},
number = {1},
pages = {10:1--10:26},
year = {2009},
url = {https://doi.org/10.1145/1455229.1455239},
doi = {10.1145/1455229.1455239},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/YangWGI09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KahlonWG09,
author = {Vineet Kahlon and
Chao Wang and
Aarti Gupta},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order
Reduction Technique},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {398--413},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_31},
doi = {10.1007/978-3-642-02658-4\_31},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/KahlonWG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/WangKGG09,
author = {Chao Wang and
Sudipta Kundu and
Malay K. Ganai and
Aarti Gupta},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Symbolic Predictive Analysis for Concurrent Programs},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {256--272},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_17},
doi = {10.1007/978-3-642-05089-3\_17},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/WangKGG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WangCGY09,
author = {Chao Wang and
Swarat Chaudhuri and
Aarti Gupta and
Yu Yang},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {Symbolic pruning of concurrent program executions},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2009, Amsterdam, The Netherlands, August
24-28, 2009},
pages = {23--32},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595702},
doi = {10.1145/1595696.1595702},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/WangCGY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/YangCGW09,
author = {Yu Yang and
Xiaofang Chen and
Ganesh Gopalakrishnan and
Chao Wang},
editor = {Corina S. Pasareanu},
title = {Automatic Discovery of Transition Symmetry in Multithreaded Programs
Using Dynamic Analysis},
booktitle = {Model Checking Software, 16th International {SPIN} Workshop, Grenoble,
France, June 26-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5578},
pages = {279--295},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02652-2\_22},
doi = {10.1007/978-3-642-02652-2\_22},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/YangCGW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/WangYGG08,
author = {Chao Wang and
Yu Yang and
Aarti Gupta and
Ganesh Gopalakrishnan},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {Dynamic Model Checking with Property Driven Pruning to Detect Race
Conditions},
booktitle = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
pages = {126--140},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_11},
doi = {10.1007/978-3-540-88387-6\_11},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/WangYGG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/YuWGB08,
author = {Fang Yu and
Chao Wang and
Aarti Gupta and
Tevfik Bultan},
editor = {Mary Jean Harrold and
Gail C. Murphy},
title = {Modular verification of web services using efficient symbolic encoding
and summarization},
booktitle = {Proceedings of the 16th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2008, Atlanta, Georgia, USA,
November 9-14, 2008},
pages = {192--202},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1453101.1453127},
doi = {10.1145/1453101.1453127},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/YuWGB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WangYKG08,
author = {Chao Wang and
Zijiang Yang and
Vineet Kahlon and
Aarti Gupta},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Peephole Partial Order Reduction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {382--396},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_29},
doi = {10.1007/978-3-540-78800-3\_29},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WangYKG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/WangYIG07,
author = {Chao Wang and
Zijiang Yang and
Franjo Ivancic and
Aarti Gupta},
title = {Disjunctive image computation for software verification},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {12},
number = {2},
pages = {10},
year = {2007},
url = {https://doi.org/10.1145/1230800.1230802},
doi = {10.1145/1230800.1230802},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/WangYIG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/WangYGI07,
author = {Chao Wang and
Zijiang Yang and
Aarti Gupta and
Franjo Ivancic},
editor = {Werner Damm and
Holger Hermanns},
title = {Using Counterexamples for Improving the Precision of Reachability
Computation with Polyhedra},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {352--365},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_40},
doi = {10.1007/978-3-540-73368-3\_40},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/WangYGI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/WangGI07,
author = {Chao Wang and
Aarti Gupta and
Franjo Ivancic},
title = {Induction in {CEGAR} for Detecting Counterexamples},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {77--84},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.21},
doi = {10.1109/FAMCAD.2007.21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/WangGI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/WangKG07,
author = {Chao Wang and
Hyondeuk Kim and
Aarti Gupta},
editor = {Georges G. E. Gielen},
title = {Hybrid {CEGAR:} combining variable hiding and predicate abstraction},
booktitle = {2007 International Conference on Computer-Aided Design, {ICCAD} 2007,
San Jose, CA, USA, November 5-8, 2007},
pages = {310--317},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICCAD.2007.4397283},
doi = {10.1109/ICCAD.2007.4397283},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/WangKG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/icas/WangHS06,
author = {Chao Wang and
Gary D. Hachtel and
Fabio Somenzi},
title = {Abstraction Refinement for Large Scale Model Checking},
series = {Series on Integrated Circuits and Systems},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/0-387-34600-7},
doi = {10.1007/0-387-34600-7},
isbn = {978-0-387-34155-2},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/icas/WangHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/WangBHRS06,
author = {Chao Wang and
Roderick Bloem and
Gary D. Hachtel and
Kavita Ravi and
Fabio Somenzi},
title = {Compositional {SCC} Analysis for Language Emptiness},
journal = {Formal Methods Syst. Des.},
volume = {28},
number = {1},
pages = {5--36},
year = {2006},
url = {https://doi.org/10.1007/s10703-006-4617-3},
doi = {10.1007/S10703-006-4617-3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/WangBHRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/WangLJHS06,
author = {Chao Wang and
Bing Li and
HoonSang Jin and
Gary D. Hachtel and
Fabio Somenzi},
title = {Improving Ariadne's Bundle by Following Multiple Threads in Abstraction
Refinement},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {25},
number = {11},
pages = {2297--2316},
year = {2006},
url = {https://doi.org/10.1109/TCAD.2006.873897},
doi = {10.1109/TCAD.2006.873897},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/WangLJHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/WangYIG06,
author = {Chao Wang and
Zijiang Yang and
Franjo Ivancic and
Aarti Gupta},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Whodunit? Causal Analysis for Counterexamples},
booktitle = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {82--95},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914\_9},
doi = {10.1007/11901914\_9},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/WangYIG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JainIGSW06,
author = {Himanshu Jain and
Franjo Ivancic and
Aarti Gupta and
Ilya Shlyakhter and
Chao Wang},
editor = {Thomas Ball and
Robert B. Jones},
title = {Using Statically Computed Invariants Inside the Predicate Abstraction
and Refinement Loop},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {137--151},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_15},
doi = {10.1007/11817963\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/JainIGSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WangGG06,
author = {Chao Wang and
Aarti Gupta and
Malay K. Ganai},
editor = {Ellen Sentovich},
title = {Predicate learning and selective theory deduction for a difference
logic solver},
booktitle = {Proceedings of the 43rd Design Automation Conference, {DAC} 2006,
San Francisco, CA, USA, July 24-28, 2006},
pages = {235--240},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1146909.1146971},
doi = {10.1145/1146909.1146971},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/WangGG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/WangYIG06,
author = {Chao Wang and
Zijiang Yang and
Franjo Ivancic and
Aarti Gupta},
editor = {Georges G. E. Gielen},
title = {Disjunctive image computation for embedded software verification},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe,
{DATE} 2006, Munich, Germany, March 6-10, 2006},
pages = {1205--1210},
publisher = {European Design and Automation Association, Leuven, Belgium},
year = {2006},
url = {https://doi.org/10.1109/DATE.2006.244049},
doi = {10.1109/DATE.2006.244049},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/WangYIG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/YangWGI06,
author = {Zijiang Yang and
Chao Wang and
Aarti Gupta and
Franjo Ivancic},
title = {Mixed symbolic representations for model checking software programs},
booktitle = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
Suites, Napa, California, {USA}},
pages = {17--26},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/MEMCOD.2006.1695896},
doi = {10.1109/MEMCOD.2006.1695896},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/YangWGI06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/GuptaGW06,
author = {Aarti Gupta and
Malay K. Ganai and
Chao Wang},
editor = {Marco Bernardo and
Alessandro Cimatti},
title = {SAT-Based Verification Methods and Applications in Hardware Verification},
booktitle = {Formal Methods for Hardware Verification, 6th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3965},
pages = {108--143},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757283\_5},
doi = {10.1007/11757283\_5},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/GuptaGW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LiWS05,
author = {Bing Li and
Chao Wang and
Fabio Somenzi},
title = {Abstraction refinement in symbolic model checking using satisfiability
as the only decision procedure},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {143--155},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0169-2},
doi = {10.1007/S10009-004-0169-2},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/LiWS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/IvanicicSGG05,
author = {Franjo Ivancic and
Ilya Shlyakhter and
Aarti Gupta and
Malay K. Ganai and
Vineet Kahlon and
Chao Wang and
Zijiang Yang},
title = {Model Checking {C} Programs Using {F-SOFT}},
booktitle = {23rd International Conference on Computer Design {(ICCD} 2005), 2-5
October 2005, San Jose, CA, {USA}},
pages = {297--308},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICCD.2005.77},
doi = {10.1109/ICCD.2005.77},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccd/IvanicicSGG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/WangIGG05,
author = {Chao Wang and
Franjo Ivancic and
Malay K. Ganai and
Aarti Gupta},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Deciding Separation Logic Formulae by {SAT} and Incremental Negative
Cycle Elimination},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {322--336},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_23},
doi = {10.1007/11591191\_23},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/WangIGG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WangJHS04,
author = {Chao Wang and
HoonSang Jin and
Gary D. Hachtel and
Fabio Somenzi},
editor = {Sharad Malik and
Limor Fix and
Andrew B. Kahng},
title = {Refining the {SAT} decision ordering for bounded model checking},
booktitle = {Proceedings of the 41th Design Automation Conference, {DAC} 2004,
San Diego, CA, USA, June 7-11, 2004},
pages = {535--538},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996566.996713},
doi = {10.1145/996566.996713},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/WangJHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/WangHS04,
author = {Chao Wang and
Gary D. Hachtel and
Fabio Somenzi},
title = {Fine-Grain Abstraction and Sequential Don't Cares for Large Scale
Model Checking},
booktitle = {22nd {IEEE} International Conference on Computer Design: {VLSI} in
Computers {\&} Processors {(ICCD} 2004), 11-13 October 2004, San
Jose, CA, USA, Proceedings},
pages = {112--118},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICCD.2004.1347909},
doi = {10.1109/ICCD.2004.1347909},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/WangHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GuptaGWYA03,
author = {Aarti Gupta and
Malay K. Ganai and
Chao Wang and
Zijiang Yang and
Pranav Ashar},
editor = {Warren A. Hunt Jr. and
Fabio Somenzi},
title = {Abstraction and BDDs Complement SAT-Based {BMC} in DiVer},
booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2725},
pages = {206--209},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45069-6\_20},
doi = {10.1007/978-3-540-45069-6\_20},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GuptaGWYA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GuptaGWYA03,
author = {Aarti Gupta and
Malay K. Ganai and
Chao Wang and
Zijiang Yang and
Pranav Ashar},
title = {Learning from BDDs in SAT-based bounded model checking},
booktitle = {Proceedings of the 40th Design Automation Conference, {DAC} 2003,
Anaheim, CA, USA, June 2-6, 2003},
pages = {824--829},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/775832.776040},
doi = {10.1145/775832.776040},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/GuptaGWYA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/WangHS03,
author = {Chao Wang and
Gary D. Hachtel and
Fabio Somenzi},
title = {The Compositional Far Side of Image Computation},
booktitle = {2003 International Conference on Computer-Aided Design, {ICCAD} 2003,
San Jose, CA, USA, November 9-13, 2003},
pages = {334--341},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2003},
url = {https://doi.ieeecomputersociety.org/10.1109/ICCAD.2003.1257733},
doi = {10.1109/ICCAD.2003.1257733},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/WangHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/WangLJHS03,
author = {Chao Wang and
Bing Li and
HoonSang Jin and
Gary D. Hachtel and
Fabio Somenzi},
title = {Improving Ariadne{\'{y}}s Bundle by Following Multiple Threads
in Abstraction Refinement},
booktitle = {2003 International Conference on Computer-Aided Design, {ICCAD} 2003,
San Jose, CA, USA, November 9-13, 2003},
pages = {408--415},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2003},
url = {https://doi.org/10.1109/ICCAD.2003.1257810},
doi = {10.1109/ICCAD.2003.1257810},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/WangLJHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiWS03,
author = {Bing Li and
Chao Wang and
Fabio Somenzi},
editor = {Ofer Strichman and
Armin Biere},
title = {A satisfiability-based approach to abstraction refinement in model
checking},
booktitle = {First International Workshop on Bounded Model Checking, BMC@CAV 2003,
Boulder, Colorado, USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {4},
pages = {608--622},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82546-0},
doi = {10.1016/S1571-0661(05)82546-0},
timestamp = {Tue, 13 Dec 2022 11:40:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LiWS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/WangH02,
author = {Chao Wang and
Gary D. Hachtel},
editor = {Mark D. Aagaard and
John W. O'Leary},
title = {Sharp Disjunctive Decomposition for Language Emptiness Checking},
booktitle = {Formal Methods in Computer-Aided Design, 4th International Conference,
{FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2517},
pages = {106--122},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36126-X\_7},
doi = {10.1007/3-540-36126-X\_7},
timestamp = {Fri, 10 Jan 2020 14:50:18 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/WangH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/WangBHRS01,
author = {Chao Wang and
Roderick Bloem and
Gary D. Hachtel and
Kavita Ravi and
Fabio Somenzi},
editor = {Kim Guldstrand Larsen and
Mogens Nielsen},
title = {Divide and Compose: {SCC} Refinement for Language Emptiness},
booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
Aalborg, Denmark, August 20-25, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2154},
pages = {456--471},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44685-0\_31},
doi = {10.1007/3-540-44685-0\_31},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/WangBHRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-15 23:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
