Skip to content

Commit

Permalink
Updating my website right before OOPSLA 2012.
Browse files Browse the repository at this point in the history
  • Loading branch information
meisam committed Oct 18, 2012
1 parent ad1bead commit ede66ef
Show file tree
Hide file tree
Showing 8 changed files with 130 additions and 40 deletions.
23 changes: 23 additions & 0 deletions _layouts/redirect.html
@@ -0,0 +1,23 @@
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">

<html>
<head>
<meta http-equiv="Content-type" content="text/html; charset=utf-8">
<title>{{ page.title }}</title>
{% include css.html %}
{% include scripts.html %}
<meta http-equiv="REFRESH" content="3;url=index.html"></HEAD>
</head>
<body>
<div id='wrapper'>
<div id='header'>
<h1>{{ page.title }}</h1>
</div>
<div id='content'>
Thank you for visiting my page. You will be automatically redirected in a few seconds. If you are not automaticall redirected, pelase click <a href="./index.html">here</a>.
{{ content }}
</div>
</div>
</body>
</html>
2 changes: 1 addition & 1 deletion ~fathi/calendar.textile
Expand Up @@ -3,4 +3,4 @@ layout: master
title: Meisam Fathi Salmi's Calendar
---

<iframe src="https://www.google.com/calendar/embed?title=Meisam%20Fathi%20Salmi's%20Calendar&amp;showTitle=0&amp;mode=WEEK&amp;height=600&amp;wkst=1&amp;bgcolor=%23FFFFFF&amp;src=6lej44vqok5pbpripd0srloh9g%40group.calendar.google.com&amp;color=%238D6F47&amp;src=meisam.fathi%40gmail.com&amp;color=%232952A3&amp;src=4me8d82i2aoces5apvv6a6jr6s%40group.calendar.google.com&amp;color=%232F6309&amp;ctz=America%2FNew_York" style=" border-width:0 " width="700" height="600" frameborder="0" scrolling="no"></iframe>
<iframe src="https://www.google.com/calendar/embed?title=Meisam's%20Calendar&amp;mode=WEEK&amp;height=600&amp;wkst=1&amp;bgcolor=%23FFFFFF&amp;src=6lej44vqok5pbpripd0srloh9g%40group.calendar.google.com&amp;color=%238D6F47&amp;src=meisam.fathi%40gmail.com&amp;color=%232952A3&amp;src=4me8d82i2aoces5apvv6a6jr6s%40group.calendar.google.com&amp;color=%232F6309&amp;src=po4fqbav9b0v2p5045u90oq7c4%40group.calendar.google.com&amp;color=%23875509&amp;src=1ocs5kcdfdr8vn5fdk72ekngg8%40group.calendar.google.com&amp;color=%232F6309&amp;ctz=America%2FNew_York" style=" border-width:0 " width="700" height="600" frameborder="0" scrolling="no"></iframe>
19 changes: 19 additions & 0 deletions ~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



19 changes: 19 additions & 0 deletions ~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



29 changes: 29 additions & 0 deletions ~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.
25 changes: 1 addition & 24 deletions ~fathi/cse625fall11/index.textile
Expand Up @@ -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.
48 changes: 33 additions & 15 deletions ~fathi/index.textile
Expand Up @@ -6,45 +6,63 @@ 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

<div id="qrcode">!/~fathi/images/qr_cotact_info.png!</div>
*Address*
*Mailing Address*
2015 Neil Avenue
"395 Dreese Laboratories":http://g.co/maps/camg9
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)

5 changes: 5 additions & 0 deletions ~fathi/redirect.textile
@@ -0,0 +1,5 @@
---
layout: redirect
title: Meisam Fathi Salmi
---

0 comments on commit ede66ef

Please sign in to comment.