Computation Tree Logic Guided Program Repair.
CoRR, February, 2025
Detecting LLM Fact-conflicting Hallucinations Enhanced by Temporal-logic-based Reasoning.
CoRR, February, 2025
Inferring Incorrectness Specifications for Object-Oriented Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025
ProveNFix: Temporal Property-Guided Program Repair.
Proc. ACM Softw. Eng., 2024
Specification and Verification for Unrestricted Algebraic Effects and Handling.
Proc. ACM Program. Lang., 2024
Staged Specification Logic for Verifying Higher-Order Imperative Programs.
Proceedings of the Formal Methods - 26th International Symposium, 2024
Staged Specifications for Automated Verification of Higher-Order Imperative Programs.
CoRR, 2023
Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection.
Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023
Sensitivity analysis of environmental impact of milk powder spray drying system based on intelligent algorithm.
J. Intell. Fuzzy Syst., 2022
Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm.
Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022
Automated Temporal Verification for Algebraic Effects.
Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022
A Synchronous Effects Logic for Temporal Verification of Pure Esterel.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
Automated Temporal Verification of Integrated Dependent Effects.
Proceedings of the Formal Methods and Software Engineering, 2020
Research Topic Recommendation Based on Latent Dirichlet Allocation.
Proceedings of the 14th IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2019
Fluid re-simulation based on physically driven model from video.
Vis. Comput., 2017
Physically-based enhancement in shallow water resimulation.
Int. J. Model. Simul. Sci. Comput., 2016
3D fluid scene synthesis and animation.
Proceedings of the 13th ACM SIGGRAPH International Conference on Virtual-Reality Continuum and its Applications in Industry, 2014