Senlin Liang is a fifth year Ph.D student and his advisor is Dr. Michael Kifer.
Research Interests: Query optimization, The Semantic Web, Deductive database, Logic programming.
|Ph.D.||Computer Science||State University of New York at Stony Brook||2012 (expected)|
|M.S.||Computer Science||New Mexico State University||2006|
|B.E.||Computer Science and Technology||University of Science and Technology of China||2004|
For ICLP'13 reviewers:
Terminyzer+: A Practical Analysis of Non-Termination in Large Logic Programs.
Senlin Liang and Michael Kifer.
Tests and results:
T1 program, T1 log, T1 results.
T2 program, T2 log, T2 results.
T3 program, T3 log, T3 results.
T4 program, T4 log, T4 results.
T5 program, T5 log, T5 results.
Auto-repaired programs that terminates: T2 fixed program, T4 fixed program.