Thuan Quang Huynh

Memory model sensitive bytecode verification

Thuan Quang Huynh, Abhik Roychoudhury, 2007, Formal Methods Syst. Des..

Extracting Symbolic Representations Learned by Neural Networks

Thuan Quang Huynh, 2012 .

A Memory Model Sensitive Checker for C#

Thuan Quang Huynh, Abhik Roychoudhury, 2006, FM.