エアPOPL/Air POPL 2012: 39th ACM Air Symposium on Principles of Programming Languages
-
xhl_kogitsune
- 4020
- 2
- 3
- 0
-
- いいね！0
kinaba
@kinaba
POPL'12 のスケジュール https://t.co/s5A1UbwI に合わせて30分で2本論文読んでエア実況する遊び誰かやらないんですか
2012-01-25 14:32:36
Deprecated: おねーちゃんですよ!⚓/xhl_kogitsune
@xhl_kogitsune
POPL実況かPOPLエア実況スレはどこですか!! http://t.co/KJWHya87
2012-01-25 17:13:33
Deprecated: おねーちゃんですよ!⚓/xhl_kogitsune
@xhl_kogitsune
. @kinaba @reiodaira とりあえずスレだけ立てときました: POPL 2012 エア実況 http://t.co/rJs6Wvdx #air_POPL
2012-01-25 18:16:20
Deprecated: おねーちゃんですよ!⚓/xhl_kogitsune
@xhl_kogitsune
説明しよう! エアPOPLとは、POPLに参加できなかった人々がセッション開始前に論文を読んで理解して、セッションの時間にエア実況する企画である!(発案:@kinabaてんてー) http://t.co/11wrYLTb #air_POPL
2012-01-26 00:25:09
Deprecated: おねーちゃんですよ!⚓/xhl_kogitsune
@xhl_kogitsune
@tanakh 1本でいいと思うよ! 私も仕事しながら1本読んでるよ! 30分に2本POPL論文読んで理解できる人って一体…
2012-01-26 00:32:13
kinaba
@kinaba
とりあえず最初のボーナス問題まで来たので風呂ってエアPOPLに備えるか（本気でやるんですかこれ http://t.co/Lo7JVrAt
2012-01-26 00:28:28
Deprecated: おねーちゃんですよ!⚓/xhl_kogitsune
@xhl_kogitsune
あっ、そうか論文も読む必要はなくてエア読みすればいいのか!!! 気づかなかった! http://t.co/rJs6Wvdx
2012-01-26 00:33:06
Deprecated: おねーちゃんですよ!⚓/xhl_kogitsune
@xhl_kogitsune
×セッションの時間まで起きていられるかしら ○セッションの時間までに論文読んで理解できるかしら #air_POPL
2012-01-26 00:40:401/26 01:00-02:30
1.A: Verification
Freefinement (Stephan van Staden, Cristiano Calcagno, and Bertrand Meyer)
kinaba
@kinaba
Freefinement (PDF注意) http://t.co/nYo5JLLo だうんろーど中 ETHZ というドメインだけ見てScalaのイメージ（いい加減 #air_POPL
2012-01-26 01:02:53
Deprecated: おねーちゃんですよ!⚓/xhl_kogitsune
@xhl_kogitsune
お、@kinabaせんせーがリアルタイム#air_POPLはじめてるw ヤバイw
2012-01-26 01:10:59
kinaba
@kinaba
Freefinement、言語とその言語上帰納的に定義された仕様記述（論文だとλ計算+型、とかwhileプログラムとHoare論理を例にしてた）一般に対して、まず二つを一つの言語にまとめて、あと概ね決められた規則を足したら使えるRefiment計算が出せるとか #air_POPL
2012-01-26 01:24:11Underspecified harnesses and interleaved bugs (Saurabh Joshi, Shuvendu K. Lahiri, and Akash Lal)
kinaba
@kinaba
"Underspecified Harnesses and Interleaved Bugs" これ面白いなー。ライブラリの関数にはどういう引数が来るか暗黙の仮定みたいなものが何となくよくあって、でも静的解析にかけるにはそういうの厳密しないと警告されまくるんだけど、それウザいので
2012-01-26 01:32:30
kinaba
@kinaba
この論文は cuncurrency bug の静的解析を対象にするんだけど、「sequential な実行なら常に大丈夫（sequentialでも起きる問題は"暗黙の前提"によると起きない）」と仮定して余計な警告をfilter outする警告をする。ふむー #air_POPL
2012-01-26 01:34:47