Representations of Algebraic Domains and Algebraic L-domains by Information Systems. - Mingyuan Wu; Qingguo Li; Xiangnan Zhou (ISDT, 2013)

A representation of L-domains by information systems. - Mingyuan Wu; Lankun Guo; Qingguo Li (Theor. Comput. Sci., 2016)

Automating CUDA Synchronization via Program Transformation. - Mingyuan Wu; Lingming Zhang 001; Cong Liu 005; Shin Hwei Tan; Yuqun Zhang (ASE, 2019)

Characterizing and Detecting CUDA Program Bugs. - Mingyuan Wu; Husheng Zhou; Lingming Zhang 001; Cong Liu 005; Yuqun Zhang (CoRR, 2019)

Simulee: detecting CUDA synchronization bugs via memory-access modeling. - Mingyuan Wu; Yicheng Ouyang; Husheng Zhou; Lingming Zhang 001; Cong Liu 005; Yuqun Zhang (ICSE, 2020)

SEAWARE: Semantic Aware View Prediction System for 360-degree Video Streaming. - Jounsup Park; Mingyuan Wu; Kuan-Ying Lee; Bo Chen 025; Klara Nahrstedt; Michael Zink; Ramesh K. Sitaraman (ISM, 2020)

Video 360 Content Navigation for Mobile HMD Devices. - Jounsup Park; Mingyuan Wu; Eric Lee; Klara Nahrstedt; Yash Shah; Arielle Rosenthal; John O. Murray; Kevin Spiteri; Michael Zink; Ramesh K. Sitaraman (ACM Multimedia, 2020)

REFORM: Fast and Adaptive Solution for Subteam Replacement. - Zhaoheng Li; Xinyu Pi; Mingyuan Wu; Hanghang Tong (IEEE BigData, 2021)

Subteam Replacement: Problem Definition and Fast Solution. - Zhaoheng Li; Xinyu Pi; Mingyuan Wu (SIGMOD Conference, 2021)

Colored Doppler Ultrasound Diagnosis and Pathological Analysis of Superficial Organ and Vascular Diseases. - Wenting Jiang; Duxing Xu; Xiaofeng Zhang; Mingyuan Wu; Kunbin Wu (J. Medical Imaging Health Informatics, 2021)

One Fuzzing Strategy to Rule Them All. - Mingyuan Wu; Ling Jiang; Jiahong Xiang; Yanwei Huang; Heming Cui; Lingming Zhang 001; Yuqun Zhang (ICSE, 2022)

Evaluating and Improving Neural Program-Smoothing-based Fuzzing. - Mingyuan Wu; Ling Jiang; Jiahong Xiang; Yuqun Zhang; Guowei Yang 001; Huixin Ma; Sen Nie; Shi Wu; Heming Cui; Lingming Zhang 001 (ICSE, 2022)

History-Driven Test Program Synthesis for JVM Testing. - Yingquan Zhao; Zan Wang; Junjie Chen 003; Mengdi Liu; Mingyuan Wu; Yuqun Zhang; Lingming Zhang 001 (ICSE, 2022)

Research on Parameterized Design of Urban Furniture in Wuyi Overseas Chinese Hometown from the Perspective of Digitalization and Localization. - Liang Chen; Zhenyi Chen; Mingyuan Wu; Ze Li (DSIE, 2023)

Evaluating and Improving Hybrid Fuzzing. - Ling Jiang; Hengchen Yuan; Mingyuan Wu; Lingming Zhang 001; Yuqun Zhang (ICSE, 2023)

JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers. - Mingyuan Wu; Minghai Lu; Heming Cui; Junjie Chen 003; Yuqun Zhang; Lingming Zhang 001 (ICSE, 2023)

Interactive Scene Graph Analysis for Future Intelligent Teleconferencing Systems. - Mingyuan Wu; Yuhan Lu; Shiv Trivedi; Bo Chen 025; Qian Zhou; Lingdong Wang; Simran Singh; Michael Zink; Ramesh K. Sitaraman; Jacob Chakareski; Klara Nahrstedt (ISM, 2023)

SAVG360: Saliency-aware Viewport-guidance-enabled 360-video Streaming System. - Yinjie Zhang; Mingyuan Wu; Beitong Tian; Jiaxi Li; Bo Chen 025; Qian Zhou; Klara Nahrstedt (ISM, 2023)

360TripleView: 360-Degree Video View Management System Driven by Convergence Value of Viewing Preferences. - Qian Zhou; Mingyuan Wu; Yinjie Zhang; Michael Zink; Ramesh K. Sitaraman; Klara Nahrstedt (ISM, 2023)

Enhancing Coverage-Guided Fuzzing via Phantom Program. - Mingyuan Wu; Kunqiu Chen; Qi Luo; Jiahong Xiang; Ji Qi 002; Junjie Chen 003; Heming Cui; Yuqun Zhang (ESEC/SIGSOFT FSE, 2023)

SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing. - Mingyuan Wu; Yicheng Ouyang; Minghai Lu; Junjie Chen 003; Yingquan Zhao; Heming Cui; Guowei Yang 001; Yuqun Zhang (ESEC/SIGSOFT FSE, 2023)

