自分のプロフィールを作成
オープン アクセス
すべて表示5 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Sriram RajamaniMicrosoft Research 確認したメール アドレス: microsoft.com
- James R LarusProfessor, EPFL確認したメール アドレス: larusstone.org
- Nachiappan NagappanFacebook確認したメール アドレス: fb.com
- Shuvendu LahiriSenior Principal Researcher, Microsoft Research確認したメール アドレス: microsoft.com
- Shaz QadeerSoftware Engineer, Meta確認したメール アドレス: meta.com
- Madanlal MusuvathiMicrosoft Research確認したメール アドレス: microsoft.com
- Fred DouglisPeraton Labs確認したメール アドレス: Peratonlabs.com
- Todd MillsteinProfessor of Computer Science, UCLA確認したメール アドレス: cs.ucla.edu
- Stephen G. Eick確認したメール アドレス: kscopeinc.com
- Steve HodgesLancaster University 📄= pub; 💡= patent ; 🏆/🏅= award/mention確認したメール アドレス: lancaster.ac.uk
- Byron CookProfessor of Computer Science, UCL, Amazon確認したメール アドレス: cs.ucl.ac.uk
- Rupak MajumdarMPI for Software Systems確認したメール アドレス: mpi-sws.org
- James DevineMicrosoft確認したメール アドレス: microsoft.com
- Andreas PodelskiProfessor of Computer Science, Freiburg University確認したメール アドレス: informatik.uni-freiburg.de
- Sebastian BurckhardtMicrosoft Research確認したメール アドレス: microsoft.com
- Mooly SagivTel Aviv University確認したメール アドレス: acm.org
- Peter J. Danielsen確認したメール アドレス: uwalumni.com
- Joe FinneyLancaster University確認したメール アドレス: comp.lancs.ac.uk
- Michael BenediktProfessor of Computer Science, Oxford University確認したメール アドレス: cs.ox.ac.uk
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of Wisconsin確認したメール アドレス: cs.wisc.edu