エアPOPL/Air POPL 2012: 39th ACM Air Symposium on Principles of Programming Languages
-
xhl_kogitsune
- 4030
- 2
- 3
- 0
-
- いいね！0
Deprecated: おねーちゃんですよ!⚓/xhl_kogitsune
@xhl_kogitsune
Coqとかで形式証明してるけどCoq自体の形式証明どうすんのよ!→自分でやりましょう→ F*上でF*のtype checker作るところから始めてbootstrapしてF*のself-sertification作るらしい。 #air_POPL
2012-01-28 05:19:26
Deprecated: おねーちゃんですよ!⚓/xhl_kogitsune
@xhl_kogitsune
途中でCoq使うけど、一度self certificationできちゃえば以降はそのself-certifiedなモノ使えばいいのでCoqはなくてもいいと #air_POPL
2012-01-28 05:20:01
Deprecated: おねーちゃんですよ!⚓/xhl_kogitsune
@xhl_kogitsune
validationとcertificationの違いとは…うごご #air_POPL
2012-01-28 05:23:28
Deprecated: おねーちゃんですよ!⚓/xhl_kogitsune
@xhl_kogitsune
F*の上で書かれたF*のtype checkerで、そいつをpassすればtype safeであるという証明のついたもの、が最終産物なのかな。途中のメカニズムが把握できていないので感覚が分からない。 #air_POPL .
2012-01-28 05:25:18
Lindsey Kuper (@lindsey@recurse.social)
@lindsey
Fact: Talks involving certified compilation are best given by people with French accents. #popl
2012-01-28 05:09:57
Carlo Angiuli
@carloangiuli
"Certificates checked by Coq in 24 machine-days." #popl
2012-01-28 05:18:461/28 05:30-06:00 Closing and Raffle
Deprecated: おねーちゃんですよ!⚓/xhl_kogitsune
@xhl_kogitsune
#air_POPL しゅーりょー。やってみて分かったけど、1本15分っていいかもですね。abst読むよりは長く、ある程度強制的に読む時間ができる。 #air_POPL
2012-01-28 05:34:12
Deprecated: おねーちゃんですよ!⚓/xhl_kogitsune
@xhl_kogitsune
@dmikurube 自分で時間差参加で書いてもいいのよ!
2012-01-28 13:50:16
ReiOdaira
@ReiOdaira
(1)1本15分くらいで(2)半強制的に読まされる・・・ってまさに査読者がやってることだよなー RT @xhl_kogitsune #air_POPL しゅーりょー。やってみて分かったけど、1本15分っていいかもですね。abst読むよりは長く、ある程度強制的に読む時間ができる。
2012-01-28 13:26:07次回のエア学会開催予定
Deprecated: おねーちゃんですよ!⚓/xhl_kogitsune
@xhl_kogitsune
(ﾁﾗﾁﾗｯ @ReiOdaira RT @inoueh: @xhl_kogitsune そこはエアじゃない中継を期待で！＞VEE/ASPLOS
2012-01-28 13:55:15
Deprecated: おねーちゃんですよ!⚓/xhl_kogitsune
@xhl_kogitsune
日本でのエア学会開催を考えると、時差的にも欧州開催は便利。
2012-01-28 13:56:02
Deprecated: おねーちゃんですよ!⚓/xhl_kogitsune
@xhl_kogitsune
面白そうな学会があれば、エアCall For Participation投げてくだしあ > 各位
2012-01-28 14:03:47
kinaba
@kinaba
エアCFP、この辺りが自分的候補 STACS (2/29-, JST-8) https://t.co/sL20KegD ETAPS http://t.co/lyhOBoys (3/24-, JST-7)
2012-01-28 14:15:23
Deprecated: おねーちゃんですよ!⚓/xhl_kogitsune
@xhl_kogitsune
2/29-3/3 STACS 3/3-3/7 VEE/ASPLOS かぶっとるwエア学会シーズンですねw
2012-01-28 14:23:45
Deprecated: おねーちゃんですよ!⚓/xhl_kogitsune
@xhl_kogitsune
アメリカ開催の学会が多いのは事実なので、アメリカ開催の場合はエア学会は最初から時間差で開く宣言するのがいいのかもですね…
2012-01-28 14:25:40