Syntax-Guided Synthesis
Haoyuan Li
GowayLee
UG in XMU. Currently intern in ICT CAS.
Interested in PL, PA, SE and Cool Stuff.
Xiamen University Zhejiang China
Dirk Roeckmann
diro5t
Comp. Scientist, IT Manager, Consultant, SAP Expert,
Indep. AI Researcher,
AI = Deep Learning + Causal Inference + Symbol Manipulation, Deep Quadric Learning
Pittsburgh
Jevin Sweval
jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer
Previously Apple Pay Security
Lafayette, Indiana
Hengfeng Wei (魏恒峰)
hengxin
I am currently a Research Assistant at Software Institute at Nanjing University, China.
Nanjing University (南京大学) Nanjing University
