https://calfproject.github.io/azhou4/ azhou4 /azhou4/ Andrew Zhou Person Carnegie Mellon University Undergraduate Student References Context https://calfproject.github.io/team-ugrad/ team-ugrad /team-ugrad/ Undergraduate Students Team https://calfproject.github.io/azhou4/ azhou4 /azhou4/ Andrew Zhou Person Carnegie Mellon University Undergraduate Student https://calfproject.github.io/lkebulad/ lkebulad /lkebulad/ Lukas Kebuladze Person Carnegie Mellon University Undergraduate Student Backlinks Andrew Zhou https://calfproject.github.io/zhou-2025/ zhou-2025 /zhou-2025/ Formally Verified Cost of the Parallel Prefix Sum Algorithm Reference Technical Report, Carnegie Mellon University https://www.cs.cmu.edu/~runmingl/student/zhou-scan.pdf 2025, title = {Formally Verified Cost of the Parallel Prefix Sum Algorithm}, author = {Andrew Zhou}, year = {2025}, month = {aug}, url = {https://www.cs.cmu.edu/~runmingl/student/zhou-scan.pdf}, institution = {Carnegie Mellon University} }]]> CMU undergraduate summer SURA project report by Andrew Zhou, supervised by Runming Li. Related https://calfproject.github.io/cmu/ cmu /cmu/ Carnegie Mellon University Institution https://www.cmu.edu/ Pittsburgh, PA, USA Contributions Andrew Zhou https://calfproject.github.io/zhou-2025/ zhou-2025 /zhou-2025/ Formally Verified Cost of the Parallel Prefix Sum Algorithm Reference Technical Report, Carnegie Mellon University https://www.cs.cmu.edu/~runmingl/student/zhou-scan.pdf 2025, title = {Formally Verified Cost of the Parallel Prefix Sum Algorithm}, author = {Andrew Zhou}, year = {2025}, month = {aug}, url = {https://www.cs.cmu.edu/~runmingl/student/zhou-scan.pdf}, institution = {Carnegie Mellon University} }]]> CMU undergraduate summer SURA project report by Andrew Zhou, supervised by Runming Li.