BibTeX records: Mingyuan Wu

• > Home > Mingyuan Wu

@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}},
  pages     = {937--948},
  publisher = {{ACM}},
  year      = {2020}
}

@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 = {{ACM} Multimedia},
  pages     = {4497--4499},
  publisher = {{ACM}},
  year      = {2020}
}

@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 = {{ASE}},
  pages     = {748--759},
  publisher = {{IEEE}},
  year      = {2019}
}

@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}
}

@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}
}

@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 = {{ISDT}},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {301},
  pages     = {117--129},
  publisher = {Elsevier},
  year      = {2013}
}