This is the web page of Huisong Li, Ph.D. student in computer science.
I'm doing my Ph.D. at ENS Paris (in France), under the supervision of
My interests are in static analysis based on abstract interpretation.
Currently, I am mainly working on shape analysis.
E-mail: huisong A T di.ens.fr
Bureau: 2nd étage, "escalier de la direction", see the
Abstract Domains and Solvers for Sets
Arlen Cox, Bor-Yuh Evan Chang, Huisong Li and Xavier Rival.
In Logic for Programming, Artificial Intelligence, and Reasoning
(LPAR'15), Suva (Fidji), December 2015,
Lecture Notes in Computer Science 9450, pages 356--371, Springer.
Shape Analysis for Unstructured Sharing.
Huisong Li, Xavier Rival, Bor-Yuh Evan Chang.
In Static Analysis Symposium (SAS'15), Saint-Malo (France), September 2015, Lecture Notes in Computer Science 9291, pages 90--108, Springer.
Semantic-Directed Clumping of Disjunctive Abstract States.
Huisong Li, François Bérenger, Xavier Rival, Bor-Yuh Evan Chang.
In Principles Of Programming Languages 2017 (popl'17), Paris
(France), January 2017