Skip to content
View hailinzeng's full-sized avatar
🏠
Working from home
🏠
Working from home
88 followers · 296 following
  • Beijing, China

Achievements

Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report hailinzeng

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@liuyic00
Yicheng Liu liuyic00
PhD Student at Institute of Software Chinese Academy of Sciences

Institute of Software Chinese Academy of Sciences Beijing, China

@jhauser-us
John Hauser jhauser-us
@statham-arm
Simon Tatham statham-arm
Compiler and toolchain developer for Arm

Arm Cambridge

@zevorn
Zevorn(Chao Liu) zevorn
HPC and AI Chip Emulation Modeling Software Engineer
@tymcauley
Tynan McAuley tymcauley
@zshi0616
Zhengyuan Shi zshi0616

The Chinese University of Hong Kong Hong Kong, China

@XUANTIE-RV
达摩院玄铁 XUANTIE-RV
@Ghonimo
Mohamed Ghonim Ghonimo

Portland, Oregon

@FORMiND-Lab
Formal Methods and Intelligent Design Laboratory FORMiND-Lab

China

@Jiahui17
Jiahui Xu Jiahui17
PhD Student at ETH Zurich

ETH Zurich Zurich

@KatCe
Katharina Ceesay-Seitz KatCe
Hardware Security Researcher @comsec-group ETH Zurich, Ex-CERN Embedded Software Developer / Digital Electronics Verification Engineer

ETH Zurich Zurich

@LuMingYinDetect
LuMingYinDetect
@Junyi-Liu
Junyi Liu Junyi-Liu
PhD student working on polyhedral model and high-level synthesis

Imperial College London United Kingdom

@ekiwi
Kevin Laeufer ekiwi
Modern Hardware Construction Languages and Automated Testing

Cornell University Ithaca, NY

@lee-man
LI Min lee-man
Building Silicon-Proven Verification Tools. Rejecting paper/胶片-only "breakthroughs". Ex. Huawei Engineer. @FORMiND-Lab

Southeast University Shenzhen

@tani
TANIGUCHI Masaya tani
I am a LISP interpreter.

RIKEN / Tohoku Univ Earth

@zhansong01
Zhan Song zhansong01

University of Maryland, College Park DMV metro

@sitongzhai
sitongzhai
@EPTansuo
Han Bingjin EPTansuo

The Hong Kong University of Science and Technology (Guangzhou)

@zhfffy
Lingfeng Zhu zhfffy
MS student of UCAS & ISCAS.

University of Chinese Academy of Sciences & Institute of Software Chinese Academy of Sciences. Beijng

@ycunxi
Cunxi Yu ycunxi
Cunxi Yu Assistant Professor ECE (main), CS (affiliated) University of Maryland, College Park http://ycunxi.github.io/cunxiyu/

University of Maryland, College Park College Park, Maryland

@CASTLE-Benchmark
CASTLE Benchmark CASTLE-Benchmark
The CASTLE Benchmark is an automated micro-benchmark suite to evaluate the comparative effectiveness of Static Code Analyzer applications at detecting CWEs.
@xiaofeibao-xjtu
xiaofeibao-xjtu
@jakio6
jakio6
CHANGE IS NOT GOOD
@zhaokang-lab
zhaokang-lab
@gipsyh
Yuheng Su gipsyh

ISCAS; UCAS Beijing, China

@2994186010
rain 2994186010
@staticafi
statica staticafi
Statica - static analysis group at Faculty of Informatics at Masaryk University in Brno, Czech Republic

Brno, Czech Republic

@lcatro
LCatro lcatro
@MooreThreads
Moore Threads Corporation MooreThreads
@qianlong-zhang
qianlong-zhang qianlong-zhang
Ph.D in Computer Architecture
@doofin
Eason du doofin
part-time researcher about functional and formal math

Chinese Academy of Sciences China

@hlslibs
HLSLibs hlslibs
Open-Source High-Level Synthesis IP Libraries
@mpardalos
Michalis Pardalos mpardalos

Imperial College London London, UK

@jhauser-ucberkeley
jhauser-ucberkeley
@rizsotto
László Nagy rizsotto

Sydney/Australia

@devindang
devindang devindang
@PKU-IDEA
PKU-IDEA PKU-IDEA
PKU-IDEA Lab at Peking University
@moyix
Brendan Dolan-Gavitt moyix
Assistant Professor in CSE at NYU Tandon School of Engineering, focusing on security, program analysis, and reverse engineering.

New York, NY

@jiegec
Chen jiegec
A PhD candidate at Tsinghua University.
@shaowei-cai-group
shaowei-cai-group
@gklingler
Gernot Klingler gklingler

Austria

@purplelegant
Ziyi Hao purplelegant
CPU Architect @ T-Head Semi

Hangzhou, China

@QJtaibai
QiuJing QJtaibai

Alibaba Hangzhou

@Sichao-Yang
SichaoY Sichao-Yang
Formal Verification RD @ X-Epic, China
@Wandmalfarbe
Pascal Wagler Wandmalfarbe
#java, #design, #css, #pandoc, #markdown, #latex
@LeoQuote
Leo Q LeoQuote

Beijing

@chenyukang
Yukang chenyukang

Shenzhen, China

@leimao
Lei Mao leimao
Artificial Intelligence, Machine Learning, Computer Science. C++, CUDA, Python, CMake.

@facebook Silicon Valley, California

@righel
Luciano Righetti righel
Software Engineer

CIRCL Luxembourg