Ethan Zhang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus. | Chuyue Sun, Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu K. Lahiri, Shan Lu, David L. Dill, Clark W. Barrett |
| 2024 | ICRA | Multi-Granular Transformer for Motion Prediction with LiDAR. | Yiqian Gan, Hao Xiao, Yizhe Zhao, Ethan Zhang, Zhe Huang, Xin Ye, Lingting Ge |
| 2023 | CHI | OATutor: An Open-source Adaptive Tutoring System and Curated Content Library for Learning Sciences Research. | Zachary A. Pardos, Matthew Tang, Ioannis Anastasopoulos, Shreya K. Sheel, Ethan Zhang |
| 2012 | RecSys | Multiple objective optimization in recommender systems. | Mario Rodrguez, Christian Posse, Ethan Zhang |