Shufang Zhu

 

School of Computer Science and Software Engineering, East China Normal University

Department of Computer Science, Rice University

Email: shufang.zhu.szhu@gmail.com

 

 

I am a fourth-year graduate student in the School of Computer Science and Software Engineering at East China Normal University. Currently, I am also a visiting PhD student at Department of Computer Science at Rice University. I am advised by Prof. Geguang Pu and Prof. Moshe Y. Vardi.

My research interests are in:

  • Model Checking
  • Program Synthesis

Publications

First-Order vs. Second-Order for LTLf-to-Automata: An Extended Abstract. Shufang Zhu, Geguang Pu, Moshe Y. Vardi (To appear)

An Explicit Transition System Construction Approach to LTL Satisfiability Checking. Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He. (Formal Asp. Comput. 30, 2 (2018), 193–217)

A Symbolic Approach to Safety LTL Synthesis.  Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu and Moshe Y. Vardi. (HVC2017)

Safety Model Checking with Complementary Approximations. Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi. (ICCAD2017)

Symbolic LTLf Synthesis.  Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu and Moshe Y. Vardi. (IJCAI2017)

SAT-Based Explicit LTL Reasoning. Jianwen Li, Shufang Zhu, Geguang Pu and Moshe Y. Vardi. (HVC2015)

News

June 1, 2018 First internship started! Excited!!!

May 16, 2018 Paper “First-Order vs. Second-Order for LTLf-to-Automata: An Extended Abstract” is accepted to WiL 2018.

February 28, 2018 Back to East China Normal University.

February 16, 2018 Happy Lunar New Year!!!

October 19, 2017 Paper “An Explicit Transition System Construction Approach to LTL Satisfiability Checking” is accepted to  journal Formal Aspects of Computing.

September 1, 2017 Paper “A Symbolic Approach to Safety LTL synthesis” is accepted to HVC2017.

August 16, 2017  I will attend the conference IJCAI 2017 (Aug 19-26) held in Melbourne, Australia.

June 28, 2017  First time paper review!

June 26, 2017  Paper “Safety model checking with complimentary approximations” is accepted to ICCAD2017.

April 24, 2017 Paper “Symbolic LTLf Synthesis” is accepted to IJCAI2017.

August 16, 2016  Arrived at Rice University as a visiting PhD student.