Year 2000 or earlier | Year 2000--2009
Book/Edit
  1. Proceedings of Fortran Day @ the University of Tokyo, 2006
Refereed
  1. Sato, H.: ``Embedding Dataflow Information on Arrays into SSA and Extended Optimization Schema for Parallelization,'' Proc. Parallel and Distributed Computing and Networks 2009, 240--245, 2009.
  2. Sato, H.: ``Service Framework Based on Grades of IdPs and SPs,'' Proc. Security and Management 2009, 379--385, 2009.
  3. Sato, H.: ``Analyzing Semantics of Documents by using a Program Analysis Method,'' Proc. COMPSAC 2009, 373--382, 2009.
  4. Nishimura, T., Sato, H.: ``Analysis of a Security Incident of Opensource Middleware -- Case Analysis of 2008 Debian Incident of OpenSSL--,'' in MidArch 2009, Proc. 9th Int'l Symp. Applications and the Internet,247--250, 2009.
  5. Sato, H.: $N\pm\varepsilon$: Reflecting Local Risk Assessment in LoA, Information Secruity 2009 (LNCS 5871), 833--847, 2009.
  6. Sato, H.: ``Idiom Recognition and Program Scheme Recognition based Program Transformation for Performance Tuning -- Beyond Compiler Optimizations--,'' Proc. Parallel and Distributed Computing, Applications and Technologies 2009, 272--279, 2009.
  7. Kawanaka, S., Sato, H.: ``Analysis of Chronological Tag Dependency in Folksonomy,'' Proc. Semantic Web and Web Services 2008, 114--119, 2008.
  8. Nishimura, T., Sato, H.: ``LESSO: Legacy Enabling SSO,'' Proc. Workshop on Middleware Architecture in the Internet 2008, 301--304.
  9. Sato, H.: ``Delay Front and Skip Interval for Assessing Open Source Software Maintenance of System,'' Proc. 32nd IEEE Computer Software and Applications Conference (COMPSAC), 771--776, 2008.
  10. Sakamoto, K., Sato, H.: A Reource-Oriented Grid Meta-Scheduler based on Agents, Proc. 2007 Parallel and Distributed Computing and Networks, pp. 109--114, 2007.
  11. Ogino, K., Sato, H.: Extracting Tag Hierarchy from Folksonomy, Semantic Web and Web Services 2007, pp. 118--123, 2007.
  12. Matsuno, Y., Sato, H.: A Type System for Optimization Verifying Compilers, Computer Software, Iwanami-Shoten, Vol. 22, No. 3, 19--35, 2005
  13. Manaka, K., Sato, H.: Static Optimization of XSLT stylesheets: Template Instantiation Optimization and Lazy XML Parsing, Proc. ACM DocEng 2005, 55--57, 2005.
  14. Nanri, T., Watanabe, Y., Sato, H.: Performance Comparison of vector-calculations between Itanium2 and other processors, Proc. IEEE Int'l Workshop on Innovative Architectures 2005, 141--146, 2005.
  15. Matsuno, Y., Sato, H.: A Type System for Optimization Verifying Compiler, Proc. JSST Workshop PPL2004, 2004, 77--89, 2004.
  16. Matsuno, Y., Sato, H.: A Type System for Verification of Compiler Optimization, 情報処理学会論文誌(プログラミング), Vol. 45, No. SIG9(PRO22), 2004, 14--24, 2004.
  17. Sato, H.: Representation and Analysis of Mobile Computing using TeleLog -- A Mobile Logic Language, Proc. Int'l Conf. Computing, Communications and Control Technologies 2004, Vol. I, 2004, 217--222, 2004.
  18. Matsuno, Y., Sato, H.: A Type System for Proving Correctness of Compiler Optimizations, Proc. 2nd Int'l Workshop on Software Verification and Validation, 2004.
  19. SATO, H.: HeM(pi): -- Heterogeneous MPI Environment on Grid, Proc. 15th Int'l Conf. Parallel and Distributed Computing Systems, IASTED, 660-665, 2003.
  20. SATO, H.: Unrolling Shape for Out-of-Order Processors, Proc. 2003 Int'l Workshop on Innovative Architectures, 88--97, 2003. IEEE.
  21. Matsuno, Y., and Sato, H.: Flow Analytic Type System for Array Bound Checks, ENTCS vol. 78, 2003.
  22. SATO, H. and Yoshida, T.: Unrolling Shape: Symbolic and Quantitative Analysis of Loop Unrolling Effect, Proc. 6th Int'l Conf. Software Engineering and Applications, IASTED, 2002, 755-760.
  23. Taguchi, K. and SATO, H.: TeleLog: A Mobile Logic Language, Proc. Joint Symp. Parallel Processing 2001, IPSJ, 2001, 213--220.
  24. SATO, H.: Array Form Representation of Idiom Recognition System for Numerical Programs, Proc. Int'l Conf. Array Programming Languages 2001 (APL2001), ACM, 2001, 85--96.
  25. 吉田, 佐藤: ループアンローリングの特徴抽出とそのモデル化, 情報処理学会論文誌:プログラミング, 42(SIG7)(PRO11), 2001, 1--11.
  26. Nanri, T., Sato, H., and Shimasaki, M.: Design and Implementation of an Adaptive Distributed Memory System, Proc. Parallel and Distributed Computing and Sysmtems, 2001.
  27. SATO, H.: MetaCompiler: A Compiler System on Grid-like MetaComputing Environment, Proc. HPC Asia 2001, 2001.
  28. SATO, H. and Yoshida T.: Charactersitics of Loop Unrolling Effect: Software Pipelining and Memory Latency Hiding, Innovative Architecture for Future Generation High-Performance Processors and Systems (Proc. Int'l Workshop on Innovative Architectures 2001), IEEE, 2001, 63--72.
  29. Takeshi Nanri, Yoshitaka Watanabe, Hiroyuki Sato, Masaaki Shimasaki: Preliminary Investigation of Distributed Shared Memory System on a Cluster of High Performance Clusters, Proc. European Congress on Computational Methods in Applied Science and Engineering 2000/Parallel Computing on PC Clusters, 2000.

Others
  1. 佐藤: ループアンローリングに関するGNU-Cのbug fixと性能改善, 情報処理学会 HPC研究会報告, 2001-HPC-88, 2001, 13--18.
  2. Matsuno, Y., Sato, H. Flow Analytic Type System for Array Bound Checks, Symblic Logic And Computer Science, 2002, (oral).
  3. Matsuno, Y., Sato, H. Flow Analytic Type System for Array Bound Checks, 情報処理学会 プログラミング研究会, 2002, (oral)
  4. Matsuno, Y., and Sato, H.: Flow Analytic Type System for Compiler Optimizations, SLACS 2003 (oral).
  5. 松野裕, 佐藤周行: A Type System for Verification of Compiler Optimization, 情報処理学会プログラミング研究会 PRO-2003-4-7, 2004. (oral)
  6. 堀本和秀, 佐藤周行: X86アーキテクチャのメモリ階層を考慮した最適なRegister Allocation, 情報処理学会プログラミング研究会 PRO-2003-4-10, 2004. (oral)
  7. 松野裕, 佐藤周行: A Type System for Optimization Verifying Compilers, システム検証の科学技術 予稿集, 2004, 18--29.
  8. 佐藤周行, 南里豪志, 長尾光悦, 高井昌彰, 平野彰雄: An MPICH-G Network on SuperSINET and its Performance, 情報処理学会HPC研究会 2004-HPC-97, 2004, 43--48.
  9. SATO Hiroyuki: Optimization Verifying Compilers, Proc. Int'l Symp. Electronics for Future Generations, 2004, 247--252.
  10. 真中賢二, 佐藤周行: SAX上のlazy XML treeの構成によるXSLTの最適化, 情報処理学会プログラミング研究会, 52-5, 2005. (oral)
  11. SATO, H.: Assembly Language Level Security Guarantee by Types, Proc. Int'l Symp. on Advanced Electronics for Future Generations -- Secure-Life Electronics for Quality Life and Society --, 2005, 263--268.
  12. Nishimura, T. and Sato, H.: Authentication with PKI -- a Case Study in Information Technology Center in the University of Tokyo, Proc. Int'l Symp. Advanced ICT (AICT 2006), 251--256, 2006.
  13. Sato, H.: ``Program Analysis and Security Analysis in Optimizaton Verifying Compilers,'' Proc. COE Symposium on Advanced Electronics for Future Generations, --Secure Life Electronics for Quality Life and Society--, 271--275, 2007.
  14. 西村, 佐藤：``レガシーWebアプリケーションに対応するPKIを用いた簡易Single Sign-Onの実現,'' 情報処理学会QAI研究会研究会報告, 2007.
  15. 西村, 佐藤：``自立的組織の集合体としての大学におけるPKIの運用,'' 情報処理学会全国大会, 2007.
  16. 西村, 佐藤：``東京大学における認証局UT-CAの全学展開に向けた取組み,'' 第21回インターネット技術第163委員会研究会, 2007 (oral).
  17. 佐藤, 西村: ``東京大学におけるキャンパスPKIの配備に向けて,'' JNSA PKI Day 2007 (oral).
  18. Sato, H.: ``Program Transformation for Performance Tuning -- Beyond Compiler Optimizations,'' Proc. 11th Workshop on Innovative Architecture for Future Generation High-Performance Processors and Systems, 2008.
  19. Sato, H.: ``Documents in Workflow -- Extending Authorization Scheme by Documents,'' Proc. Int'l Symposium on Secure-Life Electronics, 229--234, 2008.
  20. 西村, 佐藤: ``東京大学におけるサーバ証明書発行体制の構築と課題,'' IPSJ研究報告 2008-DSM-48, 79--84, 2008.
  21. Sato, H.: ``Document Carrying Authorization,'' Workshop on Computer Science and Category Theory, 2008 (oral)
  22. 川中, 佐藤: ``ソーシャルブックマークにおけるタグの時系列的な依存関係の解析,'' IPSJ研究報告 2008-ICS-152, 25--32, 2008.
  23. 西村, 佐藤: ``脅威モデルの構築をもとにしたサーバ証明書発行体制の分類とその評価手法の提案,'' IPSJ研究報告 2008-IOT-2, 1--5, 2008.
  24. Sato, H.: ``Extending Authorization Scheme by Documents,'' 日本ソフトウェア科学会第25回大会予稿集 7C-4, 2008.
  25. 佐藤, 西村: ``IdPとSPのグレード付けとグレードに基づいたサービス提供の枠組み,'' コンピュータセキュリティシンポジウム2008, 731--736, 2008.
  26. 久保, 佐藤: ``Dynamic Path Validationを用いた認証局の信頼ドメインの拡張に関する提案,'' ITRC 第24回ミーティング, 2008 (oral)
  27. 佐藤: ``Alternatives for Parallelism,'' 情報技術標準化フォーラム「Fortran最前線, 特にcoarrayについて」 2008 (oral)
  28. Sato, H., Nishimura, T.: ``Service Framework based on the Grades of IdPs and Sps, Toward Security Trust Engineering,'', Proc. Secure-Life Electronics, 213--218, 2009.
  29. 渡辺,田中, 西村, 佐藤: ``携帯電話上での公開鍵証明書サービスの展開,'' 暗号と情報セキュリティシンポジウム２００９ 2C1-3, 2009.
  30. 西村, 佐藤,渡辺,田中: ``東京大学における認証基盤上の属性基盤と携帯電話への展開,'' 暗号と情報セキュリティシンポジウム２００９ 2C1-4, 2009.
  31. 久保, 佐藤: ``Dynamic Path Validationを用いた信頼ドメインの拡張に関する提案,'' 先端的ネットワーク＆コンピューティングテクノロジワークショップ・情報流通基盤分科会ワークショップ, 2009 (oral)
  32. 川中, 佐藤: ``ソーシャルブックマークにおけるタグの派生関係の解析,'' Data Engineering and Information Management 2009.
  33. 雪下, 佐藤: ``シンボリックアサインメントグラフを用いたコンパイラ最適化器,'' 第26回ソフトウェア科学会大会, 3C-2, 2009.
  34. 西村, 佐藤: ``2008年のDebian OpenSSLインシデントにみるオープンソースソフトウェアのセキュリティ分析,'' コンピュータセキュリティシンポジウム2009, 2009.