POPL 2012/エアPOPL/関連発言ごった煮
POPLと一度でも呟いた関係ありそうな人の期間中発言(https://twitter.com/#!/xhl_kogitsune/popl2012)、エアPOPL(#air_POPL)勢、その他発言ログ置き場。precisionは低いので後で誰か何とかしたい人が何とかしてね!
-
xhl_kogitsune
- 3495
- 0
- 0
- 0
-
- いいね！0
病気の美少女
@lyrical_logical
まあ読もう…役に立つかどうかなんて学んでからしか大体わからないから仕方ない…役立つかどうかが人間に依存してるという問題もある…
2012-01-29 19:43:26
病気の美少女
@lyrical_logical
ふぉーレース検出の論文たくさんあるなあ…まあでも動的な手法は happened before と lockset だけ押さえとけばいいぽいのでまあ良いだろう…
2012-01-29 19:54:20
病気の美少女
@lyrical_logical
レース検出の文脈でいう "sound" の意味がイマイチ分かってないので誰か知ってる人いたら教えてください。読み進めればわかるとは思うけど。
2012-01-29 20:09:27
shinichiro hamaji
@shinh
@lyrical_logical なにやら僕のすごく興味あるところを勉強されてますね…raceマジで困るんでrace無しプログラミング勉強会しませんか… sound はたぶん false negative が無いってことじゃないですかねたぶん…
2012-01-29 20:15:35
病気の美少女
@lyrical_logical
@shinh ボクは今 POPL12 の "Sound Predictive Race Detection in Polynomial Time" 読もうとして、知識足りなさすぎたので Eraser とかの読んでたって感じです。勉強会いいですね。
2012-01-29 20:19:58