Guoqiang Li

Registered user since Tue 17 Sep 2019

Name:Guoqiang Li

Dr. Guoqiang Li is now an associate professor in the School of Software, Shanghai Jiao Tong University. He received the B.S., M.S., and Ph.D. degrees from Taiyuan University of Technology, Shanghai Jiao Tong University, and Japan Advanced Institute of Science and Technology in 2001, 2005, and 2008, respectively. He worked as a postdoctoral research fellow in the graduate school of information science, Nagoya University, Japan, during 2008–2009, as an assistant professor in the school of software, Shanghai Jiao Tong University, during 2009–2013, and as an academic visitor in the department of computer science, the University of Oxford during 2015-2016. His research interests include formal verification, programming language theory, knowledge representation, reasoning and verification. He published more than 100 academic papers in top international journals including TSE, TDSC, TSC, TII, etc., and mainstream conferences, including OPPSLA, ICSE, ASE, FSE, CSCW, etc.

Affiliation:Shanghai Jiao Tong University


SPLASH 2022 Author of Scalable Linear Invariant Generation with Farkas’ Lemma within the V-OOPSLA-track
ESEC/FSE 2020 Author of Object Detection for Graphical User Interface: Old Fashioned or Deep Learning or a Combination? within the Research Papers-track
ICSE 2020 Author of Unblind Your Apps: Predicting Natural-Language Labels for Mobile GUI Components by Deep Learning within the Technical Papers-track
Author of Seenomaly: Vision-Based Linting of GUI Animation Effects Against Design-Don’t Guidelines within the Technical Papers-track
Author of Easy-to-Deploy API Extraction by Multi-Level Feature Embedding and Transfer Learning within the Journal First-track
ASE 2019 Author of Discovering, Explaining and Summarizing Controversial Discussions in Community Q&A Sites within the Research Papers-track
ICSE 2019 Author of ActionNet: Vision-based Workflow Action Recognition From Programming Screencasts within the Technical Track-track
* ICSE 2018 * Author of Poster T1: An Efficient Approach for Verifying Automobile Distributed Application Systems on Timing Property within the Posters -track