Abstract Domains and Solvers for Sets Reasoning. - Arlen Cox; Bor-Yuh Evan Chang; Huisong Li; Xavier Rival (LPAR, 2015)

Shape Analysis for Unstructured Sharing. - Huisong Li; Xavier Rival; Bor-Yuh Evan Chang (SAS, 2015)

Semantic-directed clumping of disjunctive abstract states. - Huisong Li; Francois Berenger; Bor-Yuh Evan Chang; Xavier Rival (POPL, 2017)

Shape Abstractions with Support for Sharing and Disjunctions. (Abstractions de la Forme des Structures de Données Supportant Partage et Disjonctions). - Huisong Li (2018)

Stateful implication logic based on perpendicular magnetic tunnel junctions. - Wenlong Cai; Mengxing Wang 001; Kaihua Cao; Huaiwen Yang; Shouzhong Peng; Huisong Li; Weisheng Zhao (Sci. China Inf. Sci., 2022)