Joseph Tassarotti

Groveは、分散システムの信頼性を確保する方法を提供してるよ。

複雑な確率環境でプログラムの終了を確認するための新しい方法。

複雑なプログラムのためのエラークレジットを使った新しいエラーバウンドのアプローチ。

高階の分離論理を使って確率的プログラムの予想コストを理解する新しいアプローチ。

高次確率プログラムの信頼性を確保する新しいアプローチ。

ランダム化が同時実行プログラミングの効率をどう向上させるかを発見しよう。