Origin of perpendicular magnetic anisotropy in amorphous thin films
Lordan, Daniel, Wei, Guannan, McCloskey, Paul, O'Mathuna, Cian, Masood, Ansar
Published in Scientific reports (12.02.2021)
Published in Scientific reports (12.02.2021)
Get full text
Journal Article
Sentiment Diffusion of Public Opinions about Hot Events: Based on Complex Network
Hao, Xiaoqing, An, Haizhong, Zhang, Lijia, Li, Huajiao, Wei, Guannan
Published in PloS one (13.10.2015)
Published in PloS one (13.10.2015)
Get full text
Journal Article
Staged abstract interpreters: fast and modular whole-program analysis via meta-programming
Wei, Guannan, Chen, Yuxuan, Rompf, Tiark
Published in Proceedings of ACM on programming languages (10.10.2019)
Published in Proceedings of ACM on programming languages (10.10.2019)
Get full text
Journal Article
The effect of Bi composition on the electrical properties of InP1-xBix
Wei, GuanNan, Dai, Xing, Feng, Qi, Luo, WenGang, Li, YiYang, Wang, Kai, Zhang, LiYao, Pan, WenWu, Wang, ShuMin, Yang, ShenYuan, Wang, KaiYou
Published in Science China. Physics, mechanics & astronomy (01.04.2017)
Published in Science China. Physics, mechanics & astronomy (01.04.2017)
Get full text
Journal Article
Magnetic coupling in ferromagnetic semiconductor GaMnAs/AlGaMnAs bilayer devices
Cao, YuFei, Li, YanYong, Li, YuanYuan, Wei, GuanNan, Ji, Yang, Wang, KaiYou
Published in Science China. Physics, mechanics & astronomy (01.08.2014)
Published in Science China. Physics, mechanics & astronomy (01.08.2014)
Get full text
Journal Article
Development of CoZrTaB laminated thin films with novel CMOS compatible dielectric material
Wei, Guannan, Das, Rajasree, Lordan, Daniel, Sai, Ranajit, Hayes, Mike, Lorenc, Marek, Clarke, Barry, Hurley, David, McCloskey, Paul
Published in IEEE transactions on magnetics (01.11.2023)
Published in IEEE transactions on magnetics (01.11.2023)
Get full text
Journal Article
Consolidating Smart Contracts with Behavioral Contracts
Wei, Guannan, Xie, Danning, Zhang, Wuqi, Yuan, Yongwei, Zhang, Zhuo
Published in Proceedings of ACM on programming languages (20.06.2024)
Published in Proceedings of ACM on programming languages (20.06.2024)
Get full text
Journal Article
Compiling symbolic execution with staging and algebraic effects
Wei, Guannan, Bračevac, Oliver, Tan, Shangyin, Rompf, Tiark
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Bračevac, Oliver, Wei, Guannan, Jia, Songlin, Abeysinghe, Supun, Jiang, Yuxuan, Bao, Yuyan, Rompf, Tiark
Published in Proceedings of ACM on programming languages (16.10.2023)
Published in Proceedings of ACM on programming languages (16.10.2023)
Get full text
Journal Article
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Zheng, Mingwei, Shi, Qingkai, Liu, Xuwei, Xu, Xiangzhe, Yu, Le, Liu, Congyu, Wei, Guannan, Zhang, Xiangyu
Published in Proceedings of ACM on programming languages (29.04.2024)
Published in Proceedings of ACM on programming languages (29.04.2024)
Get full text
Journal Article
Compiling Parallel Symbolic Execution with Continuations
Wei, Guannan, Jia, Songlin, Gao, Ruiqi, Deng, Haotian, Tan, Shangyin, Bracevac, Oliver, Rompf, Tiark
Published in 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) (01.05.2023)
Published in 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) (01.05.2023)
Get full text
Conference Proceeding
Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl)
Wei, Guannan, Decker, James, Rompf, Tiark
Published in Proceedings of ACM on programming languages (01.09.2018)
Published in Proceedings of ACM on programming languages (01.09.2018)
Get full text
Journal Article
BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation
Zhang, Zhuo, You, Wei, Tao, Guanhong, Wei, Guannan, Kwon, Yonghwi, Zhang, Xiangyu
Published in Proceedings of ACM on programming languages (01.10.2019)
Published in Proceedings of ACM on programming languages (01.10.2019)
Get full text
Journal Article
High Q-Factor PCB Embedded Flip-Chip Inductors With Multilayer CZTB Magnetic Sheet for Power Supply in Package (PwrSiP)
Jordan, Declan, Wei, Guannan, Ye, Liang, Lordan, Daniel, Podder, Pranay, Masood, Ansar, Rodgers, Kenneth, Mathuna, Cian O, McCloskey, Paul
Published in IEEE journal of emerging and selected topics in power electronics (01.02.2021)
Published in IEEE journal of emerging and selected topics in power electronics (01.02.2021)
Get full text
Journal Article
Design and fabrication of low-loss high-permeability soft magnetic mouldable composites for high-frequency power inductor applications
Baghbaderani, Hasan Ahmadian, Lal, Sumit Sukhbashi, Ye, Liang, Wei, Guannan, Sai, Ranajit, Morris, Michael A, McCloskey, Paul
Published in 2023 IEEE Applied Power Electronics Conference and Exposition (APEC) (19.03.2023)
Published in 2023 IEEE Applied Power Electronics Conference and Exposition (APEC) (19.03.2023)
Get full text
Conference Proceeding
Investigation of the Soft-Magnetic Properties of CoZrTaB Laminated Cores by Dielectric Layer Tuning
Wei, Guannan, Das, Rajasree, Lordan, Daniel, Lorenc, Marek, Clark, Barry, Hurley, David P. F., Hayes, Mike, O'Mathuna, Cian, Sai, Ranajit, McCloskey, Paul
Published in IEEE magnetics letters (2023)
Published in IEEE magnetics letters (2023)
Get full text
Journal Article