这是 ICFP 2026 的主题演讲，讲者是 UC Berkeley 的 Edward A. Lee，题目叫「确定性并发」——对很多计算机科学的人来说，这是个矛盾修辞。演讲讨论如何让并发程序不再依赖竞态与调度顺序，而是给出确定的结果，与他长期研究的 Lingua Franca 语言和确定性并发模型一脉相承。
核心要点
讲者 Edward A. Lee 任职于 UC Berkeley，是 Ptolemy 项目与 Lingua Franca 语言的长期推动者。
演讲标题本身就是他口中的「矛盾修辞」：一提并发，多数人默认结果依赖调度与竞态。
他的研究方向是让并发系统在语义上确定——同样的输入得到同样的输出，而实现上依然可以并行执行。
相关工作有 ACM 期刊论文《Deterministic Concurrency Using Lingua Franca》，把确定性并发做成可用的语言特性。