Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Grants & Projects
- 6 Finished
-
Algorithm Diversity for Resilent Systems
Stoller, S. (PI) & Liu, Y. (CoPI)
US Navy Office of Naval Research
07/1/15 → 06/30/19
Project: Research
-
EAGER: From Clarity to Efficiency for Distributed Alogrithms
Liu, Y. (PI) & Stoller, S. (CoPI)
09/15/12 → 08/31/16
Project: Research
-
Invariant Rules for Software Producibility and Assurance
Liu, Y. (PI) & Stoller, S. (CoPI)
US Navy Office of Naval Research
03/15/09 → 09/30/10
Project: Research
-
Clarify and Efficiency in Design
Liu, Y. (PI) & Stoller, S. (CoPI)
09/1/06 → 08/31/11
Project: Research
-
From Rules to Analysis Algorithms with Time and Space Gaurantees
Liu, Y. (PI)
09/1/02 → 08/31/04
Project: Research
-
Alda: Integrating Logic Rules with Everything Else, Seamlessly (System Demonstration)
Liu, Y. A., Stoller, S. D., Tong, Y. & Lin, B., Feb 13 2025, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 416, p. 301-305 5 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Logical Lease Litigation: Prolog and LLMs for Rental Law Compliance in New York
Sehgal, S. & Liu, Y. A., Feb 13 2025, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 416, p. 59-68 10 p.Research output: Contribution to journal › Conference article › peer-review
Open Access1 Scopus citations -
LP-LM: No Hallucinations in Question Answering with Logic Programming
Wu, K. & Liu, Y. A., Feb 13 2025, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 416, p. 69-77 9 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Message from the Chairs
Allais, G. & Liu, Y. A., Jan 10 2025, In: PEPM 2025 - Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Co-located with: POPL 2025. p. III-IVResearch output: Contribution to journal › Editorial
-
Incremental Computation: What Is the Essence? (Invited Contribution)
Liu, Y. A., Jan 11 2024, PEPM 2024 - Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Co-located with: POPL 2024. Keller, G. & Wang, M. (eds.). Association for Computing Machinery, Inc, p. 39-52 14 p. (PEPM 2024 - Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Co-located with: POPL 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
5 Scopus citations