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

Safehidden: An efficient and secure information hiding technique using re-randomization

Wang, Z., Wu, C., Zhang, Y., Tang, B., Yew, P. C., Xie, M., Lai, Y., Kang, Y., Cheng, Y. & Shi, Z., Jan 1 2019, Proceedings of the 28th USENIX Security Symposium. USENIX Association, p. 1239-1256 18 p. (Proceedings of the 28th USENIX Security Symposium).

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

Data storage equipment
Flow control
Entropy
Experiments

Unleashing the power of learning: An enhanced learning-based approach for dynamic binary translation

Song, C., Wang, W., Yew, P. C., Zhai, A. & Zhang, W., Jan 1 2019, Proceedings of the 2019 USENIX Annual Technical Conference, USENIX ATC 2019. USENIX Association, p. 77-89 13 p. (Proceedings of the 2019 USENIX Annual Technical Conference, USENIX ATC 2019).

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

Semantics
Virtualization
3 Citations (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