Publications

  • Yue Niu

Entries

■ Reference. Integrating Resource Analyses via Resource Decomposition [pham-niu-glover-saad-hoffmann-2025]

  • October 2025
  • Long Pham, Yue Niu, Nathan Glover, Feras Saad, Jan Hoffmann
  • OOPSLA '25
  • doi:10.1145/3763798

■ Reference. Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory [niu-sterling-harper-2024]

■ Reference. Decalf: A Directed, Effectful Cost-Aware Logical Framework [grodin-harper-niu-sterling-2023]

■ Reference. A Metalanguage for Cost-Aware Denotational Semantics [niu-harper-2023]

■ Reference. A Cost-Aware Logical Framework [niu-sterling-grodin-harper-2022]

■ Reference. Automatic Space Bound Analysis for Functional Programs with Garbage Collection [niu-hoffmann]