Thi Viet Nga Nguyen

Publication Activity (10 Years)

Years Active: 2001-2005
Publications (10 Years): 0

Publications

Thi Viet Nga Nguyen, François Irigoin
Efficient and effective array bound checking. ACM Trans. Program. Lang. Syst. 27 (3) (2005)
Thi Viet Nga Nguyen, François Irigoin
Alias Verification for Fortran Code Optimization. J. Univers. Comput. Sci. 9 (3) (2003)
Thi Viet Nga Nguyen, François Irigoin
Advanced Program Analyses and Verifications. RIVF (2003)
Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho
Automatic Detection of Uninitialized Variables. CC (2003)
Thi Viet Nga Nguyen, François Irigoin
Alias verification for Fortran code optimization. Electron. Notes Theor. Comput. Sci. 65 (2) (2002)
Corinne Ancourt, Thi Viet Nga Nguyen
Array resizing for scientific code debugging, maintenance and reuse. PASTE (2001)