Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Daniel P. Kennedy
Matthew Garber
Barbara Aquilani
Tony J. Prescott
Joel C Fowler
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
ADAM CHLIPALA
Author Info
Open Visualization
Name
Affiliation
Papers
ADAM CHLIPALA
MIT, CSAIL, 77 Massachusetts Ave, Cambridge, MA 02139 USA
1
Collaborators
Citations
PageRank
3
0
0.34
Referers
Referees
References
0
0
0
Publications (1 rows)
Collaborators (3 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Verified Tensor-Program Optimization Via High-Level Scheduling Rewrites
0
0.34
2022
1