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},
  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},
  year      = {2020},
  crossref  = {DBLP:conf/icse/2020},
  url       = {https://doi.org/10.1145/3377811.3380358},
  doi       = {10.1145/3377811.3380358},
  timestamp = {Mon, 04 Jan 2021 15:18:44 +0100},
  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},
  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},
  year      = {2020},
  crossref  = {DBLP:conf/mm/2020},
  url       = {https://doi.org/10.1145/3394171.3414389},
  doi       = {10.1145/3394171.3414389},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  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},
  year      = {2019},
  crossref  = {DBLP:conf/kbse/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},
  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},
  pages     = {117--129},
  year      = {2013},
  crossref  = {DBLP:conf/isdt/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}
}

@proceedings{DBLP:conf/icse/2020,
  editor    = {Gregg Rothermel and
               Doo{-}Hwan Bae},
  title     = {{ICSE} '20: 42nd International Conference on Software Engineering,
               Seoul, South Korea, 27 June - 19 July, 2020},
  publisher = {{ACM}},
  year      = {2020},
  url       = {https://doi.org/10.1145/3377811},
  doi       = {10.1145/3377811},
  isbn      = {978-1-4503-7121-6},
  timestamp = {Sun, 17 Jan 2021 20:53:42 +0100},
  biburl    = {https://dblp.org/rec/conf/icse/2020.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mm/2020,
  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     = {{MM} '20: The 28th {ACM} International Conference on Multimedia, Virtual
               Event / Seattle, WA, USA, October 12-16, 2020},
  publisher = {{ACM}},
  year      = {2020},
  url       = {https://doi.org/10.1145/3394171},
  doi       = {10.1145/3394171},
  isbn      = {978-1-4503-7988-5},
  timestamp = {Sun, 17 Jan 2021 20:53:42 +0100},
  biburl    = {https://dblp.org/rec/conf/mm/2020.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/kbse/2019,
  title     = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
               {ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8949433/proceeding},
  isbn      = {978-1-7281-2508-4},
  timestamp = {Sun, 17 Jan 2021 20:53:42 +0100},
  biburl    = {https://dblp.org/rec/conf/kbse/2019.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/isdt/2013,
  editor    = {Ying{-}ming Liu and
               Mao{-}kang Luo and
               Michael W. Mislove and
               Guo{-}Qiang Zhang},
  title     = {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},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/301/suppl/C},
  timestamp = {Sun, 17 Jan 2021 20:53:42 +0100},
  biburl    = {https://dblp.org/rec/conf/isdt/2013.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics

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.