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
• POPL, Jan.
• OOPSLA, Oct.

Others

• NSDI, Apr.

Researcher/Lab

Security

• Dave Tian Purdue
• Yanick Fratantonio: a big name who has left academia
• Deian Stefan UCSD. PL + Security, mostly WASM & verification
• TEECert
• Bryan Parno
• Sanjit A. Seshia
• Haobin
• BINSEC Open-source binary security tools from academia

Verification

• Gilles Barthe
• José Bacelar Almeida

PL

• Machine Logic
• Rupak Majumdar
• Appel