東京大学 佐藤周行研究室
大学院工学研究科 電気系工学専攻 融合情報学コース




プロジェクト - Projects



メンバー - Members
スタッフ
佐藤 周行 准教授 schuko@satolab.itc
伊東 雅美 秘書 ito@satolab.itc
学生
清野 喜裕 D3 y.seino@satolab.itc
李 根 D1 (秋) ligen@satolab.itc
张 凌风 M1 (秋) zhanglingfeng@satolab.itc
马 兆宇 M1 (秋) mazhaoyu@satolab.itc
丁 曄澎 M1 (春) youhoutei@satolab.itc
※メールアドレスはアカウントに.u-tokyo.ac.jpを追加して下さい。

卒業生 - Alumni
名前 課程 卒業年月 学位論文題名
斎藤 雄太 修士 2019/3 確率密度関数を用いた回帰テストのためのテストケース優先順位付け戦略
Cosmas Krisna Adiputra 修士 2019/3 Enhancing Blockchain-based Electronic Voting System using Trusted Execution Environment
Nikita Sridhar 修士 2018/3 A Proposal of Access Control Extended With Multi-valued Logic
Somchart Fugkeaw 博士 2017/9 Achieving Expressive, Scalable, and Efficiently Revocable Collaborative Data Access Control in Multi-Authority Cloud
横山 直人 修士 2015/3 ランダムテストとシンボリック実行の組み合わせによる網羅率の向上-
Mario Alberto Chapa Martell 博士 2015/9 A Framework for Performance Analysis and Optimization for GPU Kernel Programs using Linear Performance-Breakdown Model
馬 雷 博士 2014/9 Automatic Verification and Testing for Software with Multiple Versions
Quang Tran 修士 2012/3 A Solution For Privacy Protection In MapReduce
靏 宙史 修士 2012/3 依存条件グラフの解析による制御フロー予測の厳密化
真子 拓馬 修士 2011/3 インライン展開の実際的な効果の計測と 最適化へのフィードバック手法
雪下 洋輔 修士 2010/9 -
川中 翔 修士 2009/3 ソーシャルブックマークにおけるタグの派生関係の抽出
荻野 健 修士 2008/3 フォークソノミーからの知識抽出に関する研究
池西 俊介 修士 2007/3 動的スライシングとその効率化について
坂元 健太郎 修士 2006/3 知的エージェントを用いた計算資源主導のグリッドメタスケジューラに関する研究
松野 裕 博士 2006/3 A Type Theory for Optimizing Compilers
真中 賢 修士 2005/3 Lazy XML Parsing と Template Instantiation による XSLT の最適化
堀本 和秀 修士 2004/3 X86アーキテクチャのメモリ階層を考慮した最適なRegister Allocation
吉田 映彦 修士 2001/3 ループアンローリングの特徴抽出とそのモデル化