Aczel-Alsina Aggregation Operators on Complex Fermatean Fuzzy Information With Application to Multi-Attribute Decision Making. - Li Chen; Xiaoqiang Zhou; Mingyuan Wu; Yuanjun Shi; Yongzhi Wang (IEEE Access, 2023)

UOUO: Uncontextualized Uncommon Objects for Measuring Knowledge Horizons of Vision Language Models. - Xinyu Pi; Mingyuan Wu; Jize Jiang; Haozhen Zheng; Beitong Tian; ChengXiang Zhai; Klara Nahrstedt; Zhiting Hu (EMNLP, 2024)

I-Matting: Improved Trimap-Free Image Matting. - Zichuan Liu; Ke Wang; Mingyuan Wu; Lantao Yu; Klara Nahrstedt; Xin Lu (ICME, 2024)

GaugeTracker: AI - Powered Cost-Effective Analog Gauge Monitoring System. - Beitong Tian; Mingyuan Wu; Ruixiao Zhang; Haozhen Zheng; Bo Chen 025; Yaohui Wang 005; Shiv Trivedi; Shanbo Zhang; Robert Bruce Kaufman; Leah Espenhahn; Gianni Pezzarossi; Mauro Sardela; et al. (MIPR, 2024)

Scene Graph Driven Hybrid Interactive VR Teleconferencing. - Mingyuan Wu; Ruifan Ji; Haozhen Zheng; Jiaxi Li; Beitong Tian; Bo Chen 025; Ruixiao Zhang; Jacob Chakareski; Michael Zink; Ramesh K. Sitaraman; Klara Nahrstedt (ACM Multimedia, 2024)

Vesper: Learning to Manage Uncertainty in Video Streaming. - Bo Chen 025; Mingyuan Wu; Hongpeng Guo; Zhisheng Yan; Klara Nahrstedt (MMSys, 2024)

ImmerScope: Multi-view Video Aggregation at Edge towards Immersive Content Services. - Bo Chen 025; Hongpeng Guo; Mingyuan Wu; Zhe Yang 010; Zhisheng Yan; Klara Nahrstedt (SenSys, 2024)

How Far Can We Go with Practical Function-Level Program Repair? - Jiahong Xiang; Xiaoyang Xu; Fanchu Kong; Mingyuan Wu; Haotian Zhang; Yuqun Zhang (CoRR, 2024)

TraceNet: Segment one thing efficiently. - Mingyuan Wu; Zichuan Liu; Haozhen Zheng; Hongpeng Guo; Bo Chen 025; Xin Lu; Klara Nahrstedt (CoRR, 2024)

A Review of Sensing Technologies for Indoor Autonomous Mobile Robots. - Yu Liu; Shuting Wang 001; Yuanlong Xie; Tifan Xiong; Mingyuan Wu (Sensors, 2024)

Tumbling Down the Rabbit Hole: How do Assisting Exploration Strategies Facilitate Grey-Box Fuzzing? - Mingyuan Wu; Jiahong Xiang; Kunqiu Chen; Peng Di; Shin Hwei Tan; Heming Cui; Yuqun Zhang (ICSE, 2025)

AquaScope: Reliable Underwater Image Transmission on Mobile Devices. - Beitong Tian; Lingzhi Zhao; Bo Chen 025; Mingyuan Wu; Haozhen Zheng; Deepak Vasisht; Francis Y. Yan; Klara Nahrstedt (CoRR, 2025)

Cache-of-Thought: Master-Apprentice Framework for Cost-Effective Vision Language Model Inference. - Mingyuan Wu; Jize Jiang; Haozhen Zheng; Meitang Li; Zhaoheng Li; Beitong Tian; Bo Chen 025; Yongjoo Park; Minjia Zhang; Chengxiang Zhai; Klara Nahrstedt (CoRR, 2025)

VTool-R1: VLMs Learn to Think with Images via Reinforcement Learning on Multimodal Tool Use. - Mingyuan Wu; Jingcheng Yang; Jize Jiang; Meitang Li; Kaizhuo Yan; Hanchao Yu; Minjia Zhang; Chengxiang Zhai; Klara Nahrstedt (CoRR, 2025)

EmbedAgent: Benchmarking Large Language Models in Embedded System Development. - Ruiyang Xu; Jialun Cao; Mingyuan Wu; Wenliang Zhong; Yaojie Lu 001; Ben He; Xianpei Han; Shing-Chi Cheung; Le Sun 001 (CoRR, 2025)

Aha Moment Revisited: Are VLMs Truly Capable of Self Verification in Inference-time Scaling? - Mingyuan Wu; Meitang Li; Jingcheng Yang; Jize Jiang; Kaizhuo Yan; Zhaoheng Li; Minjia Zhang; Klara Nahrstedt (CoRR, 2025)

Spatio-Temporal LLM: Reasoning about Environments and Actions. - Haozhen Zheng; Beitong Tian; Mingyuan Wu; Zhenggang Tang; Klara Nahrstedt; Alexander G. Schwing (CoRR, 2025)