| * | 2009 |
|---|
| 8 | EE | Songtao Xia,
Manuel Fähndrich,
Francesco Logozzo:
Inferring Dataflow Properties of User Defined Table Processors.
SAS 2009: 19-35 |
| 2007 |
|---|
| 7 | EE | Manuel Fähndrich,
Songtao Xia:
Establishing object invariants with delayed types.
OOPSLA 2007: 337-350 |
| 2006 |
|---|
| 6 | EE | Songtao Xia,
Ben Di Vito,
César Muñoz:
Predicate Abstraction of Programs with Non-linear Computation.
ATVA 2006: 352-368 |
| 2005 |
|---|
| 5 | EE | Songtao Xia,
Ben Di Vito,
César Muñoz:
Automated test generation for engineering applications.
ASE 2005: 283-286 |
| 2004 |
|---|
| 4 | EE | Songtao Xia,
James Hook:
Certifying Temporal Properties for Compiled C Programs.
VMCAI 2004: 161-174 |
| 2003 |
|---|
| 3 | EE | Songtao Xia,
James Hook:
Experience with Abstraction-carrying Code.
Electr. Notes Theor. Comput. Sci. 89(3): (2003) |
| 2001 |
|---|
| 2 | EE | Songtao Xia:
Verify Properties of Mobile Code.
ASE 2001: 440 |
| 1999 |
|---|
| 1 | EE | Hongwei Xi,
Songtao Xia:
Towards array bound check elimination in Java TM virtual machine language.
CASCON 1999: 14 |
