基本信息
views: 3
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
Selected Awards
a16z Open Source AI Grant 2023.
Machine Learning and Systems Rising Stars (ML Commons) 2023.
Human-Centered Artificial Intelligence (HAI) Graduate Fellowship Program, Stanford University 2022 - 2023.
Best tool paper award at the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, 2022.
Best paper award at International Joint Conference on Automated Reasoning (IJCAR) 2020.
School of Engineering Fellowship, Stanford University 2018 - 2019.
ACM International Collegiate Programming Contest(ICPC) World Finalist 2018.
Champion in ACM International Collegiate Programming Contest (ICPC) Greater New York 2017.
Course Assistant Fellowship (<2%), Columbia University 2017.
Silver Medal in National Olympiad in Informatics (NOI) 2011, China.
a16z Open Source AI Grant 2023.
Machine Learning and Systems Rising Stars (ML Commons) 2023.
Human-Centered Artificial Intelligence (HAI) Graduate Fellowship Program, Stanford University 2022 - 2023.
Best tool paper award at the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, 2022.
Best paper award at International Joint Conference on Automated Reasoning (IJCAR) 2020.
School of Engineering Fellowship, Stanford University 2018 - 2019.
ACM International Collegiate Programming Contest(ICPC) World Finalist 2018.
Champion in ACM International Collegiate Programming Contest (ICPC) Greater New York 2017.
Course Assistant Fellowship (<2%), Columbia University 2017.
Silver Medal in National Olympiad in Informatics (NOI) 2011, China.
Research Interests
Papers共 26 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Wei-Lin Chiang,Lianmin Zheng,Ying Sheng, Anastasios Angelopoulos,Tianle Li, Dacheng Li,Banghua Zhu,Hao Zhang,Michael Jordan,Joseph E Gonzalez,Ion Stoica
ICML 2024 (2024)
Cited65Views0EIBibtex
65
0
Ying Sheng ,Shiyi Cao, Dacheng Li,Coleman Hooper, Nicholas Lee, Shuo Yang, Christopher Chou,Banghua Zhu,Lianmin Zheng,Kurt Keutzer,Joseph Gonzalez ,Ion Stoica
MLSys (2024)
Cited0Views0EIBibtex
0
0
Tinghao Xie,Xiangyu Qi,Yi Zeng,Yangsibo Huang, Udari Madhushani Sehwag,Kaixuan Huang,Luxi He, Boyi Wei, Dacheng Li,Ying Sheng,Ruoxi Jia,Bo Li,
arxiv(2024)
Cited0Views0Bibtex
0
0
Chloe Loughridge, Qinyi Sun, Seth Ahrenbach,Federico Cassano, Chuyue Sun,Ying Sheng, Anish Mudide, Md Rakib Hossain Misu,Nada Amin,Max Tegmark
arxiv(2024)
Cited0Views0Bibtex
0
0
Journal of Automated Reasoningno. 4 (2023): 1-22
arXiv (Cornell University) (2023)
CoRR (2023): 965-988
Cited0Views0EIBibtex
0
0
J. Autom. Reason.no. 3 (2023): 1-34
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn