Jiangyi Liu

According to our database, Jiangyi Liu authored at least 9 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Artifact of paper "Synthesizing Formal Semantics from Executable Interpreters".

Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J. C. Johnson, Thomas W. Reps, Loris D'Antoni

Dataset, August, 2024

Artifact of paper "Synthesizing Formal Semantics from Executable Interpreters".

Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J. C. Johnson, Thomas W. Reps, Loris D'Antoni

Dataset, July, 2024

Artifact of paper "Synthesizing Formal Semantics from Executable Interpreters".

Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J. C. Johnson, Thomas W. Reps, Loris D'Antoni

Dataset, July, 2024

Artifact of paper "Synthesizing Formal Semantics from Executable Interpreters".

Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J. C. Johnson, Thomas W. Reps, Loris D'Antoni

Dataset, July, 2024

Synthesizing Formal Semantics from Executable Interpreters.

Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J. C. Johnson, Thomas W. Reps, Loris D'Antoni

Proc. ACM Program. Lang., 2024

2023

Automated Ambiguity Detection in Layout-Sensitive Grammars.

Jiangyi Liu, Fengmin Zhu, Fei He

Proc. ACM Program. Lang., October, 2023

2022

Lay-it-out: Interactive Design of Layout-Sensitive Grammars.

Fengmin Zhu, Jiangyi Liu, Fei He

CoRR, 2022

2019

Particle Probability Hypothesis Density Filter Based on Pairwise Markov Chains.

Jiangyi Liu, Chunping Wang, Wei Wang, Zheng Li

Algorithms, 2019

2018

Particle Probability Hypothesis Density Filter based on Pairwise Markov Chains.

Jiangyi Liu, Chunping Wang, Wei Wang

CoRR, 2018