 |
Senlin Liang
Department of Computer Science
State University of New York at Stony Brook
Stony Brook, NY 11794-4400, USA
|
| Phone: | +1 (575) 571-0638 |
| Fax: | +1 (631) 632-7604 |
| Email: | sliang@cs.sunysb.edu |
|
|
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.
Education:
For ICLP'13 reviewers:
Terminyzer+: A Practical Analysis of Non-Termination in Large Logic Programs.
Senlin Liang and Michael Kifer.
Technical Report.
2013
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.