Shengyuan Wang

14 papers A* 2B 4Misc 1Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2019 J jnl
A formally verified transformation to unify multiple nested clocks for a Lustre-like language.
Sci. China Inf. Sci.
Gang Shi, Yucheng Zhang, Shu Shang, Shengyuan Wang, Yuan Dong, Pen-Chung Yew
2017 — conf
A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs.
ICSE (Companion Volume)
Gang Shi, Yuanke Gan, Shu Shang, Shengyuan Wang, Yuan Dong, Pen-Chung Yew
2014 B conf
VertexRank: Importance Rank for Software Network Vertices.
COMPSAC
Huan Luo, Yuan Dong, Yiying Ng, Shengyuan Wang
2011 J jnl
A verifiable low-level concurrent programming model based on colored Petri nets.
Sci. China Inf. Sci.
Shengyuan Wang, Yuan Dong
2011 B conf
Compiler Backend Generation for Application Specific Instruction Set Processors.
APLAS
Zhen Cao, Yuan Dong, Shengyuan Wang
2011 — conf
PNTM Integration of Petri Nets and Transactional Memory.
PNSE
Weiyi Wu, Yao Zhang, Shengyuan Wang, Yuan Dong
2011 — conf
Transitions as Transactions.
PNSE
Shengyuan Wang, Weiyi Wu, Yao Zhang, Yuan Dong
2009 B conf
Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine.
APLAS
Yuan Dong, Kai Ren, Shengyuan Wang, Suqin Zhang
2009 B conf
Domain-specific Pattern Matching Based Automatic Parallelization: Demonstrated by 2-D Prestack Migration.
ICPADS
Zhen Cao, Yuan Dong, Shengyuan Wang
2009 A* conf
GRAPE: A Graph-Based Framework for Disambiguating People Appearances in Web Search.
ICDM
Lili Jiang, Jianyong Wang, Ning An, Shengyuan Wang, Jian Zhan, Lian Li
2009 — conf
Modular Certification of Low-Level Intermediate Representation Programs.
COMPSAC (1)
Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang
2009 A* conf
Two birds with one stone: a graph-based framework for disambiguating and tagging people names in web search.
WWW
Lili Jiang, Jianyong Wang, Ning An, Shengyuan Wang, Jian Zhan, Lian Li
2007 Misc conf
Improving Combinability of Petri Nets with Inheritance, Aggregation and Association.
TASE
Shengyuan Wang, Yuan Dong
2004 — conf
A Functionality Based Instruction Level Software Power Estimation Model for Embedded RISC Processors.
ICESS
Jia Chen, Shengyuan Wang, Yuan Dong, Guilan Dai, Yang Yang