Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHao Chen 0023
Person information
- affiliation: University of Electronic Science and Technology of China, Chengdu, China
- affiliation: Yale University, New Haven, CT, USA
Other persons with the same name
- Hao Chen — disambiguation page
- Hao Chen 0001 — Boise State University, ID, USA (and 1 more)
- Hao Chen 0002
![[0000-0001-9857-6283]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0001-9857-6283")
— Hunan University, Changsha, China (and 1 more) - Hao Chen 0003 — University of California, Davis, CA, USA (and 1 more)
- Hao Chen 0004 — Pacific Forestry Centre, Victoria, BC, Canada (and 1 more)
- Hao Chen 0005 — Wuhan University, China
- Hao Chen 0006 — State University of New York, Binghamton, NY, USA
- Hao Chen 0007 — University of Tennessee Health Science Center, Memphis, TN, USA (and 1 more)
- Hao Chen 0008 — University of Sydney
- Hao Chen 0009 — DePaul University, Chicago, USA
- Hao Chen 0010 — Samsung Research America, Inc., Richardson, TX, USA (and 1 more)
- Hao Chen 0011 — The Hong Kong University of Science and Technology, China (and 2 more)
- Hao Chen 0012 — Tongji University, Department of Mathematics, Shanghai, China
- Hao Chen 0013 — Beijing University of Posts and Telecommunications Shenzhen Institute, Shenzhen, China (and 2 more)
- Hao Chen 0014 — Harbin Institute of Technology, Department of Information Engineering, China
- Hao Chen 0015 — Chongqing Normal University, School of Mathematics, China (and 1 more)
- Hao Chen 0016 — University of Luxembourg, Luxembourg (and 3 more)
- Hao Chen 0017 — University of Michigan, Ann Arbor, MI, USA (and 1 more)
- Hao Chen 0018 — Shanghai University of Engineering Science, China
- Hao Chen 0019 — Xi'an University of Technology, School of Mechanical & Instrumental Engineering, China
- Hao Chen 0020 — Shanghai Maritime University, China (and 1 more)
- Hao Chen 0021 — University of Waterloo, ON, Canada (and 4 more)
- Hao Chen 0022 — Nanjing University, School of Electronic Science and Engineering, China
- Hao Chen 0024 — Amazon Web Services, Seattle, WA, USA (and 1 more)
- Hao Chen 0025 — China University of Mining and Technology, School of Electrical and Power Engineering, Xuzhou, China (and 2 more)
- Hao Chen 0026 — Southeast University, National ASIC System Engineering Research Center, Nanjing, China
- Hao Chen 0027 — Zhejiang University, College of Control Science and Engineering, State Key Laboratory of Industrial Control Technology, Hangzhou, China
- Hao Chen 0028 — University of Melbourne, Department of Infrastructure Engineering, Parkville, VIC, Australia
- Hao Chen 0029 — Jinan University, College of Information Science and Technology / College of Cyber Security, Guangzhou, China (and 2 more)
- Hao Chen 0030 — Microsoft Research, Redmond, WA, USA
- Hao Chen 0031 — Chinese Academy of Sciences, Quanzhou Institute of Equipment Manufacturing, Jinjiang, China (and 1 more)
- Hao Chen 0032 — University of York, UK
- Hao Chen 0033 — Chinese Academy of Sciences, Institute of Remote Sensing and Digital Earth, Key Laboratory of Digital Earth Science, Beijing, China
- Hao Chen 0034 — City University of Hong Kong, Department of Mechanical Engineering, Hong Kong
- Hao Chen 0035 — University of Chinese Academy of Sciences, College of Materials Science and Opto-Electronic Technology, Beijing, China
- Hao Chen 0036 — Nanjing University, School of Electronic Science and Engineering, Nanjing, China (and 1 more)
- Hao Chen 0037 — University of Twente, Department of Biomechanical Engineering, The Netherlands
- Hao Chen 0038 — Zhejiang University of Technology, College of Information Engineering, Hangzhou, China
- Hao Chen 0039 — Beijing Institute of Technology, School of Automation, China (and 1 more)
- Hao Chen 0040 — Hunan Normal University, Key Laboratory of Low-dimensional Quantum Structures and Quantum Control of Ministry of Education, Changsha, China
- Hao Chen 0041 — University of Adelaide, School of Computer Science, SA, Australia
- Hao Chen 0042 — Central South University of Forestry and Technology, Changsha, China
- Hao Chen 0043 — Nanjing University of Science and Technology, School of Electronic and Optical Engineering, China
- Hao Chen 0044 — National University of Defense Technology, College of Intelligence Science and Technology, Changsha, China
- Hao Chen 0045 — Beihang University, School of Astronautics, Beijing, China
- Hao Chen 0046 — National University of Defense Technology, College of Electronic Science, Changsha, China
- Hao Chen 0047 — University of Electronic Science and Technology of China, Chengdu, China
- Hao Chen 0048 — KTH Royal Institute of Technology, School of Electrical Engineering and Computer Science, Stockholm, Sweden
- Hao Chen 0049 — Xi'an University of Posts and Telecommunications, School of Computer Science and Technology, China
- Hao Chen 0050 — Ningbo University, Faculty of Electrical Engineering and Computer Science, China
- Hao Chen 0051 — Hunan University, College of Computer Science and Electronic Engineering, Changsha, China (and 1 more)
- Hao Chen 0052 — Northeastern University, College of Medicine and Biological Information Engineering, Microscopic Image and Medical Image Analysis Group, Shenyang, China
- Hao Chen 0053 — Taiwan Semiconductor Manufacturing Company, Ltd, Hsinchu, Taiwan
- Hao Chen 0054 — Tsinghua University, Department of Materials Science and Engineering, Beijing, China (and 3 more)
- Hao Chen 0055 — Qingdao University, School of Business, China
- Hao Chen 0056 — Georgia Institute of Technology, Atlanta, GA, USA
- Hao Chen 0057 — Chang Gung University, Graduate Institute of Business and Management, Taoyuan City, Taiwan
- Hao Chen 0058 — Fujitsu R&D Center, Beijing, China
- Hao Chen 0059 — University of Texas at Austin, Department of Electrical and Computer Engineering, Austin, TX, USA
- Hao Chen 0060 — Nanchang Hangkong University, School of Information Engineering, Key Laboratory of Nondestructive Testing, Nanchang, China
- Hao Chen 0061 — University of Côte d'Azur, INRIA, Valbonne, France (and 1 more)
- Hao Chen 0062 — Hong Kong Polytechnic University (and 1 more)
- Hao Chen 0063 — Tongji University, College of Surveying and Geo-Informatics, Shanghai, China
- Hao Chen 0064 — University of California at Davis, Department of Statistics, Davis, CA, USA (and 1 more)
- Hao Chen 0065 — Osaka University, Graduate School of Engineering Science, Department of Systems Innovation, Osaka, Japan
- Hao Chen 0066 — University of Maryland, College Park, MD, USA (and 1 more)
- Hao Chen 0067 — University of Wisconsin-Madison, Department of Statistics, Madison, WI, USA
- Hao Chen 0068 — University of Maryland Baltimore County, Department of Computer Science and Electrical Engineering, Baltimore, MD, USA
- Hao Chen 0069 — China University of Mining and Technology, School of Mechanical Electronic and Information Engineering, Beijing, China
- Hao Chen 0070 — University of Electronic Science and Technology of China, National Key Laboratory of Science and Technology on Communications, Chengdu, China
- Hao Chen 0071 — University of Electronic Science and Technology of China, School of Information and Communication Engineering, Chengdu, China
- Hao Chen 0072 — Hefei University of Technology, College of Civil Engineering, Hefei, China
- Hao Chen 0073 — Technical University of Berlin, Institute of Geodesy and Geoinformation Science, Berlin, Germany
- Hao Chen 0074 — Shanghai Jiao Tong University, School of Mechanical Engineering and MoE Key Lab of Artificial Intelligence, Shanghai, China
- Hao Chen 0075 — Henan Polytechnic University, School of Emergency Management, Jiaozuo, China
- Hao Chen 0076 — North China Electric Power University, Department of Electrical Engineering, Baoding, China
- Hao Chen 0077 — Beihang University, School of Aeronautic Science and Engineering, Beijing, China
- Hao Chen 0078 — Zhejiang University, College of Electrical Engineering, Hangzhou, China
- Hao Chen 0079 — Second Hospital of Jilin University, Department of Orthopedics, Changchun, China
- Hao Chen 0080 — University of Science and Technology of China, School of Computer Science and Technology, Hefei, China
- Hao Chen 0081 — University of Chinese Academy of Sciences, HwaMei Hospital, Ningbo Institute of Life and Health Industry, Ningbo, China
- Hao Chen 0082 — Chinese Academy of Sciences, Institute of Tibetan Plateau Research, Key Laboratory of Tibetan Environment Changes and Land Surface Processes, Beijing, China
- Hao Chen 0083 — Beihang University, School of Automation Science and Electrical Engineering, Beijing, China
- Hao Chen 0084 — South China University of Technology, School of Electronic and Information, Guangzhou, China
- Hao Chen 0085 — Lanzhou University, School of Civil Engineering and Mechanics, Lanzhou, China
- Hao Chen 0086 — Harbin Institute of Technology, School of Electrical Engineering, Harbin, China
- Hao Chen 0087 (aka: Howard Chen 0008) — BMW Brilliance Automotive Ltd., Shenyang, China
- Hao Chen 0088 — China Tobacco Guangxi Industrial Company Ltd., Nanning, China
- Hao Chen 0089 — Affiliated Hospital of Nantong University, Information Department, Nantong, China
- Hao Chen 0090 — Changzhou University, School of Information Science and Engineering, Changzhou, China
- Hao Chen 0091 — Westlake University, School of Engineering, Hangzhou, China (and 1 more)
- Hao Chen 0092 — Chinese Academy of Sciences, Northwest Institute of Eco-Environment and Resources, Lanzhou, China
- Hao Chen 0093 — China Electronics Technology Corporation, 55th Research Institute, Nanjing, China (and 1 more)
- Hao Chen 0094 — Nanyang Technological University, School of Computer Science and Engineering, Singapore
- Hao Chen 0095 — East China Normal University, Software Engineering Institute, Shanghai, China (and 1 more)
- Hao Chen 0096 — Zhongshan University, Department of Mathematics, Guangdong, China
- Hao Chen 0097 — University of California, Department of Computer Science and Engineering, Riverside, CA, USA
- Hao Chen 0099 — National University of Defense Technology, College of Intelligence Science and Technology, Changsha, China (and 1 more)
- Hao Chen 0100 — Virginia Tech Transportation Institute, Blacksburg, VA, USA (and 1 more)
- Hao Chen 0101 — Wenzhou Medical University, Eye Hospital, School of Ophthalmology & Optometry, Wenzhou, China
- Hao Chen 0102 — Carnegie Mellon University, PA, USA
- Hao Chen 0103 — University of Chinese Academy of Sciences, School of Artificial Intelligence, Beijing, China (and 1 more)
- Hao Chen 0104 — NielsenIQ, Research & Development, Precima, Chicago, IL, USA (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j5]Jieung Kim, Jérémie Koenig, Hao Chen, Ronghui Gu, Zhong Shao:
ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions. J. Syst. Archit. 147: 103046 (2024)- 2022
- [j4]Mengqi Liu, Zhong Shao, Hao Chen, Man-Ki Yoon, Jung-Eun Kim:
Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation. Proc. ACM Program. Lang. 6(OOPSLA2): 60-88 (2022) - 2021
- [c4]Man-Ki Yoon, Mengqi Liu, Hao Chen, Jung-Eun Kim, Zhong Shao:
Blinder: Partition-Oblivious Hierarchical Scheduling. USENIX Security Symposium 2021: 2417-2434
2010 – 2019
- 2019
- [j3]Ronghui Gu, Zhong Shao, Hao Chen, Jieung Kim, Jérémie Koenig, Xiongnan (Newman) Wu, Vilhelm Sjöberg, David Costanzo:
Building certified concurrent OS kernels. Commun. ACM 62(10): 89-99 (2019) - [j2]Xiaorui Zhu, Chen Liang, Zhen-guo Yin, Zhong Shao, Meng-qi Liu, Hao Chen:
A new hierarchical software architecture towards safety-critical aspects of a drone system. Frontiers Inf. Technol. Electron. Eng. 20(3): 353-362 (2019) - [i1]Xiaorui Zhu, Chen Liang, Zhen-guo Yin, Zhong Shao, Meng-qi Liu, Hao Chen:
A New Hierarchical Software Architecture Towards Safety-Critical Aspects of a Drone System. CoRR abs/1905.06768 (2019) - 2018
- [j1]Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu:
Toward Compositional Verification of Interruptible OS Kernels and Device Drivers. J. Autom. Reason. 61(1-4): 141-189 (2018) - [c3]Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, Tahina Ramananandro:
Certified concurrent abstraction layers. PLDI 2018: 646-661 - 2016
- [c2]Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjöberg, David Costanzo:
CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. OSDI 2016: 653-669 - [c1]Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu:
Toward compositional verification of interruptible OS kernels and device drivers. PLDI 2016: 431-447
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-09 23:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
