This is the web page of Huisong Li, Ph.D. I'm now working for TrustInSoft.
Personal information:
I defended my Ph.D. at ENS Paris in March 2018, after preparing it under the supervision of
Xavier Rival.
My interests are in static analysis based on abstract interpretation.
E-mail: huisong A T di.ens.fr
Bureau: 2nd étage, "escalier de la direction", see the
map
Publications:
Abstract Domains and Solvers for Sets
Reasoning.
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.
[.pdf]
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.
[.pdf]
Semantic-Directed Clumping of Disjunctive Abstract States.
Huisong Li, Francois Berenger, Xavier Rival, Bor-Yuh Evan Chang.
In Principles Of Programming Languages 2017 (popl'17), Paris
(France), January 2017
[.pdf]
PhD defense slides.
[.pdf]
PhD manuscript
[.pdf]