default search action

combined dblp search
author search
venue search
publication search

ask others

Hao Chen 0023

> Home > Persons

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

see FAQ

Hao Chen — disambiguation page
Hao Chen 0001 — Boise State University, ID, USA (and 1 more)
Hao Chen 0002 — 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 — Hong Kong University of Science and Technology, Hong Kong (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 — Shanghai Artificial Intelligence Laboratory, Shanghai, China (and 1 more)
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)
Hao Chen 0105 — Nankai University, Department of Social Psychology, Tianjin, China
Hao Chen 0106 — Guangzhou University, Machine Life and Intelligence Research Centre, School of Mathematics and Information Science, China
Hao Chen 0107 — Zhejiang University, School of Aeronautics and Astronautics, China
Hao Chen 0108 — Nanyang Technological University, School of Mechanical and Aerospace Engineering, Jurong West, Singapore

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/KimKCGS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/KimKCGS24
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)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/secdev/FraserLS0WBCS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secdev/FraserLS0WBCS24
Timothy Fraser, Xuwei Liu, Qingkai Shi, Xiangyu Zhang, Mark Wutka, Daniel Balasubramanian, Hao Chen, Zhong Shao:
A NAND Use Case for Cybersecurity Experiments. SecDev 2024: 178-179
2022
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/LiuSCYK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/LiuSCYK22
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]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uss/Yoon00KS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/Yoon00KS21
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/GuSCKKWSC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/GuSCKKWSC19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jzusc/ZhuLYSLC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jzusc/ZhuLYSLC19
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-06768
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-06768
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ChenWSLG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChenWSLG18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/GuSKWKS0CR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/GuSKWKS0CR18
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]
- view
- export record
  dblp key:
  - conf/osdi/GuSCWKSC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/GuSCWKSC16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ChenWSLG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ChenWSLG16
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

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.