Mu Zhang -

Registered user since Mon 8 Jul 2019

Name:Mu Zhang

Country:United States

Affiliation:University of Utah

Personal website: https://sites.google.com/site/muzhang82/

Research interests:Security

Contributions

2024

ISSTA

Author of WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation within the Technical Papers-track

2023

ISSTA

Author of Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode within the Technical Papers-track

2019

SPLASH

Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA Artifacts-track
Author of Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track