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:
Collaborative distances:
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 OtherLinks
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
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014
2011
Sci. China Inf. Sci., 2011
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011
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
Proceedings of the ICDM 2009, 2009
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
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