Skip to content

Author

B. E. Chang

We have 2 of 69 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Review

Rinser: Deriving Succinct Evidence for Automated Code Reviews

Rinser is a tool developed at Amazon to ease user interaction with static analysis results presented in code reviews and is able to produce traces on average 10x shorter than Infer traces in under 6 seconds on average due the the removal of irrelevant information.

T. Nguyen, Pavle Subotić, B. E. Chang · 0 citations
Preprint Aug 2026

Uncovering the Limits of Proof Sharing for Neural Networks

This study shows that template subsumption rates can vary widely across scenarios, and presents FastCert, a novel technique for automatically distributing templates across neural network layers to increase performance impact, eschewing templates entirely if they are unlikely to produce a speedup.

Kanak Das, Shubham Ugare, B. E. Chang et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.