Xiaowei Shen

Using term rewriting systems to design and verify processors

Arvind Arvind, Xiaowei Shen · IEEE Micro · 1999 · 81 citations

Engineering, Computer Engineering, Computer Science +16

Performance of hardware compressed main memory

Bülent Abali, Hubertus Franke, Xiaowei Shen et al. · 2002 · 70 citations

Engineering, Computer Engineering, Computer Science +14

Commit-reconcile & fences (CRF): a new memory model for architects and compiler writers

Xiaowei Shen, Arvind Arvind, Larry Rudolph · 1999 · 58 citations

Computing, Computer Science, Computer Systems +17

Maximized atom utilization in a high-entropy metallene via single atom alloying for boosted nitrate electroreduction to ammonia

Yuanbo Zhou, Lifang Zhang, Mengfan Wang et al. · Nature Communications · 2025 · 50 citations · Full text

Natural Sciences, Chemistry, Materials Science +17

Flexible Snooping

Xiaowei Shen, Josep Torrellas · ACM SIGARCH Computer Architecture News · 2006 · 40 citations

Computing, Computer Engineering, Computer Science +13