Publications

• Safeguarding LLM Agents from Misalignment through Provenance Analysis

  Yining She, Yiliang Liang, Eunsuk Kang

  IEEE/ACM International Conference on Automated Software Engineering (ASE) 2026Conference
  Abstract

• Visual Consistency in Formal Modeling: An Empirical Evaluation

  Yiliang Liang, Avinash Palliyil, Eunsuk Kang, Joshua Sunshine

  ACM Transactions on Software Engineering and Methodology (TOSEM) 2026Journal
  PDFAbstractBibTeX

• Synthesizing Visual Specifications

  Yiliang Liang, Eunsuk Kang, Joshua Sunshine

  Workshop at the Intersection Human-Computer Interaction and Programming Languages (PLATEAU) 2026Workshop
  PDFAbstract

• Towards Better Formal Methods Visualizations

  Yiliang Liang, Avinash Palliyil, Eunsuk Kang, Joshua Sunshine

  Workshop at the Intersection Human-Computer Interaction and Programming Languages (PLATEAU) 2025Workshop
  PDFAbstractBibTeX