Elamur Research⌕
☰
home / authors / Oded Padon

Oded Padon

Oded Padon has 2 papers in our library, in 2019; often with Alex Aiken, Matei Zaharia, Mina Lee.

2 papers in our library · 2019

OpenAlex · ORCID · Wikidata · h-index 18 · 70 works · 1,301 citations OpenAlex, 2026-10-14

📄 2 works in our library · 🔗 Cited 173 times in our library · 1 more in our library without a page yet · ⭐ Paper Stars ranking: #6845

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Affiliations

🎓Weizmann Institute of ScienceRehovot · Israel2024–2026 · 10 paperscurrent🏢VMwarePalo Alto · United States2021–2024 · 20 papers🎓Tel Aviv UniversityTel Aviv · Israel2014–2019 · 19 papers🎓Stanford UniversityStanford · United States2018–2024 · 16 papers

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine.

 Fields, topics and concepts

Of its works in our library, with the number of works on each.

📚 Shelves 4The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksComputer Science Applications · 1 workInformation Systems · 1 workSoftware · 1 work

 Works by year

2010s

20192 papers

 Papers

The most cited first (OpenAlex and our library).

  1. SPoC: Search-based Pseudocode to Code (2019 · 96 citations)
    SPoC addresses the generation of complete, multi-line C++ programs (roughly 10–20 lines) from line-by-line natural-language pseudocode.
  2. TASO: Optimizing Deep Learning Computation with Automatic Generation of Graph Substitutions (2019 · 72 citations)
    Deep learning frameworks such as TensorFlow, PyTorch, TensorRT and TVM speed up computation graphs by rewriting subgraphs into faster equivalent forms.

All works

3 works of theirs in our library, the most cited first; 2 with a page here, the others link their original until we summarise them.

  1. SPoC: Search-based Pseudocode to CodearXiv:1906.04908Sumith Kulal, Panupong Pasupat, Kartik Chandra, et al.2019 · 96 citations
  2. TASO: Optimizing Deep Learning Computation with Automatic Generation of Graph SubstitutionsSOSP 2019Zhihao Jia, Oded Padon, James Thomas, et al.2019 · 72 citations
  3. Clover: Closed-Loop Verifiable Code Generation ↗arXiv:2310.17807 · no summary yetChuyue Sun et al.2024 · 56 citations

 Co-authors here

6 co-authors with a page, the most papers together first.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

 Cited by

Papers of our library cite their works 173 times (of the 149,439 papers whose bibliographies we read); 25 citing papers with a page here →.

Updated

This page in Markdown → https://md.research.elamur.ai/free/en/authors/oded-padon/