# George Necula UC Berkeley 教授。プログラミング言語理論・形式検証・型理論の研究者として知られる。分散システムの障害実行最小化ツール DEMi(NSDI 2016)の共著者。(Source: [[@2016__NSDI__Minimizing Faulty Executions of Distributed Systems]]) ## 関連 - ソース: [[@2016__NSDI__Minimizing Faulty Executions of Distributed Systems]] - 共著者: [[Colin Scott]] / [[Aurojit Panda]] / [[Arvind Krishnamurthy]] / [[Scott Shenker]] ## 出典 - [[@2016__NSDI__Minimizing Faulty Executions of Distributed Systems]](共著者)