PPaperPicks

Takeshi Tsukada

6 papers at tracked venues · 6 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

PLDI ×3POPL ×2AAAI ×1

Frequent coauthors

Hiroshi Unno
×4
Satoshi Kura
×1
Oded Padon
×1
Sharon Shoham
×1
Yusuke Matsushita
×1
Jie-Hong Roland Jiang
×1
Kazuyuki Asada
×1

Papers

  1. Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
    PLDI 2026 ·
    Satoshi Kura
    ,
    Hiroshi Unno
    , Takeshi Tsukada
  2. A Primal-Dual Perspective on Program Verification Algorithms
    POPL 2025 · Takeshi Tsukada,
    Hiroshi Unno
    ,
    Oded Padon
    ,
    Sharon Shoham
  3. Nola: Later-Free Ghost State for Verifying Termination in Iris
    PLDI 2025 ·
    Yusuke Matsushita
    , Takeshi Tsukada
  4. Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking
    AAAI 2025 ·
    Hiroshi Unno
    , Takeshi Tsukada,
    Jie-Hong Roland Jiang
  5. Enriched Presheaf Model of Quantum FPC
    POPL 2024 · Takeshi Tsukada,
    Kazuyuki Asada
  6. Inductive Approach to Spacer
    PLDI 2024 · Takeshi Tsukada,
    Hiroshi Unno