| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 使用任务导向编程编写物联网应用程序 | Mart Lubbers and Pieter Koopman and Rinus Plasmeijer | 2212.04193 | cs.PL | 2022-12-09 |
| 技术报告：匹配参考正则表达式和镜头。 | Jeanne-Marie Musca and Anders Miltner and Kathleen Fisher and David Walker | 2212.04439 | cs.PL | 2022-12-09 |
| 利用非终止性在面向对象验证程序中证明假 | Jaymon Furniss | 2212.02605 | cs.PL | 2022-12-07 |
| 在具有效果的即时编译器中进行形式验证的本地代码生成，或者：将CompCert后端转换为形式验证的即时编译器 | Aur`ele Barri`ere (EPICURE), Sandrine Blazy (EPICURE), David Pichardie | 2212.03129 | cs.PL | 2022-12-07 |
| 《Jeopardy中的分支执行对称性：通过可用的隐式参数分析》 | Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen | 2212.03161 | cs.PL | 2022-12-07 |
| 渐进安全的机械化非干扰 | Tianyu Chen and Jeremy G. Siek | 2211.15745 | cs.PL | 2022-11-30 |
| 基于抽象解释的数据泄漏静态分析 | Filip Drobnjakovi''c, Pavle Suboti''c, and Caterina Urban | 2211.16073 | cs.PL | 2022-11-30 |
| 交互式抽象解释：以低成本重新分析整个程序 | Julian Erhard, Simmo Saan, Sarah Tilscher, Michael Schwarz, Karoliine Holter, Vesal Vojdani, Helmut Seidl | 2209.10445 | cs.PL | 2022-11-28 |
| 数据-编码对称性及其与求值顺序的交互 | David Binder, Julian Jabs, Ingo Skupin, Klaus Ostermann | 2211.13004 | cs.PL | 2022-11-24 |
| 高阶、数据并行的结构化推理 | Thomas Gilray and Arash Sahebolamri and Sidharth Kumar and Kristopher Micinski | 2211.11573 | cs.PL | 2022-11-22 |
| 优化移动应用的功能布局 | Ellis Hoag and Kyungwoo Lee and Juli''an Mestre and Sergey Pupyrev | 2211.09285 | cs.PL | 2022-11-18 |
| Flux：Rust的液体类型 | Nico Lehmann, Adam Geller, Niki Vazou, Ranjit Jhala | 2207.04034 | cs.PL | 2022-11-15 |
| 选择树：在 Coq 中表示非确定性、递归和不纯程序 | Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic | 2211.06863 | cs.PL | 2022-11-15 |
| 可变变量是否具有引用类型？ | Oleg Kiselyov (Tohoku University, Japan) | 2211.04107 | cs.PL | 2022-11-09 |
| 组合协议的理论 | Laura Bocchi (University of Kent, UK), Dominic Orchard (University of Kent, UK / University of Cambridge, UK), A. Laura Voinea (University of Glasgow, UK) | 2203.02461 | cs.PL | 2022-11-08 |
| 高效流式概率编程的半符号推理 | Eric Atkinson and Charles Yuan and Guillaume Baudart and Louis Mandel and Michael Carbin | 2209.07490 | cs.PL | 2022-11-08 |
| 小巧的逻辑：对线性时态逻辑（LTL）理解中的误解 | Ben Greenman (Brown University, USA), Sam Saarinen (Brown University, USA), Tim Nelson (Brown University, USA), Shriram Krishnamurthi (Brown University, USA) | 2211.01677 | cs.PL | 2022-11-04 |
| 重新审视泛型编程的语言支持：当泛型性是核心设计目标 | Benjamin Chetioui (University of Bergen, Norway), Jaakko J"arvi (University of Turku, Finland), Magne Haveraaen (University of Bergen, Norway) | 2211.01678 | cs.PL | 2022-11-04 |
| 物外调试：一种面向物联网的实时调试方法 | Carlos Rojas Castillo (Vrije Universiteit Brussel, Belgium), Matteo Marra (Vrije Universiteit Brussel, Belgium), Jim Bauwens (Vrije Universiteit Brussel, Belgium), Elisa Gonzalez Boix (Vrije Universiteit Brussel, Belgium) | 2211.01679 | cs.PL | 2022-11-04 |
| 将论文标题翻译成中文：基于范畴代数的游戏语义扎实基础 | J''er''emie Koenig (Yale University) | 2211.01841 | cs.PL | 2022-11-04 |
| 表达加速：类型化高级语言的无缝并行化 | Lars Hummelgren, John Wikman, Oscar Eriksson, Philipp Haller, David Broman | 2211.00621 | cs.PL | 2022-11-02 |
| 低延迟、高吞吐量垃圾回收（扩展版） | Wenyu Zhao, Stephen M. Blackburn, Kathryn S. McKinley | 2210.17175 | cs.PL | 2022-11-01 |
| Halide语言的形式语义 | Alex Reinking, Gilbert Louis Bernstein, Jonathan Ragan-Kelley | 2210.15740 | cs.PL | 2022-10-31 |
| 包含敏感词 | Ana Carolina Silva, Manuel Barbosa and Mario Florido | 2210.11105 | cs.PL | 2022-10-28 |
| 关于并行性和确定性的调查 | Laure Gonnord (LCIS), Ludovic Henrio, Lionel Morel, Gabriel Radanne | 2210.15202 | cs.PL | 2022-10-28 |