@skymountain_ profile picture
Taro Sekiyama @skymountain_
Joined May 2008
  • Tweets 8,616
  • Following 206
  • Followers 401
6 Photos and videos
Pinned Tweet
Taro Sekiyama@skymountain_
16 Sep 2025
TEEに基づくセキュアシステムの形式検証研究を行う博士研究員を募集しています。特に、これまでプログラミング言語・プログラム検証について研究してきた方を歓迎します！詳細はこちら： hackmd.io/@TaroSekiyama/H1ew…

Recruiting Postdocs: Formal Verification of TEE Architectures - HackMD

We are recruiting postdocs to work on formal methods and programming languages for the formal verification of TEE architectures.This position is especially suited for PL researchers seeking a new...

hackmd.io
10
26
3,376
JSONしか書けなくてプログラムを設定ファイルに書けないのか...けっこうきつくない？
2
244
Emacs から VSCode に切り替えるための準備をしているが、なかなか厳しい道程になりそう
2
240
第1回TriniTEE Symposium - ユニバーサルTEE実現に向けて - の参加登録サイトをオープンしました。年度末の実施ですが皆様のご参加をお待ちしております。 また、この情報を拡散くださると幸いです。 cradsec.rois.ac.jp/jp/event/…

第1回 TriniTEE Symposium - ユニバーサルTEE実現に向けて -

2025年4月から5ヶ年計画で始まった経済安全保障重要技術育成プログラム「セキュアなデータ流通を支える暗号関連技術（高機能暗号）」において実施している課題「ハードウェア・ソフトウェア・理論の連携によるユニバーサルTEEアーキテクチャの実現」の年次成果報告を行います。

cradsec.rois.ac.jp
3
4
779
ACM Digital Library に AI Summary なるボタンが出現しておる
1
167
第11回SATSSは 1) 東北大学名誉教授(現CRADSEC)大堀先生、電通大佐藤先生による招待講演 2) ハード・ソフト・検証分野の先生方をお招きしてパネル討論 を予定しています。 まだ参加登録を受け付けていますのでご興味のある方は以下のサイトからお願いします sc-sys.github.io/

Workshop on Software, Architecture, and Theory for Secure Systems

セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ (SATSS)

sc-sys.github.io
3
441
11/12(水)18:00 からNII/総研大の大学院説明会が開催されます nii.ac.jp/graduate/entrance/… 私の研究室 (skymountain.github.io/) でも学生さんを募集していますので、プログラミング言語理論・プログラム検証に興味のある方はご連絡ください（事前連絡が必須になっているのでご注意を）

大学院説明会 - 入学試験案内 - 総合研究大学院大学 先端学術院 情報学コース

国立情報学研究所（NII）は総合研究大学院大学に参画し情報学コースを設置、5年一貫制博士課程と博士後期課程の研究指導にあたっています。21世紀の「知識社会」をリードする優れた人材の育成を目指しています。

nii.ac.jp
3
6
1,512
Taro Sekiyama retweeted
Jonathan Brachthäuser@__protected
11 Sep 2025
I am more than proud of my PhD students, colleagues and collaborators! Together we managed to have 5 papers at this year's OOPSLA'25 (R1 and R2) and 1 at the colocated ICFP'25. 🥳🎉 The papers cover a wide range of PL and compiler topics 🧵
2
11
80
20,189
Taro Sekiyama retweeted
Taro Sekiyama@skymountain_
8 Oct 2025
第11回SATSS (Workshop on Software, Architecture, and Theory for Secure Systems) の参加登録を開始しました。 今回は形式検証に関する講演に加え、ハード・ソフト・形式検証のトップ研究者によるパネル討論を企画しています。 参加登録はこちらから：sc-sys.github.io/

Workshop on Software, Architecture, and Theory for Secure Systems

セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ (SATSS)

sc-sys.github.io
1
2
356
あと、どんどん管理職に近づいている気がする。一般的な大学教員と比べて全然でしょうが
2
347
研究開発中のソフトウェアの検証に関する研究って、どうやってやればいいんでしょうね〜
2
297
Taro Sekiyama retweeted
Hiroki Naganuma@_Hiroki11x
25 Aug 2025
Our paper on Pseudo-Asynchronous Local SGD is accepted at TMLR! Developed at @MSFTResearch, it introduces a semi-synchronous training strategy that pairs well with methods like DiLoCo. Clean code & camera-ready coming soon. Thanks to my co-authors! arxiv.org/abs/2504.18454
3
7
63
6,283
8/21 開催の第9回SATSS では Linux や C の安全性検証の講演を予定しています。興味のある方は sc-sys.github.io/ から参加方法のご確認を！（リモート参加もあるよ）

Workshop on Software, Architecture, and Theory for Secure Systems

セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ (SATSS)

sc-sys.github.io
1
4
461
DBLP になかなか接続できない。がんばってくれい
239
This year's PLDI featured two papers on type inference that received Distinguished Paper Awards — showing that type inference continues to be a hot topic, despite its long history!
1
13
766
Taro Sekiyama retweeted
Hiromi Ogawa@coord_e
18 Jun 2025
論文 "Thrust: A Prophecy-Based Refinement Type System for Rust" について、PLDI 2025 で発表します pldi25.sigplan.org/details/p…
1
16
68
6,740
Taro Sekiyama retweeted
国立情報学研究所(NII)
@jouhouken
12 Jun 2025
🤖NII研究100連発🎆 「ソフトウェアの安全性保証〜数学的アプローチ」 💁‍♂️渡邉 知樹（情報学プリンシプル研究系 助教） 🗓️6月20日（金）18:30-20:00 🧑‍🎓一般・大学生・高校生 対象（入場無料） 🌐オンライン中継あり 🏫一橋講堂（東京都千代田区） #情報研 event.nii.ac.jp/event/12898/…
6
12
19,727
The HOPE'25 submission deadline has been extended to 19 June. Please consider submitting your talks about higher-order effectful programs! The workshop will be in Singapore, colocated with ICFP/SPLASH. More info: conf.researchr.org/home/icfp…
1
2
380
Load more