ホーム > 海野広志/ Unno, Hiroshi

海野広志

ALUMNI 2025年11月現在、筑波大学が主たる所属機関ではありません

Unno, Hiroshi

東北大学 , 電気通信研究所 , 教授
Tohoku University , Research Institute of Electrical Communication

http://www.cs.tsukuba.ac.jp/~uhiro/

オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。

41. Automating Relatively Complete Verification of Higher-Order Functional Programs Hiroshi Unno; Tachio Terauchi; Naoki Kobayashi
ACM SIGPLAN NOTICES 48: 75 (2013) Semantic Scholar
42. Automating relatively complete verification of higher-order functional programs Hiroshi Unno; Tachio Terauchi; Naoki Kobayashi
ACM SIGPLAN Notices 48: 75 - 86 (2013) Semantic Scholar
43. Predicate Abstraction and CEGAR for Higher-Order Model Checking Naoki Kobayashi; Ryosuke Sato; Hiroshi Unno
ACM SIGPLAN NOTICES 46: 222 - 233 (2011) Semantic Scholar
44. Predicate Abstraction and CEGAR for Higher-Order Model Checking Naoki Kobayashi; Ryosuke Sato; Hiroshi Unno
PLDI 11: PROCEEDINGS OF THE 2011 ACM CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION 222 (2011) Semantic Scholar
45. Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification Naoki Kobayashi; Naoshi Tabuchi; Hiroshi Unno
ACM SIGPLAN NOTICES 45: 495 - 507 (2010)
46. Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification Naoki Kobayashi; Naoshi Tabuchi; Hiroshi Unno
POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES 495 (2010) Semantic Scholar
47. Verification of Tree-Processing Programs via Higher-Order Model Checking Hiroshi Unno; Naoshi Tabuchi; Naoki Kobayashi
PROGRAMMING LANGUAGES AND SYSTEMS 6461: 312 (2010) Semantic Scholar
48. Dependent Type Inference with Interpolants Hiroshi Unno; Naoki Kobayashi
PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING 277 (2009) Semantic Scholar
49. On-demand refinement of dependent types Hiroshi Unno; Naoki Kobayashi
FUNCTIONAL AND LOGIC PROGRAMMING 4989: 81 (2008) Semantic Scholar
50. Combining type-based analysis and model checking for finding counterexamples against non-interference Hiroshi Unno; Naoki Kobayashi; Akinori Yonezawa
Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, PLAS 2006, Ottawa, Ontario, Canada, June 10, 2006 17 (2006) Semantic Scholar

« 1 2 3

書籍等出版物情報はまだありません。

1. Software Verification via Fixed-Point Logics: Constraint Solving, Cyclic-Proof Search, and Strategy Synthesis
EPIT 2025 : École de Printemps d'Informatique Théorique 2025 2025年5月22日招待有り
2. Refinement Types and Higher-Order Model Checking for Algebraic Effects and Handlers
“CHoCoLa” meetings Curry-Howard: Logic and Computation 2025年5月15日招待有り
3. Automating Relational Verification of Infinite-State Programs
25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024) 2024年1月16日招待有り
4. Constraint-based Relational Verification
38th International Conference on Mathematical Foundations of Programming Semantics 2022年7月13日招待有り
5. Horn Clauses and Beyond for Relational and Temporal Program Verification 海野広志
The 5th Workshop on Horn Clauses for Verification and Synthesis 2018年7月13日招待有り
6. Tutorial: Applications of Higher-order Model Checking to Program Verification 海野広志
Workshop on Higher-Order Model Checking (HOMC) + Communicating, Distributed and Parameterised Systems (CDPS), 2016年9月20日招待有り
7. Higher-order Program Verification as Refinement Type Inference 海野広志
The 3rd Workshop on Higher-Order Program Analysis (HOPA 2015) 2015年7月4日招待有り