Shengyuan Wang

Affiliations:
  • Department of Computer Science and Technology, Tsinghua University, Beijing, China


According to our database1, Shengyuan Wang authored at least 14 papers between 2004 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2004
2006
2008
2010
2012
2014
2016
2018
0
1
2
3
4
5
6
1
1
1
1
3
5
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
A formally verified transformation to unify multiple nested clocks for a Lustre-like language.
Sci. China Inf. Sci., 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

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


  Loading...