This is the web page of Huisong Li, Ph.D. student in computer science.
Photo

Personal information:

I'm doing my Ph.D. at ENS Paris (in France), under the supervision of Xavier Rival. 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 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, François Bérenger, Xavier Rival, Bor-Yuh Evan Chang. In Principles Of Programming Languages 2017 (popl'17), Paris (France), January 2017 [.pdf]