Shoji Yuen 研究室

Shoji Yuen研究室は、複数のプログラムが同時に動作する並行プログラムをより安全に開発・検証するための言語設計とプログラム解析に取り組んでいます。特に、プログラムの実行を時間軸に沿って巻き戻す「可逆実行」という技術に着目し、バグの原因を素早く特定できるデバッグ技術の基盤となる理論と実装方法を研究しています。 研究の中心は、並行プログラムの可逆実行を支える中間言語の設計にあります。CRILと呼ぶ中間言語を開発し、複数の処理の同期を取りながらプログラムを前方・後方の両方向で実行できるようにしました。この言語は、命令の依存関係を記録することで、プログラムを正確に巻き戻すことを可能にします。さらに、そのような中間言語で動作するプログラムを最適化するため、双方向のデータフロー解析という手法を導入し、並行実行時の効率を高める研究も進めています。 加えて、現実のシステムでは時間の経過が重要な役割を果たすことに着目し、時間概念を組み込んだ可逆実行理論の構築にも着手しています。これらの成果は、並行プログラムのデバッグを高速化し、複雑なソフトウェアシステムの開発をより信頼性の高いものにすることを目指しています。