Sotabase
Home
Researchers
Career
·
Assistant Professor
,
National Taiwan University
2021–
·
Ph.D. Candidate
,
Columbia University
2016–2021
·
Research Assistant
,
Columbia University
2016–2021
Publications
(16)
Increased acute toxicity to fish caused by pharmaceuticals in hospital effluents in a pharmaceutical mixture and after solar irradiation.
Chemosphere · 2015
79
cited
A Secure and Formally Verified Linux KVM Hypervisor
IEEE Symposium on Security and Privacy · 2021
66
cited
ARM Virtualization: Performance and Architectural Implications
International Symposium on Computer Architecture · 2016
58
cited
Protecting Cloud Virtual Machines from Hypervisor and Host Operating System Exploits
USENIX Security Symposium · 2019
44
cited
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
Symposium on Operating Systems Principles · 2021
43
cited
Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor
USENIX Security Symposium · 2021
42
cited
Review Article: Wafer-level three-dimensional integrated circuits (3D IC): Schemes and key technologies
2011
39
cited
Ecotoxicological effect of ketamine: Evidence of acute, chronic and photolysis toxicity to Daphnia magna.
Ecotoxicology and Environmental Safety · 2017
32
cited
NEVE: Nested Virtualization Extensions for ARM
Symposium on Operating Systems Principles · 2017
28
cited
Optimizing the Design and Implementation of the Linux ARM Hypervisor
USENIX Annual Technical Conference · 2017
22
cited
A flexible and scalable IP paging protocol
Global Telecommunications Conference, 2002. GLOBECOM '02. IEEE · 2002
10
cited
Identifying Android Library Dependencies in the Presence of Code Obfuscation and Minimization
2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) · 2017
8
cited
Wafer-level three-dimensional integrated circuits ( 3 D IC ) : Schemes and key technologies
2011
8
cited
A Measurement Study of ARM Virtualization Performance
2015
3
cited
ARM Virtualization
OPSR · 2018
A Secure and Formally Verified Commodity Multiprocessor Hypervisor
2021
Sotabase
Shih-Wei Li | Researcher Profile | Sotabase | Sotabase