大学 × Programming Languages & Formal Methods
東京大学
Programming Languages & Formal Methods / 2022–2026 LIVE
掲載論文 10 本
論文一覧
10 本
このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。
ランキングの対象論文 10 本と一致しています。
2026年
- Wiring the π-Calculus to Denotational Semantics
掲載ID:
doi:10.4230/lipics.lics.2026.79 - Solvable Tuple Patterns and Their Applications to Program Verification
掲載ID:
doi:10.1145/3808258 - On Circuit Description Languages, Indexed Monads, and Resource Analysis
掲載ID:
doi:10.1145/3776666
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年
掲載対象外の論文や未反映の論文は、この一覧には含まれません。