If you made any changes in Pure these will be visible here soon.

Fingerprint The Fingerprint is created by mining the titles and abstracts of the person's research outputs and projects/funding awards to create an index of weighted terms from discipline-specific thesauri.

  • 5 Similar Profiles
Data storage equipment Engineering & Materials Science
Compiler Mathematics
Hardware Engineering & Materials Science
Synchronization Engineering & Materials Science
Scheduling Engineering & Materials Science
Cache Coherence Mathematics
Buffer storage Engineering & Materials Science
Parallel processing systems Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2007 2019

Research Output 1981 2019

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

Shi, G., Zhang, Y., Shang, S., Wang, S., Dong, Y. & Yew, P. C., Jan 1 2019, In : Science China Information Sciences. 62, 1, 12801

Research output: Contribution to journalArticle

Clocks
1 Citations

Enhancing cross-ISA DBT through automatically learned translation rules

Wang, W., McCamant, S., Zhai, A. & Yew, P. C., Mar 19 2018, ASPLOS 2018 - 23rd International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 84-97 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Binary codes

Improving dynamically-generated code performance on dynamic binary translators

Wang, W., Wu, J., Gong, X., Li, T. & Yew, P. C., Mar 25 2018, VEE 2018 - Proceedings of the 2018 International Conference on Virtual Execution Environments. Association for Computing Machinery, Inc, p. 17-30 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Industry

RARE: An Efficient Static Fault Detection Framework for Definition-Use Faults in Large Programs

Zhong, L., Yew, P. C., Huo, W., Li, F., Feng, X. & Zhang, Z., Feb 13 2018, In : IEEE Access. 6, p. 10432-10444 13 p.

Research output: Contribution to journalArticle

Binary decision diagrams
Fault detection
Application programs
Scalability
Buffers

A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs

Shi, G., Gan, Y., Shang, S., Wang, S., Dong, Y. & Yew, P. C., Jun 30 2017, Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017. Institute of Electrical and Electronics Engineers Inc., p. 109-111 3 p. 7965271

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics