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.

  • 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
Thread 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

1 Citation (Scopus)

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

Preface

Yew, P. C. & Stenström, P., Jan 1 2019, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11719 LNCS

Research output: Contribution to journalEditorial

1 Citation (Scopus)

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. (Proceedings of the ACM Conference on Computer and Communications Security).

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

Static analysis
Data storage equipment
Linux
1 Citation (Scopus)

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. 2 ed. Association for Computing Machinery, Vol. 53. p. 84-97 14 p. (ACM SIGPLAN Notices).

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. (VEE 2018 - Proceedings of the 2018 International Conference on Virtual Execution Environments).

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

Industry