Report of LOLA + LICS/ICALP

Yasutaka Higa

Report of LOLA + LICS/ICALP

Yasutaka Higa

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

概要

  • かなり大きい規模のカンファレンス
  • 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 ってものもあるみたいです