5月OS研究会：参加募集のご案内（5/26-27，沖縄ハイブリッド開催）
51 views
Skip to first unread message
Akiyoshi SUGIKI
May 11, 2022, 6:29:31 AM5/11/22
to swopp-a...@googlegroups.com
SWoPP MLの皆様：
お世話になっております．
杉木です．
＃重複してお受け取りの際はご容赦ください．
第155回システムソフトウェアとオペレーティング・システム研究会（2022年5月研究会）の
開催が迫ってまいりましたので，参加募集のアナウンスを送付させて頂きます．
今回の研究会は，現地（那覇市IT創造館）とオンライン（Zoom）でのハイブリッド開催の予定です．
また，通常の発表に加えて，若手招待講演（東京大学 空閑先生），論文輪講も予定しております．
プログラムの詳細，参加申込等は下記をご覧ください．
https://www.ipsj.or.jp/kenkyukai/event/os155.html
http://www.ipsj.or.jp/sig/os/index.php?2022%C7%AF5%B7%EE%B8%A6%B5%E6%B2%F1
（参加申込ページは今週中の開設予定です．交通・宿泊等の手配の都合で，先行してご案内させて頂きました．
連休等を挟みご連絡が大変遅くなり申し訳ございません．）
多数のご参加をお待ちしております．
========================================================================
情報処理学会
第155回 システムソフトウェアとオペレーティング・システム研究会 (OS)
========================================================================
5月26日（木）
13:00- 受付開始
13:30-13:40 オープニング
13:40-15:10 セッション（1）：性能・障害対策
（1）高精度時刻同期機構のカーネル内汎用実装
〇小堀 和人（法政大学），李 忠翰（トヨタ自動車株式会社），廣津 登志夫（法政大学）
（2）サーバ基盤におけるハードウェア省電力設定活用のためのリソース管理方法
〇藤田 勝美，岩佐 絵里子，金子 雅志（日本電信電話株式会社）
（3）耐メモリ故障性の強化を支援するフォールトインジェクタ
〇根津 直也，山田 浩史（東京農工大学）
15:20-16:50 セッション（2）：仮想化・OS
（4）AMD SEVとネストした仮想化を用いた安全な通信履歴の取得
〇安東 尚哉，光来 健一（九州工業大学）
（5）ハイパーバイザにおける仮想デバイスの脆弱ウィンドウを短縮する不正 I/O フィルタ
〇瀬貫 真菜（慶應義塾大学），石黒 健太（法政大学），河野 健二（慶應義塾大学）
（a）ユーザー空間で OS 機能を実装する方法についての一検討
〇安形 憲一，田崎 創，オブラン ピエールルイ（IIJ 技術研究所）
17:00-18:00 若手招待講演
講演者 空閑 洋平 先生（東京大学）
5月27日（金）
9:00- 受付開始
9:20-10:50 セッション（3）：クラウド
（6）パブリッククラウドを活用したALMA望遠鏡観測・解析データの蓄積と解析に関する実証実験
〇吉田 浩，合田 憲人（国立情報学研究所），小杉 城治，中里 剛，森田 英輔，林 洋平，ミエル ルノー（国立天文台）
（7）異種プログラミング言語間での高速なデータ共有を実現する軽量データ変換技術
〇野澤 真伸（慶應義塾大学），今村 智史（富士通株式会社），河野 健二（慶應義塾大学）
（b）サーバ集約環境で大規模データ処理アプリケーション運用が可能なストレージシステムの研究
〇大江 和一（国立情報学研究所）
11:00-12:00 輪講発表
12:00-13:30 お昼休み（OS研究会運営委員会）
13:30-15:00 セッション（4）：ネットワーク
（8）輻輳制御アルゴリズムの自動生成におけるStructured Grammatical Evolution適用の検討
〇広瀬 智之，阿部 洋丈，岡 瑞起（筑波大学）
（9）DPUを用いたMPI通信ロギング手法の試作
〇髙嶋 和貴（大阪大学），遠藤 新（奈良先端科学技術大学院大学），伊達 進，下條 真司（大阪大学）
（10）ログ取集・管理をメッセージング経由で適切に設定する手法の提案
〇木山 瑞基，河野 真治（琉球大学）
15:10-16:40 セッション（5）言語・ランタイム
（11）明快さと堅牢性を両立するプログラミング言語definyとGUI上でのWebアプリ開発環境 definy.app
〇鳴海 秀人，岩井 将行（東京電機大学）
（12）GearsOSにおけるinodeを用いたファイルシステムの構築
〇又吉 雄斗，河野 真治（琉球大学）
（13）GearsAgda上のモデル検査の形式化
〇上地 悠斗，河野 真治（琉球大学）
16:40-16:55 クロージング
========================================================================
お世話になっております．
杉木です．
＃重複してお受け取りの際はご容赦ください．
第155回システムソフトウェアとオペレーティング・システム研究会（2022年5月研究会）の
開催が迫ってまいりましたので，参加募集のアナウンスを送付させて頂きます．
今回の研究会は，現地（那覇市IT創造館）とオンライン（Zoom）でのハイブリッド開催の予定です．
また，通常の発表に加えて，若手招待講演（東京大学 空閑先生），論文輪講も予定しております．
プログラムの詳細，参加申込等は下記をご覧ください．
https://www.ipsj.or.jp/kenkyukai/event/os155.html
http://www.ipsj.or.jp/sig/os/index.php?2022%C7%AF5%B7%EE%B8%A6%B5%E6%B2%F1
（参加申込ページは今週中の開設予定です．交通・宿泊等の手配の都合で，先行してご案内させて頂きました．
連休等を挟みご連絡が大変遅くなり申し訳ございません．）
多数のご参加をお待ちしております．
========================================================================
情報処理学会
第155回 システムソフトウェアとオペレーティング・システム研究会 (OS)
========================================================================
5月26日（木）
13:00- 受付開始
13:30-13:40 オープニング
13:40-15:10 セッション（1）：性能・障害対策
（1）高精度時刻同期機構のカーネル内汎用実装
〇小堀 和人（法政大学），李 忠翰（トヨタ自動車株式会社），廣津 登志夫（法政大学）
（2）サーバ基盤におけるハードウェア省電力設定活用のためのリソース管理方法
〇藤田 勝美，岩佐 絵里子，金子 雅志（日本電信電話株式会社）
（3）耐メモリ故障性の強化を支援するフォールトインジェクタ
〇根津 直也，山田 浩史（東京農工大学）
15:20-16:50 セッション（2）：仮想化・OS
（4）AMD SEVとネストした仮想化を用いた安全な通信履歴の取得
〇安東 尚哉，光来 健一（九州工業大学）
（5）ハイパーバイザにおける仮想デバイスの脆弱ウィンドウを短縮する不正 I/O フィルタ
〇瀬貫 真菜（慶應義塾大学），石黒 健太（法政大学），河野 健二（慶應義塾大学）
（a）ユーザー空間で OS 機能を実装する方法についての一検討
〇安形 憲一，田崎 創，オブラン ピエールルイ（IIJ 技術研究所）
17:00-18:00 若手招待講演
講演者 空閑 洋平 先生（東京大学）
5月27日（金）
9:00- 受付開始
9:20-10:50 セッション（3）：クラウド
（6）パブリッククラウドを活用したALMA望遠鏡観測・解析データの蓄積と解析に関する実証実験
〇吉田 浩，合田 憲人（国立情報学研究所），小杉 城治，中里 剛，森田 英輔，林 洋平，ミエル ルノー（国立天文台）
（7）異種プログラミング言語間での高速なデータ共有を実現する軽量データ変換技術
〇野澤 真伸（慶應義塾大学），今村 智史（富士通株式会社），河野 健二（慶應義塾大学）
（b）サーバ集約環境で大規模データ処理アプリケーション運用が可能なストレージシステムの研究
〇大江 和一（国立情報学研究所）
11:00-12:00 輪講発表
12:00-13:30 お昼休み（OS研究会運営委員会）
13:30-15:00 セッション（4）：ネットワーク
（8）輻輳制御アルゴリズムの自動生成におけるStructured Grammatical Evolution適用の検討
〇広瀬 智之，阿部 洋丈，岡 瑞起（筑波大学）
（9）DPUを用いたMPI通信ロギング手法の試作
〇髙嶋 和貴（大阪大学），遠藤 新（奈良先端科学技術大学院大学），伊達 進，下條 真司（大阪大学）
（10）ログ取集・管理をメッセージング経由で適切に設定する手法の提案
〇木山 瑞基，河野 真治（琉球大学）
15:10-16:40 セッション（5）言語・ランタイム
（11）明快さと堅牢性を両立するプログラミング言語definyとGUI上でのWebアプリ開発環境 definy.app
〇鳴海 秀人，岩井 将行（東京電機大学）
（12）GearsOSにおけるinodeを用いたファイルシステムの構築
〇又吉 雄斗，河野 真治（琉球大学）
（13）GearsAgda上のモデル検査の形式化
〇上地 悠斗，河野 真治（琉球大学）
16:40-16:55 クロージング
========================================================================
Akiyoshi SUGIKI
May 18, 2022, 1:25:34 AM5/18/22
to swopp-a...@googlegroups.com
SWoPP MLの皆様：
お世話になっております．
北大情報基盤センターの杉木です．
＃重複してお受け取りの際はご容赦ください．
開催まで約1週間となりましたので，5月OS研究会（5/26-27，沖縄・ハイブリッド開催）の
参加募集のリマインダを送付させて頂きます．
情報処理学会での開催案内（参加申込もこちらから）：
https://www.ipsj.or.jp/kenkyukai/event/os155.html
OS研究会ページでのご案内：
http://www.ipsj.or.jp/sig/os/index.php?2022%C7%AF5%B7%EE%B8%A6%B5%E6%B2%F1
前回，準備に時間を要しておリましたが，参加申込ページは既に開設しております．
久しぶりに現地でのハイブリッド開催で，通常の一般発表に加えて，
若手招待講演・論文輪講も用意しておりますので，是非参加をご検討ください．
よろしくお願いいたします．
お世話になっております．
北大情報基盤センターの杉木です．
＃重複してお受け取りの際はご容赦ください．
開催まで約1週間となりましたので，5月OS研究会（5/26-27，沖縄・ハイブリッド開催）の
参加募集のリマインダを送付させて頂きます．
情報処理学会での開催案内（参加申込もこちらから）：
https://www.ipsj.or.jp/kenkyukai/event/os155.html
OS研究会ページでのご案内：
http://www.ipsj.or.jp/sig/os/index.php?2022%C7%AF5%B7%EE%B8%A6%B5%E6%B2%F1
前回，準備に時間を要しておリましたが，参加申込ページは既に開設しております．
久しぶりに現地でのハイブリッド開催で，通常の一般発表に加えて，
若手招待講演・論文輪講も用意しておりますので，是非参加をご検討ください．
よろしくお願いいたします．
Reply all
Reply to author
Forward
0 new messages