Grants & Projects per year
Personal profile
Fingerprint
Dive into the research topics where Yanhong Annie Liu is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Grants & Projects
- 21 Finished
-
Resilience Through Distribution, Replication, and Coordination
Stoller, S. D. (PI) & Liu, Y. A. (CoPI)
US Navy Office of Naval Research
08/6/21 → 08/8/22
Project: Research
-
SHF: Medium: Configuration for Assurance: Safe, Live, and Secure Distributed Systems
Liu, Y. A. (PI) & Stoller, S. D. (CoPI)
06/1/20 → 05/31/26
Project: Research
-
Knowledge and Reasoning for Drastic Program Improvement: Melding Formal and Statistical Approaches
Stoller, S. D. (PI) & Liu, Y. A. (CoPI)
US Navy Office of Naval Research
12/1/19 → 11/30/22
Project: Research
-
Algorithm Diversity for Resilent Systems
Stoller, S. D. (PI) & Liu, Y. A. (CoPI)
US Navy Office of Naval Research
07/1/15 → 06/30/19
Project: Research
-
BIGDATA: F: DKM: DKA: Big Data Modeling and Analysis with Depth and Scale
Ramakrishnan, C. R. (PI), Liu, Y. A. (CoPI), O'Leary, M. (CoPI), Ramakrishnan, I. V. (CoPI), Smolka, S. (CoPI) & Warren, D. S. (CoPI)
08/1/14 → 07/31/20
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
7 Scopus citations