Travelled to:2 × USA
Collaborated with:∅ A.Aquino F.A.Bianchi G.Denaro M.Pezzè
Talks about:constraint (2) program (2) analysi (2) proof (2) reus (2) scalabl (1)
Person: Meixian Chen
DBLP: Chen:Meixian
Contributed to:
20152014Wrote 2 papers:
- ISSTA-2015-AquinoBCDP #constraints #program analysis #proving #reuse
- Reusing constraint proofs in program analysis (AA, FAB, MC, GD, MP), pp. 305–315.
- ISSTA-2014-Chen #constraints #program analysis #proving #reuse #scalability
- Reusing constraint proofs for scalable program analysis (MC), pp. 449–452.