Senlin Liang

Sunus Technologies
7 Jerome Rd, Syosset, NY 11791
Phone: +1 (575) 571-0638
Email:senlin.liang@gmail.com

Education

Ph.D.


Computer Science, State University of New York at Stony Brook, 2013
Dissertation: Non-Termination Analysis and Cost-Based Optimization for Logic Programs
Advisor: Dr. Michael Kifer
M.S.


Computer Science, New Mexico State University, 2006
Project: Symmetry Breaking in Logic Programming
Advisor: Dr. Inna Pivkina
B.E. Computer Science and Technology, University of Science and Technology of China, 2004


Research Interests


Publications and Manuscripts

  1. Ph.D. Dissertation: Non-Termination Analysis and Cost-Based Optimization for Logic Programs
    Senlin Liang.
    2013, Department of Computer Science, Stony Brook University.
  2. Debugging and Profiling Rulelog Computations in Silk.
    Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, and Terrance Swift.
    WLPE 2013, Istanbul, Turkey.
  3. A Practical Analysis of Non-Termination in Large Logic Programs.
    Senlin Liang and Michael Kifer.
    ICLP 2013, Istanbul, Turkey. Also appeared in TPLP volume 13, issue 4-5.
  4. Advanced Knowledge Base Debugging for Rulelog.
    Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin Grosof, Michael Kifer, Senlin Liang, and Terrance Swift.
    Best Demo Award.
    RuleML 2013, Seattle, USA.
  5. Terminyzer: An Automatic Non-termination Analyzer of Logic Programs.
    Senlin Liang and Michael Kifer.
    PADL 2013, Rome, Italy.
  6. Deriving Predicates Statistics for Logic Rules.
    Senlin Liang and Michael Kifer.
    RR 2012, Vienna, Austria.
  7. Non-Termination Analysis and Cost-Based Query Optimization of Logic Programs.
    Senlin Liang.
    RR Doctoral Consortium 2012, Vienna, Austria.
  8. Deriving Predicate Statistics in Datalog.
    Senlin Liang and Michael Kifer.
    PPDP 2010, Hagenberg, Austria.
  9. OpenRuleBench: the Complete Report.
    Senlin Liang, Paul Fodor, Hui Wan, and Michael Kifer.
    Manuscript, 2009, Department of Computer Science, Stony Brook University.
  10. Logic Programming with Defaults and Argumentation Theories.
    Hui Wan, Benjamin Grosof, Michael Kifer, Paul Fodor, and Senlin Liang.
    ICLP 2009, Pasadena, California, USA.
  11. ETL Workflow Analysis and Verification Using Backwards Constraint Propagation.
    Jie Liu, Senlin Liang, Dan Ye, Jun Wei, and Tao Huang.
    CAiSE 2009, Amsterdam, The Netherlands.
  12. OpenRuleBench: An Analysis of the Performance of Rule Engines.
    Senlin Liang, Paul Fodor, Hui Wan, and Michael Kifer.
    WWW 2009, Madrid, Spain.
  13. Symmetry Breaking in Logic Programming.
    Senlin Liang.
    Master's Project, 2006.


Professional Services

  1. Member of the New York Academy of Sciences 2011, 2012.
  2. Program committe members: ICTAI 2011, 2012.
  3. Presentations: WWW 2009; PPDP 2010; RR 2012; RR Doctoral Consortium 2012; PADL 2013.
  4. Participated conferences: ISWC 2008, 2009; PADL 2013; PPDP 2010; RR 2008, 2009, 2012; WWW 2009.
  5. External reviewers: ICDE 2013; ICLP 2013; PADL 2009; PPDP 2013; PODS 2009; RuleML 2013; RR 2013; TOPLAS 2009; TKDE 2011.


Last updated: September 1, 2013