Songtao Xia

According to our database, Songtao Xia authored at least 9 papers between 1999 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

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

2009

Inferring Dataflow Properties of User Defined Table Processors.

Songtao Xia, Manuel Fähndrich, Francesco Logozzo

Proceedings of the Static Analysis, 16th International Symposium, 2009

2007

Establishing object invariants with delayed types.

Manuel Fähndrich, Songtao Xia

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2006

Predicate Abstraction of Programs with Non-linear Computation.

Songtao Xia, Ben Di Vito, César A. Muñoz

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Automated test generation for engineering applications.

Songtao Xia, Ben Di Vito, César A. Muñoz

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004

Certifying Temporal Properties for Compiled C Programs.

Songtao Xia, James Hook

Proceedings of the Verification, 2004

2003

Experience with Abstraction-carrying Code.

Songtao Xia, James Hook

Proceedings of the 2003 Workshop on Software Model Checking, 2003

2001

Verify Properties of Mobile Code.

Songtao Xia

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

1999

Towards array bound check elimination in Java ^TM virtual machine language.

Hongwei Xi, Songtao Xia

Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative Research, 1999