Songtao Xia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2004–2009
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | SAS | Inferring Dataflow Properties of User Defined Table Processors. | Songtao Xia, Manuel Fhndrich, Francesco Logozzo |
| 2007 | OOPSLA | Establishing object invariants with delayed types. | Manuel Fhndrich, Songtao Xia |
| 2006 | ATVA | Predicate Abstraction of Programs with Non-linear Computation. | Songtao Xia, Ben Di Vito, Csar A. Muoz |
| 2004 | VMCAI | Certifying Temporal Properties for Compiled C Programs. | Songtao Xia, James Hook |