自分のプロフィールを作成
オープン アクセス
すべて表示14 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Shaz QadeerSoftware Engineer, Meta確認したメール アドレス: meta.com
- Randal BryantCarnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Thomas BallMicrosoft Research確認したメール アドレス: microsoft.com
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeley確認したメール アドレス: eecs.berkeley.edu
- Akash LalMicrosoft Research, India確認したメール アドレス: microsoft.com
- Isil DilligUT Austin確認したメール アドレス: cs.utexas.edu
- Madanlal MusuvathiMicrosoft Research確認したメール アドレス: microsoft.com
- Christian BirdMicrosoft Research確認したメール アドレス: microsoft.com
- Zvonimir RakamaricAmazon Web Services (AWS)確認したメール アドレス: amazon.com
- Todd MytkowiczMicrosoft Research確認したメール アドレス: microsoft.com
- Henrique RebêloProfessor of Computer Science, Universidade Federal de Pernambuco確認したメール アドレス: cin.ufpe.br
- Elizabeth DinellaUniversity Of Pennsylvania確認したメール アドレス: seas.upenn.edu
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of Wisconsin確認したメール アドレス: cs.wisc.edu
- Yuepeng WangSimon Fraser University確認したメール アドレス: sfu.ca
- Byron CookProfessor of Computer Science, UCL, Amazon確認したメール アドレス: cs.ucl.ac.uk
- Michael D. ErnstProfessor of Computer Science & Engineering, University of Washington確認したメール アドレス: cs.washington.edu
- Jordan HenkelSenior Scientist, Microsoft確認したメール アドレス: cs.wisc.edu
- Jeevana Priya InalaMicrosoft確認したメール アドレス: microsoft.com
- Alexey SvyatkovskiyGoogle DeepMind確認したメール アドレス: google.com
- Sam BlackshearMysten Labs確認したメール アドレス: mystenlabs.com