On Leveraging Tests to Infer Nullable Annotations.

利用测试推断可空注解。

2023

Defining Name Accessibility Using Scope Graphs.

使用作用域图定义名称可访问性。

2024

{CtChecker}: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming.

{CtChecker}：一种精确、可靠且高效的恒定时间编程静态分析方法。

2024

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers.

指针程序演绎综合的高阶规范。

2024

Front Matter, Table of Contents, Preface, Conference Organization.

前言、目录、序言、会议组织。

2024

Type Tailoring.

类型定制。

2024

Inductive Predicate Synthesis Modulo Programs.

程序模态归纳谓词综合。

2024

Failure Transparency in Stateful Dataflow Systems.

有状态数据流系统中的故障透明性。

2024

Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation.

多方消息传递协议的改进：与规范无关的理论与实现。

2024

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types.

形式化、机械化和验证基于类的精化类型。

2024