76 citations · 80 across the 8 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019
A Relational Static Semantics for Call Graph Construction
Xilong Zhuo, Chenyi Zhang
The problem of resolving virtual method and interface calls in object-oriented languages has been a long standing challenge to the program analysis community. The complexities are…
cs.LO2019
Characterising Probabilistic Alternating Simulation for Concurrent Games
Chenyi Zhang, Jun Pang
Probabilistic game structures combine both nondeterminism and stochasticity, where players repeatedly take actions simultaneously to move to the next state of the concurrent game.…