BibTeX records: Mingyuan Wu

download as .bib file

@inproceedings{DBLP:conf/icse/WuOZZ0Z20,
  author    = {Mingyuan Wu and
               Yicheng Ouyang and
               Husheng Zhou and
               Lingming Zhang and
               Cong Liu and
               Yuqun Zhang},
  editor    = {Gregg Rothermel and
               Doo{-}Hwan Bae},
  title     = {Simulee: detecting {CUDA} synchronization bugs via memory-access modeling},
  booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
               Seoul, South Korea, 27 June - 19 July, 2020},
  pages     = {937--948},
  publisher = {{ACM}},
  year      = {2020},
  url       = {https://doi.org/10.1145/3377811.3380358},
  doi       = {10.1145/3377811.3380358},
  timestamp = {Fri, 16 Oct 2020 10:04:25 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/WuOZZ0Z20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/ParkWLNSRMSZS20,
  author    = {Jounsup Park and
               Mingyuan Wu and
               Eric Lee and
               Klara Nahrstedt and
               Yash Shah and
               Arielle Rosenthal and
               John Murray and
               Kevin Spiteri and
               Michael Zink and
               Ramesh K. Sitaraman},
  editor    = {Chang Wen Chen and
               Rita Cucchiara and
               Xian{-}Sheng Hua and
               Guo{-}Jun Qi and
               Elisa Ricci and
               Zhengyou Zhang and
               Roger Zimmermann},
  title     = {Video 360 Content Navigation for Mobile {HMD} Devices},
  booktitle = {{MM} '20: The 28th {ACM} International Conference on Multimedia, Virtual
               Event / Seattle, WA, USA, October 12-16, 2020},
  pages     = {4497--4499},
  publisher = {{ACM}},
  year      = {2020},
  url       = {https://doi.org/10.1145/3394171.3414389},
  doi       = {10.1145/3394171.3414389},
  timestamp = {Fri, 16 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/mm/ParkWLNSRMSZS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WuZ0TZ19,
  author    = {Mingyuan Wu and
               Lingming Zhang and
               Cong Liu and
               Shin Hwei Tan and
               Yuqun Zhang},
  title     = {Automating {CUDA} Synchronization via Program Transformation},
  booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
               {ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
  pages     = {748--759},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/ASE.2019.00075},
  doi       = {10.1109/ASE.2019.00075},
  timestamp = {Sun, 19 Jan 2020 15:18:02 +0100},
  biburl    = {https://dblp.org/rec/conf/kbse/WuZ0TZ19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-01833,
  author    = {Mingyuan Wu and
               Husheng Zhou and
               Lingming Zhang and
               Cong Liu and
               Yuqun Zhang},
  title     = {Characterizing and Detecting {CUDA} Program Bugs},
  journal   = {CoRR},
  volume    = {abs/1905.01833},
  year      = {2019},
  url       = {http://arxiv.org/abs/1905.01833},
  archivePrefix = {arXiv},
  eprint    = {1905.01833},
  timestamp = {Mon, 03 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1905-01833.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WuGL16,
  author    = {Mingyuan Wu and
               Lankun Guo and
               Qingguo Li},
  title     = {A representation of L-domains by information systems},
  journal   = {Theor. Comput. Sci.},
  volume    = {612},
  pages     = {126--136},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.tcs.2015.11.037},
  doi       = {10.1016/j.tcs.2015.11.037},
  timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcs/WuGL16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WuLZ14,
  author    = {Mingyuan Wu and
               Qingguo Li and
               Xiangnan Zhou},
  editor    = {Ying{-}ming Liu and
               Mao{-}kang Luo and
               Michael W. Mislove and
               Guo{-}Qiang Zhang},
  title     = {Representations of Algebraic Domains and Algebraic L-domains by Information
               Systems},
  booktitle = {Proceedings of the 6th International Symposium on Domain Theory and
               Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
               October 25-29, 2013},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {301},
  pages     = {117--129},
  publisher = {Elsevier},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.entcs.2014.01.010},
  doi       = {10.1016/j.entcs.2014.01.010},
  timestamp = {Wed, 05 Feb 2020 13:09:50 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/WuLZ14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics