Songtao Xia is a software engineer working in the Program Languages and Analysis group. My interests thus conveniently include programming languages and analysis. Previously I have been involved in the Singularity project, maintaining the Sing# compiler. Currently, I am developping Scooby: an analyzer for user defined .Net programs that process database tables. Examples of the properties Scooby discovers include:

• That a column in the output table relies on certain columns in the input table;
• Whether the rows of the output table have a 1-1 correspondence with rows of the input table;
• Whether a column in the output table is a constant, equal to a column in the input, or always nonnull.

Meanwhile, I am looking for new, challenging and practically important program analysis problems for .Net programs (that are otherwise not supported by the compiler). Chances are: you may "order" a custom-built analysis tool from us if you have such a problem in your development.