学术相关，每月Check！

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