Guoqiang Li

Registered user since Tue 17 Sep 2019

Name:Guoqiang Li

Dr. Guoqiang Li is now an associate professor in school of software, Shanghai Jiao Tong University, and a guest associate professor in Kyushu 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 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, University of Oxford, during 2015-2016. His research interests include formal verification, programming language theory, data analytics, machine intelligence, and smart healthcare. He published more than 50 researches papers in the international journals and mainstream conferences, including TDSC, TOIT、TECS, FGCS, ASOC, SQJ, ASE、ICSE、CSCW、FORMATS, ATVA, etc..

Affiliation:Shanghai Jiao Tong University, China


SPLASH 2022 Author of Scalable Linear Invariant Generation with Farkas' Lemma within the 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
ASE 2019 Author of Discovering, Explaining and Summarizing Controversial Discussions in Community Q&A Sites 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
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