Bor-Yuh Evan Chang
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Prog. Lang.×1Logic×1
Frequent co-authors
Research Timeline
2026
DissProve: Automated Verification of Distributed Protocols with Affine Communication
This paper presents an automated verification technique for safety properties of affine distributed protocols with an unbounded number of actors.
Highlighted terms show continued research focus across papers