跳转到内容

安全、HCI、编程语言与数据库

安全:威胁模型 + 攻击/防御的实证 + 负责任披露;HCI:用户研究与设计贡献;PL:形式化 + 证明 + 实现;数据库:算法 + 系统 + 基准(TPC)。本章简述各方向的顶会、评审侧重与新人常见误区。

  • 安全研究的伦理(负责任披露)是硬约束
  • HCI 的贡献可以是设计、系统或实证
  • PL 论文常需要机器可检验的证明