Keita Suzuki, Kenta Ishiguro, Kenji Kono,
"Balancing Analysis Time and Bug Detection: Daily Development-friendly Bug Detection in Linux",
In 2024 USENIX Annual Technical Conference (to ap
Newsニュース
2024-04-01 Shinagawa Laboratory has moved品川研究室移動
Shinagawa Laboratory has moved to the Department of Computer Science. 品川研究室は東京大学コンピュータ科学専攻に移動しました。
Old homepage
・Information Technology Center
(2023/10) 大塚と岩崎の論文「Haskell Library for Safer Virtual Machine Introspection (Experience Report)」がACM Showcase on Kudosに掲載されました.
(2023/9) 山本が日本ソフトウェア科学会第40回大会にて登壇発表しました.
(2023/9) 大塚がHaskell 2023にて登壇発表しま
鈴木光一朗