Oded Padon

发表

Alexander Aiken, Rahul Sharma, Oded Padon, 2019, PLDI.

Kenneth L. McMillan, Shmuel Sagiv, Sharon Shoham, 2016, PLDI.

James R. Wilcox, Jason R. Koenig, A. Aiken, 2022, Proc. ACM Program. Lang..

Kenneth L. McMillan, Oded Padon, K. McMillan, 2020, CAV.

Percy Liang, Oded Padon, Alex Aiken, 2019, NeurIPS.

Neil Immerman, Shmuel Sagiv, Aleksandr Karbyshev, 2016, POPL.

Shmuel Sagiv, Sharon Shoham, Oded Padon, 2017, Proc. ACM Program. Lang..

Kenneth L. McMillan, Shmuel Sagiv, Sharon Shoham, 2016, PLDI.

Umut A. Acar, Zhihao Jia, Sina Lin, 2022, PLDI.

Jochen Hoenicke, Andreas Podelski, Shmuel Sagiv, 2017, Proc. ACM Program. Lang..

Deepak D'Souza, Noam Rinetzky, Sharon Shoham, 2020, ArXiv.

Y. Ashkenazy, Oded Padon, 2017, Journal of Marine Systems.

Kenneth L. McMillan, Oded Padon, K. McMillan, 2018, SAS.

Umut A. Acar, A. Aiken, Zhihao Jia, 2022, ArXiv.

Oded Padon, Chuyue Sun, Clark W. Barrett, 2023, SAIV.