Skip to content
受賞
- APLAS学生研究コンペティション聴衆賞, 糟谷颯希, 2024, Vython: a Language with Dynamic Version Checking for Gradual Updating
- 日本ソフトウェア科学会功労賞, 増原英彦,2024
- 東京工業大学優秀学生賞,Jessica Belicia Cahyono,2024
- 日本ソフトウェア科学会第40回大会学生奨励賞,酒井大我,2023,プログラミング教育のための目的文作成手順の提案と目的文作成支援環境の予備設計
- 東工大挑戦的研究賞,叢悠悠,2023,曖昧な仕様を保証するための型付きプログラミング言語の開発
- 東工大教育賞,叢悠悠,2023,落伍者を出さないプログラミング教育の実践
- 情報処理学会コンピュータサイエンス領域奨励賞, 高橋修祐, 2022, データ構造ライブプログラミングのための言語実現フレームワークに基づくオブジェクトグラフ収集手法
- 日本ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップポスター賞, 叢悠悠,2022, 型を利用した音楽自動生成に向けて
- 日本ソフトウェア科学会第23回プログラミングおよびプログラミング言語ワークショップポスター賞, 叢悠悠,2021, Agda による対位法の形式化
- 手島精一記念研究賞(博士論文賞), Matthias Springer, 2021, Memory-Efficient Object-Oriented Programming on GPUs
- 情報処理学会コンピュータサイエンス領域奨励賞, 新美和生, 2020, Lift中間言語における動的長配列の追加
- 東工大教育賞, 増原英彦, 2020, 学生による議論を核とした授業形式の設計とプログラミング科目での実施
- 日本ソフトウェア科学会学生奨励賞, 李東方, 2019, ASTToken2Vec: An Embedding Method for Neural Code Completion
- 日本ソフトウェア科学会優秀発表賞, 李東方, 2019, ASTToken2Vec: An Embedding Method for Neural Code Completion
- ACM学生研究コンテスト第一位, Matthias Springer, 2019, CompactGpu: Massively Parallel Memory Defragmentation on GPUs
- ISMM最優秀学生発表賞, Matthias Springer, 2019, Massively Parallel GPU Memory Compaction
- 情報処理学会論文賞, 朝倉泉他, 2018, Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq
- 日本ソフトウェア科学会研究論文賞, 増原英彦他, 2019, Unravel Programming Sessions with THRESHER
- ACM学生研究コンテスト第二位, 伊澤侑祐, 2019, BacCaml: The Meta-Hybrid Just-in-time Compiler
- ACM学生研究コンテスト第三位, Jeanine Adkisson, 2019, Magritte: A modern Shell Language
- ACM学生研究コンテスト第一位, Matthias Springer, 2018, SoaAlloc: Accelerating Single-Method Multiple-Objects Applications on GPUs
- 東工大教育賞, 増原英彦他, 2016, サイバーセキュリティ特別専門学修プログラムの設計および実施
- 情報処理学会コンピュータサイエンス領域奨励賞, 岡明央, 2017, ライブプログラミングのためのデータ構造の可視化と対話機能
- 情報処理学会コンピュータサイエンス領域奨励賞, 朝倉泉, 2016, GPGPUのための並行分離論理のCoqによる健全性証明
- IDW Challenging-Spirit Demonstration Award, 桐山裕匡 他, 2015, Development of Poor Man’s 3D-AR Platform for Amateur Game Creators
- 日本ソフトウェア科学会研究論文賞, 青谷知幸 他, 2013, オブジェクト毎の層遷移を宣言的に記述できる文脈指向言語EventCJ
- 日本ソフトウェア科学会研究論文賞, 増原英彦 他, 2012, ContextJ: Java上の文脈指向 プログラミング
- 一高記念賞, 村上直也, 2012, コード推薦システムの研究 (卒業研究第I)
- 情報処理学会論文賞, 増原英彦他, 2011, Traceglasses：欠陥の効率良い発見手法を実現するトレースに基づくデバッガ
- 文部科学省科学技術分野の文部科学大臣表彰若手科学者賞, 増原英彦, 2009
- 一高記念賞, 青谷知幸, 2009, アスペクト指向プログラミング言語における実用的な利用者定義の解析に基づくポイントカット (博士論文)
- 日本ソフトウェア科学会解説論文賞, 増原英彦, 2008, アスペクト指向プログラミング
- 日本ソフトウェア科学会高橋奨励賞, 渡邉卓也, 2007, 類似プログラムの提示ツール Selene
- 情報処理学会論文賞, 増原英彦他, 1996, 並列自己反映言語システムの部分計算によるコンパイル技法