Shengyuan Wang

Orcid: 0000-0002-1363-0832

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 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.
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.
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.
CoRR, 2023

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

Model-Based Offline Policy Optimization with Adversarial Network.
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>.
IEEE Trans. Veh. Technol., 2022

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

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

A formally verified transformation to unify multiple nested clocks for a Lustre-like language.
Sci. China Inf. Sci., 2019

Community detection based on Graph Coloring.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2019

2017
A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs.
Proceedings of the 39th International Conference on Software Engineering, 2017

2014
VertexRank: Importance Rank for Software Network Vertices.
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.
Sci. China Inf. Sci., 2011

PNTM Integration of Petri Nets and Transactional Memory.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

Transitions as Transactions.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

Compiler Backend Generation for Application Specific Instruction Set Processors.
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.
Proceedings of the 18th International Conference on World Wide Web, 2009

Domain-specific Pattern Matching Based Automatic Parallelization: Demonstrated by 2-D Prestack Migration.
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.
Proceedings of the ICDM 2009, 2009

Modular Certification of Low-Level Intermediate Representation Programs.
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.
Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2007
Improving Combinability of Petri Nets with Inheritance, Aggregation and Association.
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.
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.
Proceedings of the Embedded Software and Systems, First International Conference, 2004

ORC-OpenMP: An OpenMP Compiler Based on ORC.
Proceedings of the Computational Science, 2004

2002
Solving Inheritance Anomaly with OMNets.
J. Comput. Sci. Technol., 2002

2001
A Pragmatic Behavior Subtyping Relation Based on Both States and Actions.
J. Comput. Sci. Technol., 2001

A Net-Based Multi-tier Behavior Inheritance Modelling Method.
Proceedings of the Perspectives of System Informatics, 2001


  Loading...