Academic ConferencesPermalink

Mainly focus on Security, System & PL.

SecurityPermalink

Top TierPermalink

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

Great OnesPermalink

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

SystemPermalink

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

PLPermalink

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

OthersPermalink

• NSDI, Apr.

Researcher/LabPermalink

SecurityPermalink

• 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

VerificationPermalink

• Gilles Barthe
• José Bacelar Almeida

PLPermalink

• Machine Logic
• Rupak Majumdar
• Appel