If you made any changes in Pure, your changes 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.

  • 4 Similar Profiles
Data storage equipment Engineering & Materials Science
Compiler Mathematics
Hardware Engineering & Materials Science
Synchronization Engineering & Materials Science
Scheduling Engineering & Materials Science
Thread Mathematics
Cache Coherence Mathematics
Prefetching Mathematics

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

Check it again: Detecting lacking-recheck bugs in OS kernels

Wang, W., Lu, K. & Yew, P-C., Oct 15 2018, CCS 2018 - Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 1899-1913 15 p.

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

Static analysis
Data storage equipment
Linux
1 Citations

Enhancing cross-ISA DBT through automatically learned translation rules

Wang, W., McCamant, S. A., Zhai, A. B. & 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