Ioannis Papadopoulos PhD Student Software & Systems Group Parasol Laboratory url: http://parasol.tamu.edu/~ipapadop/ Department of Computer Science and Engineering email: Texas A&M University office: 514E HRBB College Station, TX 77843-3112 tel: (979) 862-3411 USA fax: (979) 458-0718

Advisor: Lawrence Rauchwerger

Course Work

Resume: PS, PDF

Personal Page

• STAPL Testing Framework

Gabriel Tanase, Xiabing Xu, Antal Buss, Harshvardhan, Ioannis Papadopoulos, Olga Tkachyshyn, Timmie Smith, Nathan Thomas, Mauro Bianco, Nancy M. Amato, Lawrence Rauchwerger, "The STAPL pList," In Wkshp. on Lang. and Comp. for Par. Comp. (LCPC), Newark, Delaware, Oct 2009.
Proceedings(pdf, abstract)