The Graduate University for Advanced Studies, SOKENDAI · National Institute of Informatics

Research keywordstemporal verification・higher-order programs・model checking・refinement types・algebraic effects・Rust verification・formal methods・program synthesis

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 出版年: 20252025 · 論文一覧（最新5件）
• Towards neural-network-guided program synthesis and verification. DOI: 10.1007/s10703-024-00468-9 出版年: 2025 ジャーナル名: Formal Methods Syst. Des. URL: https://researchmap.jp/t-sekiym/published_papers/516727642025 · 論文一覧（最新5件）
• Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs DOI: 10.1145/3704914 出版年: 2025 ジャーナル名: Proceedings of the ACM on Programming Languages URL: https://researchmap.jp/t-sekiym/published_papers/489178302025 · 論文一覧（最新5件）
• On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs DOI: 10.1145/3763184 出版年: 2025 ジャーナル名: Proceedings of the ACM on Programming Languages URL: https://researchmap.jp/t-sekiym/published_papers/514582122025 · 論文一覧（最新5件）

• 並行・並列プログラミングのためのスケーラブルな自動プログラム検証技術 2024-2027 キーワード: プログラミング言語, プログラム検証, 型システム, 並行・並列プログラム, 時相的検証, 代数的効果ハンドラ URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24H00699/2024 · 研究課題一覧（最新5件）
• 多様な計算効果の時相的・状態依存的性質検証のための型システム 2022-2024 キーワード: プログラミング言語, 型システム, 計算効果, 時相的検証, 形式検証 URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22K17875/2022 · 研究課題一覧（最新5件）
• 動的型付けと静的型付けを融合した漸進的型付けのメタ理論 2019-2023 キーワード: 漸進的型付け, プログラミング言語, 型システム, 多相性, 計算効果, レコード, 継続渡し形式, 漸進的型システム URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19K20247/2019 · 研究課題一覧（最新5件）
• 多様な計算効果の時相的・状態依存的性質検証のための型システム研究課題一覧（最新5件）

• Official profile