Shufang Zhu

School of Computer Science and Software Engineering

East China Normal University

Email: shufang.zhu.szhu@gmail.com

I am a fifth-year graduate student in the School of Computer Science and Software Engineering at East China Normal University.  I am advised by Prof. Geguang Pu and Prof. Moshe Y. Vardi from Rice University.

 

My research interests are in:

  • Program Synthesis
  • Model Checking

My works are in formal verification and synthesis, specifically focusing on developing techniques for synthesis from temporal specifications.

Publications

SAT-based Explicit LTL Reasoning and Its Application to Satisfiability Checking. Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi. (Form Methods Syst Des (2019))

First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation. 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

April 11, 2019 I will attend the conference ICST 2019 (Apr 22-27) held in Xian, China.

April 10, 2019 I will attend the conference TAMC 2019 (Apr 13-16) held in Kitakyushu, Japan.

April 1, 2019 Gave an invited talk at Sapienza Universita’ di Roma about “Temporal Synthesis with Reachability and Safety Goals”.

March 28, 2019 Gave an invited talk at Université Libre de Bruxelles (ULB) about “Temporal Synthesis with Reachability and Safety Goals”.

February 5, 2019 Happy Lunar New Year!!!

January 7, 2019 Paper “First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation” is accepted to TAMC 2019.

January 3, 2019 Journal paper “SAT-based Explicit LTL Reasoning and Its Application to Satisfiability Checking” to Form Methods Syst Des is online!!!

December 31, 2018 Happy New Year!

December 24, 2018 Merry Christmas!

November 2, 2018 I will attend the conference FMAC 2018 (Nov 3-4) held in Chongqing, China.

September 2, 2018 I will attend the conference CONFESTA 2018 (Sep 3-8) held in Beijing, China.

August 31, 2018 The internship in the OS Kernel lab of HUAWEI finished. I will miss here 🙁

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.