大学 × Programming Languages & Formal Methods
東京大学
Programming Languages & Formal Methods / 2021–2025 確定版
掲載論文 8 本
論文一覧
8 本
このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。
ランキングの対象論文 8 本と一致しています。
2025年
2024年
- Manticore: Hardware-Accelerated RTL Simulation with Static Bulk-Synchronous Parallelism
掲載ID:
doi:10.1145/3623278.3624750Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
- Multiverse Notebook: Shifting Data Scientists to Time Travelers
掲載ID:
doi:10.1145/3649838
2023年
- Higher-Order Property-Directed Reachability
掲載ID:
doi:10.1145/3607831 - Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake?
掲載ID:
doi:10.1145/3591244 - HFL(Z) Validity Checking for Automated Program Verification
掲載ID:
doi:10.1145/3571199
2022年
2021年
- Reverse engineering for reduction parallelization via semiring polynomials
掲載ID:
doi:10.1145/3453483.3454079
掲載対象外の論文や未反映の論文は、この一覧には含まれません。