Shengyuan Wang

Orcid: 0000-0002-1363-0832

According to our database¹, Shengyuan Wang authored at least 28 papers between 2001 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

AlignBench: Benchmarking Chinese Alignment of Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2024

CritiqueLLM: Towards an Informative Critique Generation Model for Evaluation of Large Language Model Generation.

[BibT_eX]

[DOI]

Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2024

2023

AlignBench: Benchmarking Chinese Alignment of Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

Model-Based Offline Policy Optimization with Adversarial Network.

[BibT_eX]

[DOI]

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<sub>∞</sub>.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2022

2020

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

[BibT_eX]

[DOI]

IEEE Access, 2020

2019

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

[BibT_eX]

[DOI]

Ping Yang

Shengyuan Wang

计算机科学, 2019

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

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2019

Community detection based on Graph Coloring.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2014

VertexRank: Importance Rank for Software Network Vertices.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Shengyuan Wang

Yuan Dong

Sci. China Inf. Sci., 2011

PNTM Integration of Petri Nets and Transactional Memory.

[BibT_eX]

[DOI]

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

Transitions as Transactions.

[BibT_eX]

[DOI]

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

Compiler Backend Generation for Application Specific Instruction Set Processors.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ICDM 2009, 2009

Modular Certification of Low-Level Intermediate Representation Programs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2007

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

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.

[BibT_eX]

[DOI]

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

ORC-OpenMP: An OpenMP Compiler Based on ORC.

[BibT_eX]

[DOI]

Proceedings of the Computational Science, 2004

2002

Solving Inheritance Anomaly with OMNets.

[BibT_eX]

[DOI]

Jian Yu

Shengyuan Wang

Chongyi Yuan

J. Comput. Sci. Technol., 2002

2001

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

[BibT_eX]

[DOI]

Shengyuan Wang

Jian Yu

Chongyi Yuan

J. Comput. Sci. Technol., 2001

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

[BibT_eX]

[DOI]

Shengyuan Wang

Jian Yu

Chongyi Yuan

Proceedings of the Perspectives of System Informatics, 2001

Shengyuan Wang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...