Taro Sekiyama

[Taro Sekiyama @skymountain_]

TEEに基づくセキュアシステムの形式検証研究を行う博士研究員を募集しています。特に、これまでプログラミング言語・プログラム検証について研究してきた方を歓迎します！詳細はこちら：
https://t.co/wlkpbon1HT

[Taro Sekiyama @skymountain_]

JSONしか書けなくてプログラムを設定ファイルに書けないのか...けっこうきつくない？

[Taro Sekiyama @skymountain_]

Emacs から VSCode に切り替えるための準備をしているが、なかなか厳しい道程になりそう

[Center for R&D on Secure Computer Systems ,CRADSEC @cradsec]

第1回TriniTEE Symposium
- ユニバーサルTEE実現に向けて -
の参加登録サイトをオープンしました。年度末の実施ですが皆様のご参加をお待ちしております。
また、この情報を拡散くださると幸いです。
https://t.co/nX94VlD1Ae

[Taro Sekiyama @skymountain_]

ACM Digital Library に AI Summary なるボタンが出現しておる

[Taro Sekiyama @skymountain_]

第11回SATSSは
1) 東北大学名誉教授(現CRADSEC)大堀先生、電通大佐藤先生による招待講演
2) ハード・ソフト・検証分野の先生方をお招きしてパネル討論
を予定しています。
まだ参加登録を受け付けていますのでご興味のある方は以下のサイトからお願いします
https://t.co/6fAV1SrUOw

[Taro Sekiyama @skymountain_]

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

[Jonathan Brachthäuser @__protected]

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 🧵

[Taro Sekiyama @skymountain_]

@__protected Wow, thanks! :-)

[Taro Sekiyama @skymountain_]

第11回SATSS (Workshop on Software, Architecture, and Theory for Secure Systems) の参加登録を開始しました。
今回は形式検証に関する講演に加え、ハード・ソフト・形式検証のトップ研究者によるパネル討論を企画しています。
参加登録はこちらから：https://t.co/6fAV1SrUOw

[Taro Sekiyama @skymountain_]

第11回SATSS (Workshop on Software, Architecture, and Theory for Secure Systems) の参加登録を開始しました。
今回は形式検証に関する講演に加え、ハード・ソフト・形式検証のトップ研究者によるパネル討論を企画しています。
参加登録はこちらから：https://t.co/6fAV1SrUOw

[Taro Sekiyama @skymountain_]

あと、どんどん管理職に近づいている気がする。一般的な大学教員と比べて全然でしょうが

[Taro Sekiyama @skymountain_]

研究開発中のソフトウェアの検証に関する研究って、どうやってやればいいんでしょうね〜

[Hiroki Naganuma @_Hiroki11x]

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!
https://t.co/ywYMiQOpmO

[Taro Sekiyama @skymountain_]

8/21 開催の第9回SATSS では Linux や C の安全性検証の講演を予定しています。興味のある方は https://t.co/6fAV1SrUOw から参加方法のご確認を！（リモート参加もあるよ）

[Taro Sekiyama @skymountain_]

DBLP になかなか接続できない。がんばってくれい

[Taro Sekiyama @skymountain_]

@eldesh ああ、なるほどです。泥臭いの対義語が「綺麗な数学的な仕事をやっている」と勝手に脳内補完してしまいました。失礼しました。

[Taro Sekiyama @skymountain_]

@yudai_TNB 何故30分しか違わない便なのにそんなことに

[Taro Sekiyama @skymountain_]

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!