Shengyuan Wang

According to our database, Shengyuan Wang authored at least 26 papers between 2001 and 2023.

Collaborative distances:

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

2023

AlignBench: Benchmarking Chinese Alignment of Large Language Models.

Xiao Liu, Xuanyu Lei, Shengyuan Wang, Yue Huang, Zhuoer Feng, Bosi Wen, Jiale Cheng, Pei Ke, Yifan Xu, Weng Lam Tam, Xiaohan Zhang, Lichao Sun, Hongning Wang, Jing Zhang, Minlie Huang, Yuxiao Dong, Jie Tang

CoRR, 2023

CritiqueLLM: Scaling LLM-as-Critic for Effective and Explainable Evaluation of Large Language Model Generation.

Pei Ke, Bosi Wen, Zhuoer Feng, Xiao Liu, Xuanyu Lei, Jiale Cheng, Shengyuan Wang, Aohan Zeng, Yuxiao Dong, Hongning Wang, Jie Tang, Minlie Huang

CoRR, 2023

Model-Based Offline Policy Optimization with Adversarial Network.

Junming Yang, Xingguo Chen, Shengyuan Wang, Bolei Zhang

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

A Gain-Scheduled Robust Controller for Autonomous Vehicles Path Tracking Based on LPV System With MPC and H_∞.

Ying Tian, Qiangqiang Yao, Peng Hang, Shengyuan Wang

IEEE Trans. Veh. Technol., 2022

2020

Control Strategies on Path Tracking for Autonomous Vehicle: State of the Art and Future Challenges.

Qiangqiang Yao, Ying Tian, Qun Wang, Shengyuan Wang

IEEE Access, 2020

2019

同步数据流语言可信编译器的研究进展 (Survey on Trustworthy Compilers for Synchronous Data-flow Languages).

Ping Yang, Shengyuan Wang

计算机科学, 2019

A formally verified transformation to unify multiple nested clocks for a Lustre-like language.

Gang Shi, Yucheng Zhang, Shu Shang, Shengyuan Wang, Yuan Dong, Pen-Chung Yew

Sci. China Inf. Sci., 2019

Community detection based on Graph Coloring.

Wei Liao, Kun Deng, Shengyuan Wang

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2019

2017

A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs.

Gang Shi, Yuanke Gan, Shu Shang, Shengyuan Wang, Yuan Dong, Pen-Chung Yew

Proceedings of the 39th International Conference on Software Engineering, 2017

2014

VertexRank: Importance Rank for Software Network Vertices.

Huan Luo, Yuan Dong, Yiying Ng, Shengyuan Wang

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2011

A verifiable low-level concurrent programming model based on colored Petri nets.

Shengyuan Wang, Yuan Dong

Sci. China Inf. Sci., 2011

PNTM Integration of Petri Nets and Transactional Memory.

Weiyi Wu, Yao Zhang, Shengyuan Wang, Yuan Dong

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

Transitions as Transactions.

Shengyuan Wang, Weiyi Wu, Yao Zhang, Yuan Dong

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

Compiler Backend Generation for Application Specific Instruction Set Processors.

Zhen Cao, Yuan Dong, Shengyuan Wang

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2009

Two birds with one stone: a graph-based framework for disambiguating and tagging people names in web search.

Lili Jiang, Jianyong Wang, Ning An, Shengyuan Wang, Jian Zhan, Lian Li

Proceedings of the 18th International Conference on World Wide Web, 2009

Domain-specific Pattern Matching Based Automatic Parallelization: Demonstrated by 2-D Prestack Migration.

Zhen Cao, Yuan Dong, Shengyuan Wang

Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

GRAPE: A Graph-Based Framework for Disambiguating People Appearances in Web Search.

Lili Jiang, Jianyong Wang, Ning An, Shengyuan Wang, Jian Zhan, Lian Li

Proceedings of the ICDM 2009, 2009

Modular Certification of Low-Level Intermediate Representation Programs.

Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine.

Yuan Dong, Kai Ren, Shengyuan Wang, Suqin Zhang

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2007

Improving Combinability of Petri Nets with Inheritance, Aggregation and Association.

Shengyuan Wang, Yuan Dong

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

2006

An extended openmp targeting on the hybrid architecture of SMP-cluster.

Yudi Zhao, Changjun Hu, Shengyuan Wang, Suqin Zhang

Proceedings of the IASTED International Conference on Advances in Computer Science and Technology, 2006

2004

A Functionality Based Instruction Level Software Power Estimation Model for Embedded RISC Processors.

Jia Chen, Shengyuan Wang, Yuan Dong, Guilan Dai, Yang Yang

Proceedings of the Embedded Software and Systems, First International Conference, 2004

ORC-OpenMP: An OpenMP Compiler Based on ORC.

Yongjian Chen, Jianjiang Li, Shengyuan Wang, Dingxing Wang

Proceedings of the Computational Science, 2004

2002

Solving Inheritance Anomaly with OMNets.

Jian Yu, Shengyuan Wang, Chongyi Yuan

J. Comput. Sci. Technol., 2002

2001

A Pragmatic Behavior Subtyping Relation Based on Both States and Actions.

Shengyuan Wang, Jian Yu, Chongyi Yuan

J. Comput. Sci. Technol., 2001

A Net-Based Multi-tier Behavior Inheritance Modelling Method.

Shengyuan Wang, Jian Yu, Chongyi Yuan

Proceedings of the Perspectives of System Informatics, 2001