Thi Viet Nga Nguyen

2005
6	EE	Thi Viet Nga Nguyen, François Irigoin: Efficient and effective array bound checking. ACM Trans. Program. Lang. Syst. 27(3): 527-570 (2005)
2003
5	EE	Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho: Automatic Detection of Uninitialized Variables. CC 2003: 217-231
4	EE	Thi Viet Nga Nguyen, François Irigoin: Advanced Program Analyses and Verifications. RIVF 2003: 77-82
3	EE	Thi Viet Nga Nguyen, François Irigoin: Alias Verification for Fortran Code Optimization. J. UCS 9(3): 270- (2003)
2002
2	EE	Thi Viet Nga Nguyen, François Irigoin: Alias verification for Fortran code optimization. Electr. Notes Theor. Comput. Sci. 65(2): (2002)
2001
1	EE	Corinne Ancourt, Thi Viet Nga Nguyen: Array resizing for scientific code debugging, maintenance and reuse. PASTE 2001: 32-37

Coauthor Index

1	Corinne Ancourt	[1] [5]
2	Fabien Coelho	[5]
3	François Irigoin	[2] [3] [4] [5] [6]