Towards array bound check elimination in Java TM virtual machine language. - Hongwei Xi 001; Songtao Xia (CASCON, 1999)

Verify Properties of Mobile Code. - Songtao Xia (ASE, 2001)

Experience with Abstraction-carrying Code. - Songtao Xia; James Hook (SoftMC@CAV, 2003)

Certifying Temporal Properties for Compiled C Programs. - Songtao Xia; James Hook (VMCAI, 2004)

Automated test generation for engineering applications. - Songtao Xia; Ben Di Vito; César A. Muñoz (ASE, 2005)

Predicate Abstraction of Programs with Non-linear Computation. - Songtao Xia; Ben Di Vito; César A. Muñoz (ATVA, 2006)

Establishing object invariants with delayed types. - Manuel Fähndrich; Songtao Xia (OOPSLA, 2007)

Inferring Dataflow Properties of User Defined Table Processors. - Songtao Xia; Manuel Fähndrich; Francesco Logozzo (SAS, 2009)

Direct Numerical Control (NC) Path Generation: From Discrete Points to Continuous Spline Paths. - Yu Liu; Songtao Xia; Xiaoping Qian (J. Comput. Inf. Sci. Eng., 2012)