ACM SIGPLAN Conference on Programming Language Design & Implementation (PLDI)
Reducing Static Analysis Unsoundness with Approximate Interpretation.
通过近似解释减少静态分析的不完备性。
2024
SpEQ: Translation of Sparse Codes using Equivalences.
SpEQ：利用等价关系进行稀疏编码的翻译。
2024
A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption.
一种具有自动数据打包功能的张量编译器，用于简单高效的完全同态加密。
2024
Descend: A Safe GPU Systems Programming Language.
Descend：一种安全的GPU系统编程语言。
2024
SPORE: Combining Symmetry and Partial Order Reduction.
SPORE：结合对称性与偏序归约。
2024
A Lightweight Polyglot Code Transformation Language.
一种轻量级的多语言代码转换语言。
2024
Numerical Fuzz: A Type System for Rounding Error Analysis.
数值模糊：一种用于舍入误差分析的类型系统。
2024
Diffy: Data-Driven Bug Finding for Configurations.
Diffy：配置文件的数据驱动漏洞查找。
2024
Concurrent Immediate Reference Counting.
并发即时引用计数。
2024
Qubit Recycling Revisited.
量子比特再利用再探。
2024
会议信息
会议名称：
ACM SIGPLAN Conference on Programming Language Design & Implementation
会议评级
CCF: A
CORE: A*
THCPL: A
年度会议
Year: 2025
Place: Seoul, South Korea
Date: June 16-20, 2025
Timeline:
Abstract Deadline: N/A
Deadline: 2024-11-14T23:59:59-12:00
Year: 2024
Place: Copenhagen, Denmark
Date: June 24-28, 2024
Timeline:
Abstract Deadline: N/A
Deadline: 2023-11-16T23:59:59-12:00
Year: 2023
Place: Orlando, Florida, United States
Date: June 19-21, 2023
Timeline:
Abstract Deadline: N/A
Deadline: 2022-11-10T23:59:59-12:00
Year: 2022
Place: San Diego, California, United States
Date: June 20-24, 2022
Timeline:
Abstract Deadline: N/A
Deadline: 2021-11-19T23:59:59-12:00
Year: 2021
Place: Virtual
Date: June 23-25, 2021
Timeline:
Abstract Deadline: N/A
Deadline: 2020-11-20T23:59:59-12:00