Department of Computer Science
School of Computing
National University of Singapore
COM2-04-04, 13 Computing Drive
Email: shengyi [at] comp.nus.edu.sg
- Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas
Hobor and Wei-Ngan Chin. (2015). Certified reasoning with
infinity. In Proceedings of the 20th International Symposium
on Formal Methods, FM 2015. To appear.
Shengyi Wang, Zongyan Qiu, Shengchao Qin, and Wei-Ngan Chin. (2010).
Stack Bound Inference for Abstract Java Bytecode. In the
Proceedings of 4th IEEE Symposium on Theoretical Aspects of
Software Engineering (TASE 2010), pp57-66, August 25-27, 2010.
Taipei of Taiwan, China, IEEE CS, 2010.8.