Martin Liška
marxin
🦀 Compiler Engineer @wasmerio, ex-rust tooling @microsoft, ex-GCC maintainer, ex-C++ System developer @melowntech, author of C-Vise, rpmlint maintainer.
Prague, Czech Republic
许杰友 Jieyou Xu (Joe)
jieyouxu
"Do not let cloud know you're in a rush; cloud can smell fear"
@Kong Shanghai, China
Kyle Dewey
kyledewey
My research concerns primarily automated testing, logic programming, and programming languages. Public repositories hold related infrastructure.
California State University, Northridge Northridge, CA
Shafik Yaghmour
shafik
Interests: C++, C, compilers and undefined behavior. Stackoverflow contributor in C++, C tags.
Also find me on Twitter: https://twitter.com/shafikyaghmour
PKU Compiler Course
pku-minic
Learn compiler techniques step by step.
Peking University, Beijing, China
TruX - Trustworthy Software at University of Luxembourg
Trustworthy-Software
TruX is a software engineering and security research group that develops approaches to help the research and practice communities build trustworthy software.
Luxembourg
NJU-ProjectN
Nanjing University Computer System Project Series - Build a computer system from scratch!
Yinmin Zhong
PKUFlyingPig
CS Ph.D @ PKU | Machine Learning Systems | Previously @ StepFun, ByteDance, Alibaba |
Peking University Beijing, China
Alastair Reid
alastairreid
Researcher working on formal specification and verification.
(This is my personal account)
Intel Cambridge, United Kingdom
Wen Cheng
wcventure
I am a lecturer at Xidian University. My research interests are in Trusted & Intelligent Software Engineering.
Xidian University Guangdong Province, China, 518060
PreviousNext