Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Qiusong Yang
@inproceedings{DBLP:conf/iccd/MengYCZZ023, author = {Xiaoni Meng and Qiusong Yang and Yiwei Ci and Pei Zhao and Shan Zhao and Mingshu Li}, title = {Execute on Clear (EoC): Enhancing Security for Unsafe Speculative Instructions by Precise Identification and Safe Execution}, booktitle = {41st {IEEE} International Conference on Computer Design, {ICCD} 2023, Washington, DC, USA, November 6-8, 2023}, pages = {587--595}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ICCD58817.2023.00094}, doi = {10.1109/ICCD58817.2023.00094}, timestamp = {Tue, 09 Jan 2024 15:43:43 +0100}, biburl = {https://dblp.org/rec/conf/iccd/MengYCZZ023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccd/MengYCZZH022, author = {Xiaoni Meng and Qiusong Yang and Yiwei Ci and Pei Zhao and Shan Zhao and Tianlin Huo and Mingshu Li}, title = {Secure Access Policy {(SAP):} Invisibly Executing Speculative Unsafe Accesses in an Isolated Environment}, booktitle = {{IEEE} 40th International Conference on Computer Design, {ICCD} 2022, Olympic Valley, CA, USA, October 23-26, 2022}, pages = {80--88}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ICCD56317.2022.00022}, doi = {10.1109/ICCD56317.2022.00022}, timestamp = {Tue, 05 Dec 2023 14:45:33 +0100}, biburl = {https://dblp.org/rec/conf/iccd/MengYCZZH022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/micro/JiangYC22, author = {Shizhi Jiang and Qiusong Yang and Yiwei Ci}, title = {Merging Similar Patterns for Hardware Prefetching}, booktitle = {55th {IEEE/ACM} International Symposium on Microarchitecture, {MICRO} 2022, Chicago, IL, USA, October 1-5, 2022}, pages = {1012--1026}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/MICRO56248.2022.00071}, doi = {10.1109/MICRO56248.2022.00071}, timestamp = {Fri, 04 Nov 2022 09:24:05 +0100}, biburl = {https://dblp.org/rec/conf/micro/JiangYC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icpp/JiangCYL21, author = {Shizhi Jiang and Yiwei Ci and Qiusong Yang and Mingshu Li}, editor = {Xian{-}He Sun and Sameer Shende and Laxmikant V. Kal{\'{e}} and Yong Chen}, title = {Matryoshka: {A} Coalesced Delta Sequence Prefetcher}, booktitle = {{ICPP} 2021: 50th International Conference on Parallel Processing, Lemont, IL, USA, August 9 - 12, 2021}, pages = {5:1--5:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3472456.3473510}, doi = {10.1145/3472456.3473510}, timestamp = {Wed, 12 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icpp/JiangCYL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/FengYS018, author = {Xinyue Feng and Qiusong Yang and Lin Shi and Qing Wang}, title = {BehaviorKI: Behavior Pattern Based Runtime Integrity Checking for Operating System Kernel}, booktitle = {2018 {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} 2018, Lisbon, Portugal, July 16-20, 2018}, pages = {13--24}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/QRS.2018.00015}, doi = {10.1109/QRS.2018.00015}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qrs/FengYS018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fcsc/WuYH17, author = {Tao Wu and Qiusong Yang and Yeping He}, title = {A secure and rapid response architecture for virtual machine migration from an untrusted hypervisor to a trusted one}, journal = {Frontiers Comput. Sci.}, volume = {11}, number = {5}, pages = {821--835}, year = {2017}, url = {https://doi.org/10.1007/s11704-016-5190-6}, doi = {10.1007/S11704-016-5190-6}, timestamp = {Mon, 19 Feb 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fcsc/WuYH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/LinMBYWK16, author = {Yuqi Lin and Saif Ur Rehman Malik and Kashif Bilal and Qiusong Yang and Yongji Wang and Samee U. Khan}, title = {Designing and Modeling of Covert Channels in Operating Systems}, journal = {{IEEE} Trans. Computers}, volume = {65}, number = {6}, pages = {1706--1719}, year = {2016}, url = {https://doi.org/10.1109/TC.2015.2458862}, doi = {10.1109/TC.2015.2458862}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tc/LinMBYWK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/XieYWCM15, author = {Miao Xie and Qiusong Yang and Qing Wang and Gao Cong and Gerard de Melo}, editor = {Blai Bonet and Sven Koenig}, title = {DynaDiffuse: {A} Dynamic Diffusion Model for Continuous Time Constrained Influence Maximization}, booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, {USA}}, pages = {346--352}, publisher = {{AAAI} Press}, year = {2015}, url = {https://doi.org/10.1609/aaai.v29i1.9203}, doi = {10.1609/AAAI.V29I1.9203}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/XieYWCM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jpdc/XieYZW14, author = {Miao Xie and Qiusong Yang and Jian Zhai and Qing Wang}, title = {A vertex centric parallel algorithm for linear temporal logic model checking in Pregel}, journal = {J. Parallel Distributed Comput.}, volume = {74}, number = {11}, pages = {3161--3174}, year = {2014}, url = {https://doi.org/10.1016/j.jpdc.2014.07.009}, doi = {10.1016/J.JPDC.2014.07.009}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jpdc/XieYZW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/HuangXYWW13, author = {Hui Huang and Junchao Xiao and Qiusong Yang and Qing Wang and Hong Wu}, title = {Creating Process-Agents incrementally by mining process asset library}, journal = {Inf. Sci.}, volume = {233}, pages = {183--199}, year = {2013}, url = {https://doi.org/10.1016/j.ins.2012.12.052}, doi = {10.1016/J.INS.2012.12.052}, timestamp = {Wed, 16 May 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isci/HuangXYWW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/YangCKL12, author = {Qiusong Yang and Edmund M. Clarke and Anvesh Komuravelli and Mingshu Li}, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {Assumption Generation for Asynchronous Systems by Abstraction Refinement}, booktitle = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7684}, pages = {260--276}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35861-6\_16}, doi = {10.1007/978-3-642-35861-6\_16}, timestamp = {Wed, 12 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/YangCKL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/DongYWZR11, author = {Xin Dong and Qiusong Yang and Qing Wang and Jian Zhai and G{\"{u}}nther Ruhe}, editor = {Tran Dan Thu and Karl R. P. H. Leung}, title = {Value-Risk Trade-off Analysis for Iteration Planning in Extreme Programming}, booktitle = {18th Asia Pacific Software Engineering Conference, {APSEC} 2011, Ho Chi Minh, Vietnam, December 5-8, 2011}, pages = {397--404}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/APSEC.2011.11}, doi = {10.1109/APSEC.2011.11}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/DongYWZR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsen/YangZZL11, author = {Qiusong Yang and Bei Zhang and Jian Zhai and Mingshu Li}, editor = {Farhad Arbab and Marjan Sirjani}, title = {Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs}, booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference, {FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7141}, pages = {221--235}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-29320-7\_15}, doi = {10.1007/978-3-642-29320-7\_15}, timestamp = {Wed, 12 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsen/YangZZL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispw/HuangYXZ11, author = {Hui Huang and Qiusong Yang and Junchao Xiao and Jian Zhai}, editor = {David Raffo and Dietmar Pfahl and Li Zhang}, title = {Automatic mining of change set size information from repository for precise productivity estimation}, booktitle = {International Conference on Software and Systems Process, {ICSSP} 2011, Honolulu, HI, USA, May 21-22, 2011, Proceedings}, pages = {72--80}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1987875.1987889}, doi = {10.1145/1987875.1987889}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ispw/HuangYXZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssiri/LiuYYL11, author = {Yanbin Liu and Ye Yang and Qiusong Yang and Mingshu Li}, title = {DRiVeR: Diagnosing Runtime Property Violations Based on Dependency Rules}, booktitle = {Fifth International Conference on Secure Software Integration and Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume}, pages = {194--201}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/SSIRI-C.2011.38}, doi = {10.1109/SSIRI-C.2011.38}, timestamp = {Wed, 12 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ssiri/LiuYYL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/YangL10, author = {Qiusong Yang and Mingshu Li}, editor = {Jeff Kramer and Judith Bishop and Premkumar T. Devanbu and Sebasti{\'{a}}n Uchitel}, title = {A cut-off approach for bounded verification of parameterized systems}, booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8 May 2010}, pages = {345--354}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1806799.1806851}, doi = {10.1145/1806799.1806851}, timestamp = {Wed, 12 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/YangL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispw/XiaoWLYXL09, author = {Junchao Xiao and Qing Wang and Mingshu Li and Qiusong Yang and Lizi Xie and Dapeng Liu}, editor = {Qing Wang and Vahid Garousi and Raymond J. Madachy and Dietmar Pfahl}, title = {Value-Based Multiple Software Projects Scheduling with Genetic Algorithm}, booktitle = {Trustworthy Software Development Processes, International Conference on Software Process, {ICSP} 2009 Vancouver, Canada, May 16-17, 2009 Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5543}, pages = {50--62}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-01680-6\_7}, doi = {10.1007/978-3-642-01680-6\_7}, timestamp = {Wed, 12 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ispw/XiaoWLYXL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispw/ZhaiYSXWL09, author = {Jian Zhai and Qiusong Yang and Feng Su and Junchao Xiao and Qing Wang and Mingshu Li}, editor = {Qing Wang and Vahid Garousi and Raymond J. Madachy and Dietmar Pfahl}, title = {Stochastic Process Algebra Based Software Process Simulation Modeling}, booktitle = {Trustworthy Software Development Processes, International Conference on Software Process, {ICSP} 2009 Vancouver, Canada, May 16-17, 2009 Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5543}, pages = {136--147}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-01680-6\_14}, doi = {10.1007/978-3-642-01680-6\_14}, timestamp = {Wed, 12 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ispw/ZhaiYSXWL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seafood/ZhaiYYXWL08, author = {Jian Zhai and Qiusong Yang and Ye Yang and Junchao Xiao and Qing Wang and Mingshu Li}, editor = {Kay Berkling and Mathai Joseph and Bertrand Meyer and Martin Nordio}, title = {Automated Process Quality Assurance for Distributed Software Development}, booktitle = {Software Engineering Approaches for Offshore and Outsourced Development - 2nd International Conference, SEAFOOD@TOOLS 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers}, series = {Lecture Notes in Business Information Processing}, volume = {16}, pages = {196--210}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01856-5\_14}, doi = {10.1007/978-3-642-01856-5\_14}, timestamp = {Wed, 12 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seafood/ZhaiYYXWL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispw/YangLWYZLHY07, author = {Qiusong Yang and Mingshu Li and Qing Wang and Guowei Yang and Jian Zhai and Juan Li and Lishan Hou and Yun Yang}, editor = {Qing Wang and Dietmar Pfahl and David M. Raffo}, title = {An Algebraic Approach for Managing Inconsistencies in Software Processes,}, booktitle = {Software Process Dynamics and Agility, International Conference on Software Process, {ICSP} 2007, Minneapolis, MN, USA, May 19-20, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4470}, pages = {121--133}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72426-1\_11}, doi = {10.1007/978-3-540-72426-1\_11}, timestamp = {Fri, 06 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ispw/YangLWYZLHY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispw/LiYZY06, author = {Mingshu Li and Qiusong Yang and Jian Zhai and Guowei Yang}, editor = {Qing Wang and Dietmar Pfahl and David M. Raffo and Paul Wernick}, title = {On Mobility of Software Processes}, booktitle = {Software Process Change, International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3966}, pages = {105--114}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11754305\_12}, doi = {10.1007/11754305\_12}, timestamp = {Fri, 06 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ispw/LiYZY06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispw/DingDSTW05, author = {Liping Ding and Qiusong Yang and Liang Sun and Jie Tong and Yongji Wang}, editor = {Mingshu Li and Barry W. Boehm and Leon J. Osterweil}, title = {Evaluation of the Capability of Personal Software Process Based on Data Envelopment Analysis}, booktitle = {Unifying the Software Process Spectrum, International Software Process Workshop, {SPW} 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3840}, pages = {235--248}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11608035\_21}, doi = {10.1007/11608035\_21}, timestamp = {Wed, 12 Apr 2023 13:19:01 +0200}, biburl = {https://dblp.org/rec/conf/ispw/DingDSTW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.