Zhendong Su

Detecting nondeterministic payment bugs in Ethereum smart contracts

2019 · Repository for Publications and Research Data (ETH Zurich)

The term “smart contracts” has become ubiquitous to describe an enormous number of programs uploaded to the popular Ethereum blockchain system. Despite rapid growth of the smart contract ecosystem, errors and exploitations have been constantly …

Precise and Generalized Robustness Certification for Neural Networks

2023 · arXiv (Cornell University)

The objective of neural network (NN) robustness certification is to determine if a NN changes its predictions when mutations are made to its inputs. While most certification research studies pixel-level or a few geometrical-level and …

Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations

2023 · arXiv (Cornell University)

We introduce a novel approach for testing static typing implementations based on the concept of API-driven program synthesis. The idea is to synthesize type-intensive but small and well-typed programs by leveraging and combining application programming …