Travelled to:1 × Norway
Collaborated with:A.Hobor Qinxiang Cao Anshuman Mohan A.Sharma A.Costea W.Chin
Talks about:certifi (2) structur (1) program (1) manipul (1) within (1) reason (1) local (1) infin (1) graph (1) data (1)
Person: Shengyi Wang
DBLP: Wang:Shengyi
Contributed to:
2015
2019Wrote 2 papers:
- FM-2015-SharmaWCHC #infinity #reasoning
- Certified Reasoning with Infinity (AS, SW, AC, AH, WNC), pp. 496–513.
- OOPSLA-2019-WangCMH #c #data type #source code
- Certifying graph-manipulating C programs via localizations within data structures (SW, QC, AM, AH), p. 30.