November 30, 2005
How the class will end
We will have small group meetings this week (Nov 28-Dec 2) and we will have Joseph's second presentation on symbolic pointer analysis on Friday at 11 am as usual. You should turn in summaries of Joseph's paper this week.
Next week, we will have small group meetings on wednesday for sure and maybe on thursday. Though I may be out of town on Thursday, too early to tell. If I am gone, then just send in your response papers.
Our final is Monday Dec 12 at 11am to 2pm. It will consiste of your research presentations as outlined in the syllabus. Rohit will probably want to call in to do his presentation and then listen to a few. He may not want to stay by the phone for the whole three hours. Your call.
That's about it. Hope the class was useful for you and deepened your breadth in model checking while allowing you to make focused progress on your research goals.
Posted by jones at 02:27 PM | Comments (0)
October 03, 2005
Proposals due Wednesday 10/05, for sure
The proposals for the semester project are due Wednesday. See the syllabus for details on what to put in the proposal.
Posted by jones at 10:13 AM | Comments (0)
September 10, 2005
First response paper is a summary paper
Since we are going to spend two weeks on each paper, it doesn't make alot of sense for you to write two response papers. Here's what we are going to do:
For the first small group meeting, bring a one to two page summary of the paper. Be very technical in your summary.
For the second small group meeting, bring a one to two page response paper. This paper is the paper described in the syllabus.
I think this change will give us a more in-depth experience with each paper. if not, we can always change it...
Posted by jones at 07:58 PM | Comments (0)
August 16, 2005
How class will work
We are going to use a modified lecture style for 786R. The goal is to encourage individual critical thinking about the readings through small group discussions in my office. We will meet once a week for a "normal" lecture. The class will be divided into two groups. Each group will meet with me in my office once a week for an hour and a half. You will bring a response paper with you to the small group meetings. During the group meetings, we will discuss the reading from the previous full-class meeting and your responses to those readings. You will be graded on: your ability to articulate your response and intelligently discuss the reading, the apparent depth of your response and your response paper. I would expect that you will need 3 hours of study to prepare for the full-class paper presentation and another 7-10 hours or more to study the paper and do "enough other stuff" to formulate a well-thought out and justified response and write the response paper. In addition, there will be a semester-long research project in which you identify a project, do it and prepare a final report.
The full-class meeting will be held Friday at 10 am in 341 MCKB. We will schedule the small group discussions based on our mutual convenience. The full-class meetings will consist of paper presentations by myself and class members.
During the first week we will meet Monday, Wednesday and Friday. We will identify papers to read during the semester (in which you suggest the papers), divide into small groups, schedule small group meetings and schedule the papers. The first paper will be presented Friday of the first week and we will start small group meetings the next week.
Posted by jones at 09:59 PM | Comments (0)