Huisong Li

According to our database, Huisong Li authored at least 5 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Stateful implication logic based on perpendicular magnetic tunnel junctions.

Wenlong Cai, Mengxing Wang, Kaihua Cao, Huaiwen Yang, Shouzhong Peng, Huisong Li, Weisheng Zhao

Sci. China Inf. Sci., 2022

2018

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

Huisong Li

PhD thesis, 2018

2017

Semantic-directed clumping of disjunctive abstract states.

Huisong Li, Francois Berenger, Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2015

Shape Analysis for Unstructured Sharing.

Huisong Li, Xavier Rival, Bor-Yuh Evan Chang

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Abstract Domains and Solvers for Sets Reasoning.

Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015