Meisam Fathi Salmi
PhD. Student
Department of Computer Science and Engineering
The Ohio State University
I’m a second year Ph.D. student in the Ohio State University. My research interests are programming languages and compilers, particularly, I’m interested in automatic analysis of programs for detecting bugs. During my master studies, I was working on using static analysis techniques for detecting bugs. Now, I am working on dynamic analysis techniques for detecting bugs in concurrent programs in the Programming Languages and Software Systems (PLaSS) Group. My advisor is Dr. Michael Bond.
Contact
Mailing Address
2015 Neil Avenue
395 Dreese Laboratories
Columbus, OH 43210, U.S.A.
Email: fathi [at] cse [dot] ohio-state [dot] edu
URL: http://www.cse.ohio-state.edu/~fathi
Office: 674 Dreese labs
TA office: 174 Dreese labs
Calendar: 
Research
- Winter 2012—now: Research Assistant in Programming Languages and Software Systems (PLaSS) Research Group
Publications
- Tech report, 2012: Octet: Practical Concurrency Control for Dynamic Analyses and Systems
Michael D. Bond, Milind Kulkarni, Meisam Fathi Salmi, Minjia Zhang, Swarnendu Biswas, Jipeng Huang, and Aritra Sengupta
- FGIT 2009: Automatic Detection of Infinite Recursion in AspectJ Programs
Meisam Fathi Salmi, and Saeed Parsa
Teaching Assistant
- Spring 2013
- CSE 2111: Teaching Modeling and Problem Solving with Spreadsheets and Databases
- Spring 2012
- CSE 100: Teaching Introduction to Computing Technology
- Winter 2012
- CSE 100: Teaching assistant for Introduction to Computing Technology by Michael Compton
- Autumn 2011
- CSE 625: Teaching assistant for Introduction to Automata and Formal Languages by Kenneth Supowit
Courses
- Autumn 2012:
- CSE 5239: Dynamic Analysis of Software by Atanas (Nasko) Rountev
- Spring 2012:
- CSE 725: Computability and Unsolvability by Luis Rademacher
- CSE 756: Compiler Design and Implementation by Atanas (Nasko) Rountev
- Winter 2012:
- CSE 775: Computer Architecture by Radu Teodorescu
- CSE 780: Analysis of Algorithms by Rephael Wenger
- Autumn 2011:
- CSE 788.07: Dynamic Program Analysis and Runtime Systems for Reliable Concurrent Software by Michael Bond
- CSE 755: Programming Languages by Atanas (Nasko) Rountev
- CSE 885: Seminar on Research Topics in Computer by Xiaodong Zhang and others
- EDUTL 505: Classroom English for International Graduate Teaching Associates by Ruth Roberts-Kohno
About me
- Education:
- Masters in Computer Engineering: Department of Software Engineering, Iran University of Science and Technology.
- Bachelors in Computer Engineering: Department of Computer Engineering, Kharazmi University (former Tarbiat Moallem University)