Academic Conferences

Mainly focus on Security, System & PL.

Security

Top Tier

• NDSS, Mar.
• SP, May
• Security, Aug.
• CCS, Nov.

Great Ones

• Euro SP, July
• Asia CCS, June
• DSN, June
• ACSAC, Dec.
• ESORICS, Sep.
• RAID, Oct.

System

• SOSP, Oct.
• OSDI, July
• ATC, July
• EuroSys, Apr.
• ASPLOS

PL

• PLDI, June
• PLDI, Jan.
• OOPSLA, Oct.

Others

• NSDI, Apr.

Researcher/Lab

Security

• Dave Tian Purdue
• Yanick Fratantonio: 离开了学术界的大佬
• Deian Stefan UCSD 做PL+Security 主营WASM & Verification
• TEECert
• Bryan Parno
• Sanjit A. Seshia
• Haobin
• BINSEC Open source binary security to from academia

Verification

• Gilles Barthe
• José Bacelar Almeida

PL

• Machine Logic
• Rupak Majumdar
• Appel

Engineer

• Huang Xuan 很牛逼的工程师
• 王垠
  • 最近才发现王垠大佬也在IU念过书
  • 虽然并非很认同他的一些观点，但是感觉从哲学的层面上他的思维和我很像:)
• Hongliang Tian 真·全栈。可以作为偶像了
• 刘未鹏 看到这篇文章感觉学到的很多东西突然串了起来，神奇

CS-related Blogs

• pl-enthusiast