Syntax-Guided Synthesis
Users following SyGuS-Org
Suhyok Yoon
wintrover
Founder building infrastructure for trustworthy AI-generated software
Axiom Seoul
Dennis Yurichev
DennisYurichev
This account is used mostly for contributing to other's projects. For mine, visit my websites.
Kyiv/Kiev, Ukraine
Haoyuan Li
GowayLee
Enthusiast in PL/SE | MS Student @ ICT, UCAS | Working on program analysis and cool stuffs!
Institute of Computing Technology, CAS Beijing
Dirk Roeckmann
diro5t
Comp. Scientist, IT Manager, Consultant, SAP Expert,
Indep. AI Researcher,
AI = Deep Learning + Causal Inference + Symbol Manipulation, Deep Quadric Learning
Pittsburgh
DJ
jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer.
Lafayette, Indiana
MaD70
I often use stars as bookmarks to revisit projects I didn’t have time to explore when I starred them — don’t read too much into it.
Hengfeng Wei
hengxin
I am currently an Associate Professor at Hunan University, China.
Hunan University (湖南大学) Hunan University
