| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 将逻辑规则与其他内容无缝集成 | Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin | 2305.19202 | cs.PL | 2023-05-31 |
| 彩色E图：带条件的等式推理 | Eytan Singher and Shachar Itzhaky | 2305.19203 | cs.PL | 2023-05-31 |
| 抽象解释中的静态分析的完备性，个人观点 | David Monniaux (VERIMAG - IMAG) | 2211.09572 | cs.PL | 2023-05-26 |
| 每秒千兆字节下的Unicode | Daniel Lemire | 2111.08692 | cs.PL | 2023-05-23 |
| 谁的基准线（编译器）？ | Ben L. Titzer | 2305.13241 | cs.PL | 2023-05-23 |
| 顺序和并行程序的直接式效果表示 | David Richter, Timon B"ohler, Pascal Weisenburger, Mira Mezini | 2305.08496 | cs.PL | 2023-05-22 |
| 一个高度可扩展的、混合的、跨平台的时序分析框架，通过指令级追踪提供准确的差分吞吐量估计。 | Min-Yih Hsu, Felicitas Hetzelt, David Gens, Michael Maitland, Michael Franz | 2201.04804 | cs.PL | 2023-05-18 |
| 更好地结合：统一Datalog与等式饱和 | Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey | 2304.04332 | cs.PL | 2023-05-17 |
| Prisma：一种无层级语言，用于在去中心化应用程序中执行合约-客户端协议（扩展版本） | David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini | 2205.07780 | cs.PL | 2023-05-16 |
| Prolog 中的自动微分 | Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi | 2305.07878 | cs.PL | 2023-05-16 |
| Morpheus：数据相关解析器组合程序的自动化安全验证 | Ashish Mishra and Suresh Jagannathan | 2305.07901 | cs.PL | 2023-05-16 |
| HSTREAM：面向异构流计算的指令扩展语言 | Suejb Memeti and Sabri Pllana | 1809.09387 | cs.PL | 2023-05-12 |
| 可微编程：控制流诱导的不连续性的高效平滑 | Sebastian Christodoulou and Uwe Naumann | 2305.06692 | cs.PL | 2023-05-12 |
| 堆叠图：大规模名称解析 | Douglas A. Creager and Hendrik van Antwerpen | 2211.01224 | cs.PL | 2023-05-10 |
| 工程化正式验证的自动漏洞发现器 | Arthur Correnson, Dominic Steinhoefel | 2305.05570 | cs.PL | 2023-05-10 |
| 蛋小Python：一个用于E图的Pythonic库 | Saul Shanabrook | 2305.04311 | cs.PL | 2023-05-09 |
| Idris TyRE：一种依赖类型的正则表达式解析器 | Ohad Kammar and Katarzyna Marek | 2305.04480 | cs.PL | 2023-05-09 |
| Descend：一种安全的GPU系统编程语言 | Bastian K"opcke, Sergei Gorlatch, Michel Steuwer | 2305.03448 | cs.PL | 2023-05-08 |
| 高阶概率编程语言中的自动对齐 | Daniel Lund''en, Gizem c{C}aylak, Fredrik Ronquist, David Broman | 2301.11664 | cs.PL | 2023-05-05 |
| 朝向可扩展的证明引擎：Coq的高效原型重写基元 | Jason Gross and Andres Erbsen and Jade Philipoom and Rajashree Agrawal and Adam Chlipala | 2305.02521 | cs.PL | 2023-05-05 |
| 四个分隔控制操作符的类型系统 | Chiaki Ishio and Kenichi Asai | 2305.02852 | cs.PL | 2023-05-05 |
| 概率编程语言中的顺序蒙特卡洛推断的正确性 | Daniel Lund''en, Johannes Borgstr"om, David Broman | 2003.05191 | cs.PL | 2023-05-04 |
| 用高效的并行顺序蒙特卡洛推断编译通用概率编程语言 | Daniel Lund''en, Joey "Ohman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman | 2112.00364 | cs.PL | 2023-05-04 |
| ECMAScript -- 一门编程语言从想法到标准的旅程 | Juho Veps"al"ainen | 2305.01373 | cs.PL | 2023-05-03 |
| 动态存储分配中的箱装算法的意外效率：一项学术摘要 | Christos P. Lamprakos, Sotirios Xydis, Francky Catthoor and Dimitrios Soudris | 2305.01497 | cs.PL | 2023-05-03 |