Shu-Yu Guo

14 papers A* 4A 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Cognitive Mismatch in Multimodal Large Language Models for Discrete Symbol Understanding.
CoRR
Yinghui Li, Jiayi Kuang, Peng Xing, Daixian Liu, Junnan Dong, Shu-Yu Guo, Yangning Li, Qingyu Zhou, Wenhao Jiang, Hai-Tao Zheng, Ying Shen, Liang Lin, Philip S. Yu
2025 — conf
MKT: A Multi-Stage Knowledge Transfer Framework to Mitigate Catastrophic Forgetting in Multi-Domain Chinese Spelling Correction.
EMNLP (Industry Track)
Peng Xing, Yinghui Li, Shirong Ma, Xinnian Liang, Haojing Huang, Yangning Li, Shu-Yu Guo, Hai-Tao Zheng, Wenhao Jiang, Ying Shen
2025 A* conf
Refine Knowledge of Large Language Models via Adaptive Contrastive Learning.
ICLR
Yinghui Li, Haojing Huang, Jiayi Kuang, Yangning Li, Shu-Yu Guo, Chao Qu, Xiaoyu Tan, Hai-Tao Zheng, Ying Shen, Philip S. Yu
2025 J jnl
Refine Knowledge of Large Language Models via Adaptive Contrastive Learning.
CoRR
Yinghui Li, Haojing Huang, Jiayi Kuang, Yangning Li, Shu-Yu Guo, Chao Qu, Xiaoyu Tan, Hai-Tao Zheng, Ying Shen, Philip S. Yu
2025 — conf
Rethinking the Roles of Large Language Models in Chinese Grammatical Error Correction.
ACL (6)
Yinghui Li, Shang Qin, Jingheng Ye, Haojing Huang, Yangning Li, Shu-Yu Guo, Libo Qin, Xuming Hu, Wenhao Jiang, Hai-Tao Zheng, Philip S. Yu
2020 J jnl
Repairing and Mechanising the JavaScript Relaxed Memory Model.
CoRR
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-Yu Guo
2020 A* conf
Repairing and mechanising the JavaScript relaxed memory model.
PLDI
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-Yu Guo
2018 — conf
EMME: A Formal Tool for ECMAScript Memory Model Evaluation.
TACAS (2)
Cristian Mattarei, Clark W. Barrett, Shu-Yu Guo, Bradley Nelson, Ben Smith
2018 J jnl
EMME: a formal tool for ECMAScript Memory Model Evaluation.
CoRR
Cristian Mattarei, Clark W. Barrett, Shu-Yu Guo, Bradley Nelson, Ben Smith
2015 J jnl
Optimization Coaching for JavaScript (Artifact).
Dagstuhl Artifacts Ser.
Vincent St-Amour, Shu-Yu Guo
2015 A conf
Optimization Coaching for JavaScript.
ECOOP
Vincent St-Amour, Shu-Yu Guo
2012 A* conf
Fast and precise hybrid type inference for JavaScript.
PLDI
Brian Hackett, Shu-Yu Guo
2011 A* conf
The essence of compiling with traces.
POPL
Shu-Yu Guo, Jens Palsberg
2007 — conf
Lazy Contract Checking for Immutable Data Structures.
IFL
Robert Bruce Findler, Shu-Yu Guo, Anne Rogers