| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 概率程序的符号语义（扩展版） | Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wk{a}sowski | 2307.09951 | cs.PL | 2023-07-20 |
| 概率程序的牛顿式程序分析 | Di Wang and Thomas Reps | 2307.09064 | cs.PL | 2023-07-19 |
| 妥善处理线性 | Wenhao Tang, Daniel Hillerstr"om, Sam Lindley, J. Garrett Morris | 2307.09383 | cs.PL | 2023-07-19 |
| 验证 C++ 的动态绑定 | Niels Mommen, Bart Jacobs | 2306.02073 | cs.PL | 2023-07-18 |
| Decalf：一个定向的、有影响力的成本感知逻辑框架 | Harrison Grodin (1), Robert Harper (1), Yue Niu (1), Jonathan Sterling (2) ((1) Carnegie Mellon University, (2) Aarhus University) | 2307.05938 | cs.PL | 2023-07-18 |
| 函数式时代的类型化设计模式 | Will Crichton | 2307.07069 | cs.PL | 2023-07-17 |
| 验证概率推理的性能特性 | Eric Atkinson, Ellie Y. Cheng, Guillaume Baudart, Louis Mandel, Michael Carbin | 2307.07355 | cs.PL | 2023-07-17 |
| 高效的CHAD | Tom Smeding, Matthijs V''ak''ar | 2307.05738 | cs.PL | 2023-07-14 |
| 类型不正确的程序无法求值。 | Steven Ramsay and Charlie Walpole | 2307.06928 | cs.PL | 2023-07-14 |
| 在pi-forall中实现依赖类型 | Stephanie Weirich | 2207.02129 | cs.PL | 2023-07-13 |
| 使用F*安全保护已验证的IO程序免受未经验证的代码的攻击 | Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Mart''inez, Exequiel Rivas, ''Eric Tanter, Th''eo Winterhalter | 2303.01350 | cs.PL | 2023-07-13 |
| 弥诺陶尔：面向SIMD综合超级优化器 | Zhengyang Liu, Stefan Mada, John Regehr | 2306.00229 | cs.PL | 2023-07-13 |
| 基于类的语言的类型保持编译 | Guillaume Martres | 2307.05557 | cs.PL | 2023-07-13 |
| 子类型化的无上下文会话类型 | Gil Silva, Andreia Mordido and Vasco T. Vasconcelos | 2307.05661 | cs.PL | 2023-07-13 |
| 平滑分离会话 | Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris | 2105.08996 | cs.PL | 2023-07-12 |
| System F-sub中的简单引用不可变性 | Edward Lee and Ondv{r}ej Lhot''ak | 2307.04960 | cs.PL | 2023-07-12 |
| 程序验证的模块化、代码专门化和零成本抽象 | Son Ho, Aymeric Fromherz, Jonathan Protzenko | 2102.01644 | cs.PL | 2023-07-10 |
| 使用重写策略实现高效的函数自动微分 | Timon B"ohler, David Richter, Mira Mezini | 2307.02447 | cs.PL | 2023-07-10 |
| Scenic 3.0的3D环境建模：用于伪造与更多应用 | Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia | 2307.03325 | cs.PL | 2023-07-10 |
| DrNLA：通过双重重写将验证扩展到非线性程序 | Yuandong Cyrus Liu, Ton-Chanh Le, Timos Antonopoulos, Eric Koskinen, ThanhVu Nguyen | 2306.15584 | cs.PL | 2023-06-28 |
| 特别投递：使用邮箱类型进行编程（扩展版本） | Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder | 2306.12935 | cs.PL | 2023-06-23 |
| 多主动对象及其应用 | Ludovic Henrio and Justine Rochas | 1610.09183 | cs.PL | 2023-06-22 |
| 近似反向翻译实现的模块化、完全抽象编译 | Dominique Devriese, Marco Patrignani, Frank Piessens, Steven Keuchel | 1703.09988 | cs.PL | 2023-06-22 |
| 效应子类型的一致性的逻辑关系 | Dariusz Biernacki and Piotr Polesiuk | 1710.09469 | cs.PL | 2023-06-22 |
| SPARC TSO的指称语义 | Ryan Kavanagh, Stephen Brookes | 1711.00931 | cs.PL | 2023-06-22 |