Saeed Taheri

Saeed Taheri

Computer Science Ph.D. Candidate @ University of Utah

About me

I just defended my Ph.D. at School of Computing - University of Utah, as a member of Formal Verification Group under supervision of Dr. Ganesh Gopalakrishnan. The title of Ph.D. dissertation is “Debugging and Analysis Tools for Concurrent Programs”. I have created three software systems: DiffTrace, ParLOT and GoAT.

News

  • [11-09-2021] Presented my paper entitled “GOAT: Automated Concurrency Analysis and Debugging Tool for Go” accepted for IISWC 2021 conference (presentation on YouTube).
  • [10-02-2021] Paper entitled “GOAT: Automated Concurrency Analysis and Debugging Tool for Go” accepted for IISWC 2021 conference.
  • [09-07-2021] Started working for Miso Robotics as software engineer
  • [07-28-2021] Successfully defended my Ph.D. dissertation with the title “Debugging and Analysis Tools for Concurrent Programs”. You can call me Dr. Taheri now :).
  • [04-02-2020] Successfully defended my Ph.D. proposal (oral qualification exam) entitled “Efficient Whole-Program Tracing for HPC Behavioral Analysis”. I am now a Ph.D. candidate.
  • [10-22-2019] Presented my short paper (and poster) entitled “Floating Point Analysis via Basic Block Tracing” in Student Forum @ FMCAD’19, San Jose, CA.
  • [09-25-2019] Presented my paper entitled “DiffTrace: Efficient Whole-Program Trace Analysis and Diffing for Debugging” in IEEE CLUSTER’19, Albuquerque, NM.
  • [08-13-2019] Short paper (and poster) entitled “Floating Point Analysis via Basic Block Tracing” accepted in Student Forum @ FMCAD’19.
  • [05-10-2019] Paper entitled “DiffTrace: Efficient Whole-Program Trace Analysis and Diffing for Debugging” accepted in IEEE CLUSTER’19.
  • [11-18-2018] Presented my paper entitled “ParLOT: Efficient Whole-Program Call Tracing for HPC Applications” in ESPT workshop @ SC’18, Dallas, TX.
  • [10-13-2018] Successfully passed my Ph.D. written qualification exam.
  • [10-01-2018] Paper entitled “ParLOT: Efficient Whole-Program Call Tracing for HPC Applications” accepted in Extreme-Scale Programming Tools (ESPT) workshop @ SC’18.
  • [12-05-2017] Finished all required Ph.D. course-work.