LDTA 2003 Final Program 6 April 2003
(as of 10 Feb 2003)
- 09:00-10:30 Session 1 (Chair Barrett Bryant):
- -- coffee --
- 11:00-12:30 Session 2: (Chair João Saraiva)
- 11:00-11:30 Refactoring: Current Research and Future Trends,
Tom Mens, Serge Demeyer, Bart Du Bois, Hans Stenten, and Pieter Van Gorp
- 11:30-12:00 Coverage-driven Automated Compiler Test Suite Generation,
A. Kalinov, A. Kossatchev, A. Petrenko, M. Posypkin, and V. Shishkov
- 12:00-12:30 A Formally Verified Register Allocation Framework,
Kent Lee
- -- lunch --
- 14:00-16:00 Session 3: (Chair Marjan Mernik)
- -- coffee --
- 16:30-18:30 Session 4 (Chair Thomas Noll)
- 16:30-17:00 Exploiting XPG for Visual Languages: Definition, Analysis and Development, G. Costagliola, V. Deufemia, F. Ferrucci, and C. Gravino
- 17:00-17:30 Mixing Two Bibliography Style Languages, Jean-Michel Hufflen
- 17:30-18:00, CoordMaude: Simplifying Formal Coordination Specifications of Cooperation Environment, Marisol Sanchez-Alonso, Juan M. Murillo, and Juan Hernandez
- 18:00-18:30 Discussion and Closing by Barrett Bryant and João Saraiva
To download the entire proceedings as a tgz file, click here .