Huisong Li

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 4

Top Topics

Knowledge Representation

Shape Properties

Semantically Equivalent

Contour Completion

Top Venues

Sci. China Inf. Sci.

École Normale Supérieure, Paris, France (PHD)

Education History

École Normale Supérieure, Paris, France

PHD

Publications

Wenlong Cai, Mengxing Wang, Kaihua Cao, Huaiwen Yang, Shouzhong Peng, Huisong Li, Weisheng Zhao
Stateful implication logic based on perpendicular magnetic tunnel junctions. Sci. China Inf. Sci. 65 (2) (2022)
Huisong Li, Francois Berenger, Bor-Yuh Evan Chang, Xavier Rival
Semantic-directed clumping of disjunctive abstract states. POPL (2017)
Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival
Abstract Domains and Solvers for Sets Reasoning. LPAR (2015)
Huisong Li, Xavier Rival, Bor-Yuh Evan Chang
Shape Analysis for Unstructured Sharing. SAS (2015)