Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)
Multris: Functional Verification of Multiparty Message Passing in Separation Logic.
Multris: 分离逻辑中多方消息传递的功能验证。
2024
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints.
VeriEQL：具有完整性约束的复杂SQL查询的有界等价性验证。
2024
Tachis: Higher-Order Separation Logic with Credits for Expected Costs.
Tachis：用于预期成本的带信用的高阶分离逻辑。
2024
Practical Verification of Smart Contracts using Memory Splitting.
使用内存分割的智能合约实用验证。
2024
Gradually Typed Languages Should Be Vigilant!
渐进类型语言应保持警惕！
2024
Scenario-Based Proofs for Concurrent Objects.
基于场景的并发对象证明。
2024
CYCLE: Learning to Self-Refine the Code Generation.
CYCLE：学习自优化代码生成。
2024
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization.
Cedar：一种用于表达性、快速、安全且可分析授权的新语言。
2024
Profiling Programming Language Learning.
编程语言学习概况。
2024
libLISA: Instruction Discovery and Analysis on x86-64.
libLISA: x86-64指令发现与分析
2024
会议信息
会议名称：
Conference on Object-Oriented Programming Systems, Languages, and Applications
会议评级
CCF: A
CORE: A
THCPL: A
年度会议
Year: 2025
Place: to be announced
Date: to be announced
Timeline:
Abstract Deadline: N/A
Deadline: 2024-10-15T07:59:59-04:00
Abstract Deadline: N/A
Deadline: 2025-02-04T07:59:59-04:00
Abstract Deadline: N/A
Deadline: 2025-03-25T07:59:59-04:00
Year: 2024
Place: Pasadena, United States
Date: October 20-25, 2024
Timeline:
Abstract Deadline: N/A
Deadline: 2023-10-21T07:59:59-04:00
Abstract Deadline: N/A
Deadline: 2024-04-06T07:59:59-04:00
Year: 2023
Place: Lisbon, Portugal
Date: October 22-27, 2023
Timeline:
Abstract Deadline: N/A
Deadline: 2022-10-28T23:59:59-12:00
Abstract Deadline: N/A
Deadline: 2023-02-24T23:59:59-12:00
Abstract Deadline: N/A
Deadline: 2023-04-14T23:59:59-12:00
Abstract Deadline: N/A
Deadline: 2023-08-18T23:59:59-12:00
Year: 2022
Place: Auckland, New Zealand
Date: November 14-19, 2022
Timeline:
Abstract Deadline: N/A
Deadline: 2021-10-12T23:59:59-12:00
Abstract Deadline: N/A
Deadline: 2022-02-11T23:59:59-12:00
Abstract Deadline: N/A
Deadline: 2022-04-15T23:59:59-12:00
Abstract Deadline: N/A
Deadline: 2022-08-15T23:59:59-12:00