Mingzhe Wang

Orcid: 0000-0002-4947-937X

According to our database1, Mingzhe Wang authored at least 62 papers between 2011 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Computing-Aware Routing for LEO Satellite Networks: A Transmission and Computation Integration Approach.
IEEE Trans. Veh. Technol., December, 2023

Towards Better Semantics Exploration for Browser Fuzzing.
Proc. ACM Program. Lang., October, 2023

Building Dynamic System Call Sandbox with Partial Order Analysis.
Proc. ACM Program. Lang., October, 2023

Medusa Attack: Exploring Security Hazards of In-App QR Code Scanning.
Proceedings of the 32nd USENIX Security Symposium, 2023

Limits of I/O Based Ransomware Detection: An Imitation Based Attack.
Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Daisy: Effective Fuzz Driver Synthesis with Object Usage Sequence Analysis.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

Exploring the lmpacts of Al Technologies on Medical lnstitutions with Knowledge Graphs.
Proceedings of the 7th International Conference on Medical and Health Informatics, 2023

Sequence-Oriented DBMS Fuzzing.
Proceedings of the 39th IEEE International Conference on Data Engineering, 2023

Infinite Photorealistic Worlds Using Procedural Generation.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022
Robust and Efficient Corner Detection for Computer Vision.
PhD thesis, 2022

Complex shearlets and rotary phase congruence tensor for corner detection.
Pattern Recognit., 2022

Oracle-free repair synthesis for floating-point programs.
Proc. ACM Program. Lang., 2022

Efficient corner detection based on corner enhancement filters.
Digit. Signal Process., 2022

Network-Wide Task Offloading With LEO Satellites: A Computation and Transmission Fusion Approach.
CoRR, 2022

PATA: Fuzzing with Path Aware Taint Analysis.
Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Minerva: browser API fuzzing with dynamic mod-ref analysis.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Odin: on-demand instrumentation with on-the-fly recompilation.
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Griffin : Grammar-Free DBMS Fuzzing.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Unicorn: detect runtime errors in time-series databases with hybrid input synthesis.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

A Training-Based Blind Underwater Image Quality Evaluation Metric.
Proceedings of the 5th International Conference on Big Data Technologies, 2022

2021
Formal Design of Multi-Function Vehicle Bus Controller.
IEEE Trans. Intell. Transp. Syst., 2021

DeepFuzzer: Accelerated Deep Greybox Fuzzing.
IEEE Trans. Dependable Secur. Comput., 2021

Aerobics Action Recognition Algorithm Based on Three-Dimensional Convolutional Neural Network and Multilabel Classification.
Sci. Program., 2021

Security reinforcement for Ethereum virtual machine.
Inf. Process. Manag., 2021

A Fragment Fracture Surface Segmentation Method Based on Learning of Local Geometric Features on Margins Used for Automatic Utensil Reassembly.
Comput. Aided Des., 2021

RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing.
Proceedings of the 2021 USENIX Annual Technical Conference, 2021

Industrial Oriented Evaluation of Fuzzing Techniques.
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2021

2020
An Automatic Personalized Internal Fixation Plate Modeling Framework for Minimally Invasive Curved Bone Fracture Surgery Based on Preregistration With Capsule Projection Model.
IEEE Trans. Biomed. Eng., 2020

Corner detection based on shearlet transform and multi-directional structure tensor.
Pattern Recognit., 2020

Optimized data storage algorithm of IoT based on cloud computing in distributed system.
Comput. Commun., 2020

Learning to Prove Theorems by Learning to Generate Theorems.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

A Unified Framework of Surrogate Loss by Refactoring and Interpolation.
Proceedings of the Computer Vision - ECCV 2020, 2020

Finding Cracks in Shields: On the Security of Control Flow Integrity Mechanisms.
Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019
An automatic personalized internal fixation plate modeling framework for minimally invasive long bone fracture surgery based on pre-registration with maximum common subgraph strategy.
Comput. Aided Des., 2019

EVM<sup>*</sup>: From Offline Detection to Online Reinforcement for Ethereum Virtual Machine.
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers.
Proceedings of the 28th USENIX Security Symposium, 2019

Building a Flexible Knowledge Graph to Capture Real-World Events.
Proceedings of the 2019 Text Analysis Conference, 2019

Industry practice of coverage-guided enterprise Linux kernel fuzzing.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design.
Proceedings of the 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2019

Engineering a Better Fuzzer with Synergically Integrated Optimizations.
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

An Effective ROI Extracting Method for Color Brain Slice in Assisting the Diagnostic Analysis of Epilepsy.
Proceedings of the third International Conference on Medical and Health Informatics 2019, 2019

2018
An automatic and serialized ROI extraction framework for the slow-motion video frames.
J. Vis. Commun. Image Represent., 2018

EnFuzz: From Ensemble Learning to Ensemble Fuzzing.
CoRR, 2018

A vessel segmentation method for serialized cerebralvascular DSA images based on spatial feature point set of rotating coordinate system.
Comput. Methods Programs Biomed., 2018

Fuzz testing in practice: Obstacles and solutions.
Proceedings of the 25th International Conference on Software Analysis, 2018

Entity and Event Extraction from Scratch Using Minimal Training Data.
Proceedings of the 2018 Text Analysis Conference, 2018

PAFL: extend fuzzing optimizations of single mode to industrial parallel mode.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Speaker Naming in Movies.
Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2018

SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017
Premise Selection for Theorem Proving by Deep Graph Embedding.
Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 2017

Dependable integrated clinical system architecture with runtime verification.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

2016
Structured Matching for Phrase Localization.
Proceedings of the Computer Vision - ECCV 2016, 2016

2015
Analysis of GPU Parallel Computing based on Matlab.
CoRR, 2015

LINE: Large-scale Information Network Embedding.
Proceedings of the 24th International Conference on World Wide Web, 2015

2013
Analysis of structural properties of Petri nets based on product incidence matrix.
Kybernetika, 2013

On-line fast palmprint identification based on adaptive lifting wavelet scheme.
Knowl. Based Syst., 2013

2012
Palmprint verification based on 2D - Gabor wavelet and pulse-coupled neural network.
Knowl. Based Syst., 2012

2011
Sensitivity analysis on causal chains of Bayesian networks.
Int. J. Intell. Syst., 2011

An Appraisal Method of the Interoperability of Architecture Based on DoDAF.
Proceedings of the Advances in Computer Science, Environment, Ecoinformatics, and Education, 2011


  Loading...