LI, Yi bio photo

LI, Yi

Assistant Professor

School of Computer Science and Engineering (SCSE)
Nanyang Technological University (NTU)

Address: Block N4-02b-64
50 Nanyang Avenue, Singapore 639798
Phone: +65 6790 4287

Email Twitter LinkedIn Github Bitbucket Google Scholar

Publication

Journal Articles

  1. Semantic Slicing of Software Version Histories.
    Yi Li, Chenguang Zhu, Julia Rubin and Marsha Chechik.
    Transactions on Software Engineering, IEEE, 2018.
  2. Model Checking Approach to Automated Planning.
    Yi Li, Jin Song Dong, Jing Sun, Yang Liu and Jun Sun.
    Formal Methods in System Design, Springer, 2014.

Peer-reviewed Conferences

  1. Client-Specific Equivalence Checking.
    Federico Mora, Yi Li, Julia Rubin and Marsha Chechik.
    In Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering, to appear.
  2. CSlicerCloud: A Web-Based Semantic History Slicing Framework.
    Yi Li, Chenguang Zhu, Julia Rubin and Marsha Chechik.
    In Proceedings of the 40th International Conference on Software Engineering, ICSE 2018.
  3. Managing Software Evolution through Semantic History Slicing.
    Yi Li.
    In Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Doctoral Symposium.
  4. FHistorian: Locating Features in Version Histories.
    Yi Li, Chenguang Zhu, Julia Rubin and Marsha Chechik.
    In Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017.
  5. A Dataset for Dynamic Discovery of Semantic Changes in Version Controlled Software Histories.
    Chenguang Zhu, Yi Li, Julia Rubin and Marsha Chechik.
    In Proceedings of the 14th International Conference on Mining Software Repositories, MSR 2017.
  6. Precise Semantic History Slicing through Dynamic Delta Refinement.
    Yi Li, Chenguang Zhu, Julia Rubin and Marsha Chechik.
    In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016.
  7. Using Metric Temporal Logic to Specify Scheduling Problems.
    Roy Luo, Richard Valenzano, Yi Li, Christopher Beck and Sheila McIlraith.
    In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016.
  8. Semantic Slicing of Software Version Histories.
    Yi Li, Julia Rubin and Marsha Chechik.
    In Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015. This paper won an ACM Distinguished Paper Award.
  9. Angelic Verification: Precise Verification Modulo Unknowns.
    Ankush Das, Shuvendu Lahiri, Akash Lal and Yi Li.
    In Proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015.
  10. Management of Time Requirements in Component-based Systems.
    Yi Li, Tian Huat Tan and Marsha Chechik.
    In Proceedings of the 19th International Symposium on Formal Methods, FM 2014.
  11. Symbolic Optimization with SMT Solvers.
    Yi Li, Aws Albarghouthi, Zachary Kincaid, Arie Gurfinkel and Marsha Chechik.
    In Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014.
  12. UFO: Verification with Interpolants and Abstract Interpretation.
    Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki and Marsha Chechik.
    In Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013.
  13. Planning as Model Checking Tasks.
    Yi Li, Jing Sun, Jin Song Dong, Yang Liu and Jun Sun.
    In Proceedings of the 35th Annual IEEE Software Engineering Workshop, SEW-35.
  14. Translating PDDL into CSP# - the PAT Approach.
    Yi Li, Jing Sun, Jin Song Dong, Yang Liu and Jun Sun.
    In Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012.
  15. UFO: A Framework for Abstraction- and Interpolation-Based Software Verification.
    Aws Albarghouthi, Yi Li, Arie Gurfinkel and Marsha Chechik.
    In Proceedings of the 24th Conference on Computer Aided Verification, CAV 2012.

Theses

  1. Managing Software Evolution Through Semantic History Slicing. Ph.D. thesis
  2. Symbolic Abstraction with SMT Solvers. M.Sc. thesis
  3. Model Checking as Planning and Service. B.Comp. thesis