From ede66ef179ce14fb329ffad4d877499c3cc1efbb Mon Sep 17 00:00:00 2001 From: Meisam Fathi Salmi Date: Thu, 18 Oct 2012 12:58:31 -0400 Subject: [PATCH] Updating my website right before OOPSLA 2012. --- _layouts/redirect.html | 23 +++++++++++++ ~fathi/calendar.textile | 2 +- ~fathi/cse100spring12/index.textile | 19 +++++++++++ ~fathi/cse100winter12/index.textile | 19 +++++++++++ ~fathi/cse625fall11/archived.textile | 29 +++++++++++++++++ ~fathi/cse625fall11/index.textile | 25 +-------------- ~fathi/index.textile | 48 +++++++++++++++++++--------- ~fathi/redirect.textile | 5 +++ 8 files changed, 130 insertions(+), 40 deletions(-) create mode 100644 _layouts/redirect.html create mode 100644 ~fathi/cse100spring12/index.textile create mode 100644 ~fathi/cse100winter12/index.textile create mode 100644 ~fathi/cse625fall11/archived.textile create mode 100644 ~fathi/redirect.textile diff --git a/_layouts/redirect.html b/_layouts/redirect.html new file mode 100644 index 0000000..0c3e302 --- /dev/null +++ b/_layouts/redirect.html @@ -0,0 +1,23 @@ + + + + + + {{ page.title }} + {% include css.html %} + {% include scripts.html %} + + + +
+ +
+ Thank you for visiting my page. You will be automatically redirected in a few seconds. If you are not automaticall redirected, pelase click here. + {{ content }} +
+
+ + diff --git a/~fathi/calendar.textile b/~fathi/calendar.textile index 9ac9fb7..f4651a8 100644 --- a/~fathi/calendar.textile +++ b/~fathi/calendar.textile @@ -3,4 +3,4 @@ layout: master title: Meisam Fathi Salmi's Calendar --- - + diff --git a/~fathi/cse100spring12/index.textile b/~fathi/cse100spring12/index.textile new file mode 100644 index 0000000..0a58fed --- /dev/null +++ b/~fathi/cse100spring12/index.textile @@ -0,0 +1,19 @@ +--- +layout: course-ta +title: CSE 100 (Spring 2012) +--- + +I'm a teaching "CSE 100 (Introduction to Computing Technology)":http://www.cse.ohio-state.edu/cgi-bin/syllabus-view.cgi?cgi_state=view;SYLLABUS_ID=623 this quarter (Spring 2012). This course is available on "Carman":https://carmen.osu.edu/. +If you have any question about the homework or grading, please come to my office or send me an email. + +If you are not free during my office hours, please send me an email with a list of your free time slots. You may want to take a look at my "calendar":/~fathi/calendar.html before sending me an email. + +*Office:* Caldwell Laboratory, Room 418 +Columbus, OH 43210 + +*Office hours:* Monday 9:00-10:00am or by appointment + +*E-mail:* fathi [at] cse [dot] ohio-state [dot] edu + + + diff --git a/~fathi/cse100winter12/index.textile b/~fathi/cse100winter12/index.textile new file mode 100644 index 0000000..3601008 --- /dev/null +++ b/~fathi/cse100winter12/index.textile @@ -0,0 +1,19 @@ +--- +layout: course-ta +title: CSE 100 (Winter 2012) +--- + +I'm a TA for "CSE 100 (Introduction to Computing Technology)":http://www.cse.ohio-state.edu/cgi-bin/syllabus-view.cgi?cgi_state=view;SYLLABUS_ID=623 for "Michael Compton":http://www.cse.ohio-state.edu/~mcompton/ this quarter (Winter 2012). This course is available on "Carman":https://carmen.osu.edu/. +If you have any question about the homework or grading, please come to my office or send me an email. + +If you are not free during my office hours, please send me an email with a list of your free time slots. You may want to take a look at my "calendar":/~fathi/calendar.html before sending me an email. + +*Office:* Caldwell Laboratory, Room 418 +Columbus, OH 43210 + +*Office hours:* Tuesday 2:00-3:00pm or by appointment + +*E-mail:* fathi [at] cse [dot] ohio-state [dot] edu + + + diff --git a/~fathi/cse625fall11/archived.textile b/~fathi/cse625fall11/archived.textile new file mode 100644 index 0000000..c1d7837 --- /dev/null +++ b/~fathi/cse625fall11/archived.textile @@ -0,0 +1,29 @@ +--- +layout: course-ta +title: CSE 625 (Autumn 2011) +--- + +I'm a TA for CSE 625 (Introduction to Automata and Formal Languages) for professor "Kenneth J. Supowit":http://www.cse.ohio-state.edu/~supowit/ this quarter (Autumn 2011). If you have any question about the homework or grading, please come to my office or send me an email. + +If you are not free during my office hours, please send me an email with a list of your free time slots. You may want to take a look at my "calendar":/~fathi/calendar.html before sending me an email. + +*Office:* 118 Bolz Hall (Space #12) +Columbus, OH 43210 + +*Office hours:* Monday, Wednesday 1:30pm-2:30pm or by appointment + +*E-mail:* fathi [at] cse [dot] ohio-state [dot] edu + +h2. Homework + +You can find more information about each homework (the breakdown into points and distribution of scores for each question) on the page for each homework. + +table(homework-list). +|_. |_. MIN[1] |_. MAX[1] |_. AVERAGE[1] | +| "Homework #1":hw1.html |=. 10 |=. 100 |=. 49.6 | +| "Homework #2":hw2.html |=. 12 |=. 96 |=. 47.2 | +| "Homework #3":hw3.html |=. 10 |=. 92 |=. 57.9 | +| "Homework #4":hw4.html |=. 15 |=. 90 |=. 59.6 | +| "Homework #5":hw5.html |=. 15 |=. 95 |=. 63.0 | + +fn1. Note that these numbers are not 100% accurate. Some students turn in the homework late. Some students may drop the course during the quarter. diff --git a/~fathi/cse625fall11/index.textile b/~fathi/cse625fall11/index.textile index c1d7837..cdb5e86 100644 --- a/~fathi/cse625fall11/index.textile +++ b/~fathi/cse625fall11/index.textile @@ -3,27 +3,4 @@ layout: course-ta title: CSE 625 (Autumn 2011) --- -I'm a TA for CSE 625 (Introduction to Automata and Formal Languages) for professor "Kenneth J. Supowit":http://www.cse.ohio-state.edu/~supowit/ this quarter (Autumn 2011). If you have any question about the homework or grading, please come to my office or send me an email. - -If you are not free during my office hours, please send me an email with a list of your free time slots. You may want to take a look at my "calendar":/~fathi/calendar.html before sending me an email. - -*Office:* 118 Bolz Hall (Space #12) -Columbus, OH 43210 - -*Office hours:* Monday, Wednesday 1:30pm-2:30pm or by appointment - -*E-mail:* fathi [at] cse [dot] ohio-state [dot] edu - -h2. Homework - -You can find more information about each homework (the breakdown into points and distribution of scores for each question) on the page for each homework. - -table(homework-list). -|_. |_. MIN[1] |_. MAX[1] |_. AVERAGE[1] | -| "Homework #1":hw1.html |=. 10 |=. 100 |=. 49.6 | -| "Homework #2":hw2.html |=. 12 |=. 96 |=. 47.2 | -| "Homework #3":hw3.html |=. 10 |=. 92 |=. 57.9 | -| "Homework #4":hw4.html |=. 15 |=. 90 |=. 59.6 | -| "Homework #5":hw5.html |=. 15 |=. 95 |=. 63.0 | - -fn1. Note that these numbers are not 100% accurate. Some students turn in the homework late. Some students may drop the course during the quarter. +The Contets of this course have been archived. diff --git a/~fathi/index.textile b/~fathi/index.textile index 1a21957..d2d1ad7 100644 --- a/~fathi/index.textile +++ b/~fathi/index.textile @@ -6,16 +6,15 @@ title: Meisam Fathi Salmi h1(#title). Meisam Fathi Salmi -Ph.D. Candidate +PhD. Student "Department of Computer Science and Engineering":http://www.cse.osu.edu "The Ohio State University":http://www.osu.edu -I'm a first 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 under the supervision of "Dr. Michael Bond":http://www.cse.ohio-state.edu/~mikebond in the "Programming Languages and Software Systems (PLaSS) Group":http://www.cse.ohio-state.edu/~mikebond/plass/. +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":http://www.cse.ohio-state.edu/~mikebond/plass/. My advisor is "Dr. Michael Bond":http://www.cse.ohio-state.edu/~mikebond. h2(#Contact). Contact -
!/~fathi/images/qr_cotact_info.png!
-*Address* +*Mailing Address* 2015 Neil Avenue "395 Dreese Laboratories":http://g.co/maps/camg9 Columbus, OH 43210, U.S.A. @@ -23,28 +22,47 @@ Columbus, OH 43210, U.S.A. *Email*: fathi [at] cse [dot] ohio-state [dot] edu *URL*: "http://www.cse.ohio-state.edu/~fathi":http://www.cse.ohio-state.edu/~fathi -*Office*: "Bolz Hall 118":http://g.co/maps/hdvnf -*Office Hours*: Monday, Wednesday, 1:30pm-2:30-pm or by appointment. +*Office*: "674 Dreese labs":http://g.co/maps/camg9 *Calendar*: !http://www.google.com/calendar/images/ext/gc_button1.gif(My Google Calendar)!:calendar.html h2(#Research). Research -h2(#Courses). Courses +* Winter 2012--now: Research Assistant in "Programming Languages and Software Systems (PLaSS) Research Group":http://www.cse.ohio-state.edu/~mikebond/plass/ -* Autumn 2011: -** CSE 788.07: "Dynamic Program Analysis and Runtime Systems for Reliable Concurrent Software":http://www.cse.ohio-state.edu/~mikebond/788/ by "Dr. Michael Bond":http://www.cse.ohio-state.edu/~mikebond/ -** CSE 755: "Programming Languages":http://www.cse.ohio-state.edu/~rountev/755/ by "Dr. Atanas (Nasko) Rountev":http://www.cse.ohio-state.edu/~rountev/ -** CSE 885: "Seminar on Research Topics in Computer": by "Dr. Xiaodong Zhang":http://www.cse.ohio-state.edu/~zhang/ and others -** EDUTL 505: Classroom English for International Graduate Teaching Associates by Dr. Ruth Roberts-Kohno +h2(#Publications). Publications -h2(#Teaching). Teaching Assistant +** Tech report, 2012: "Octet: Practical Concurrency Control for Dynamic Analyses and Systems":http://www.cse.ohio-state.edu/~mikebond/papers.html#octet +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":http://www.springerlink.com/content/21116338302846u5/ +Meisam Fathi Salmi, and Saeed Parsa +h2(#Teaching). Teaching Assistant +* Spring 2012 +** CSE 100: Teaching "Introduction to Computing Technology":cse100spring12/index.html +* Winter 2012 +** CSE 100: Teaching assistant for "Introduction to Computing Technology":cse100winter12/index.html by "Michael Compton":http://www.cse.ohio-state.edu/~mcompton/ * Autumn 2011 -** CSE 625: "Introduction to Automata and Formal Languages":cse625fall11/index.html by "Dr. Kenneth J. Supowit":http://www.cse.ohio-state.edu/~supowit/. +** CSE 625: Teaching assistant for "Introduction to Automata and Formal Languages":cse625fall11/index.html by "Kenneth Supowit":http://www.cse.ohio-state.edu/~supowit/ + +h2(#Courses). Courses +* Autumn 2012: +** CSE 5239: " Dynamic Analysis of Software":http://www.cse.ohio-state.edu/~rountev/5239/ by "Atanas (Nasko) Rountev":http://www.cse.ohio-state.edu/~rountev/ +* Spring 2012: +** CSE 725: "Computability and Unsolvability":http://www.cse.ohio-state.edu/~lrademac/Wi10_725/ by "Luis Rademacher":http://www.cse.ohio-state.edu/~lrademac/ +** CSE 756: "Compiler Design and Implementation":http://www.cse.ohio-state.edu/~rountev/756/ by "Atanas (Nasko) Rountev":http://www.cse.ohio-state.edu/~rountev/ +* Winter 2012: +** CSE 775: Computer Architecture by "Radu Teodorescu":http://www.cse.ohio-state.edu/~teodores/ +** CSE 780: Analysis of Algorithms by "Rephael Wenger":http://www.cse.ohio-state.edu/~wenger/ +* Autumn 2011: +** CSE 788.07: "Dynamic Program Analysis and Runtime Systems for Reliable Concurrent Software":http://www.cse.ohio-state.edu/~mikebond/788/ by "Michael Bond":http://www.cse.ohio-state.edu/~mikebond/ +** CSE 755: "Programming Languages":http://www.cse.ohio-state.edu/~rountev/755/ by "Atanas (Nasko) Rountev":http://www.cse.ohio-state.edu/~rountev/ +** CSE 885: Seminar on Research Topics in Computer by "Xiaodong Zhang":http://www.cse.ohio-state.edu/~zhang/ and others +** EDUTL 505: Classroom English for International Graduate Teaching Associates by Ruth Roberts-Kohno h2(#AboutMe). About me * Education: ** Masters in Computer Engineering: Department of Software Engineering, "Iran University of Science and Technology":http://www.iust.ac.ir/home_en.php. -** Bachelors in Computer Engineering: Department of Computer Engineering, "Tarbiat Moallem University":http://www.tmu.ac.ir +** Bachelors in Computer Engineering: Department of Computer Engineering, "Kharazmi University":http://www.tmu.ac.ir (former Tarbiat Moallem University) diff --git a/~fathi/redirect.textile b/~fathi/redirect.textile new file mode 100644 index 0000000..4dfdede --- /dev/null +++ b/~fathi/redirect.textile @@ -0,0 +1,5 @@ +--- +layout: redirect +title: Meisam Fathi Salmi +--- +