進学希望者の方々へ

本位田研究室へ進学を希望される方は,ぜひ一度見学にいらしてください.
また,進学志望者は入試の前にその旨をまでご連絡くださるようお願いいたします.

ニュース

  • ICFEMに論文が採択されました
    July 21, 2016

    修士1年の佐伯くんの研究が、 International Conference on Formal Engineering Methods (ICFEM)に採択されました.

     

    Automatic Generation of Potentially Pathological Instances for Validating Alloy Models
    Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden

  • EuroSysに論文が採択されました
    June 29, 2016

    2015年博士修了の穐山くんの研究が、The European Conference on Computer Systems (EuroSys)に採択されました.

     

    Optimizing Distributed Actor Systems for Dynamic Interactive Services
    Andrew Newell, Gabriel Kliot, Ishai Menache, Aditya Gopalan, Soramichi Akiyama, Mark Silberstein

  • IEICE Transactions on Information and Systemsに論文が採択されました
    June 29, 2016

    2015年博士修了の穐山くんの研究が、IEICE Transactions on Information and Systemsに採択されました.

     

    Fast Live Migration for IO-Intensive VMs with Parallel and Adaptive Transfer of Page Cache via SAN
    Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano, Shinichi Honiden

Syndicate content