This is the web page of Huisong Li, Ph.D. I'm now working for TrustInSoft.
Photo

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]