Report of LOLA + LICS/ICALP

Yasutaka Higa

LOLA + LICS/ICALP に行ってきました

LICS/ICALP が本体(月から金の5日間)
LOLA は LICS の workshop
- Syntax and Semantics of Low-Level Languages
- 他にもいくつかあったみたいです

概要

かなり大きい規模のカンファレンス
4トラック並列+ 09:00 - 18:00 くらいまで
- 4(thread) * 10(papers) * 5(days) = 200 papers?
Proceeding を先生が買ってくださったので気になったのがあれば

気になった発表とか

The SML# compiler backend: compiling ML to C-compatible low-level code(LOLA)
- SML#, dependent type, C-compatible, LLVM
A Cubical Approach to Synthetic Homotopy Theory(LICS)
- HoTT, topology, Type Theory
Game Semantics for Type Soundness(LICS)
- Game Semantics, Type Theory

気になった発表とか

Compositional Higher-Order Model checking(LICS Invited Talks)
- Higher-Order Model Cheker, HORS, pushdown automaton, MSO
Ultra-Fast Load Balancing on Scale-Free Networks(ICALP)
- Load Balancing, Network, Chung-Lu Model, Power law, layering
One Context Unification Problems Solvable in Polynomial Time(LICS)
- Term Unification, context unification

気になった発表とか

Game for Dependent Types(ICALP)
- Game Semantics, STT, DTT
Automata-Based Abstraction Refinement for muHORS Model Checking(LICS)
- HORS, Higher-Order Model Checker, MuHorSar(implementation)

所感

Logic Logic してました
具体的なアルゴリズムというよりは decidability とかを取り扱っている印象
- だいたい EXPTIME ……
SML# が割と参考になりそう?
あと LICS とは別で MoCHi ってものもあるみたいです