October 20, 2005

model checking for real-time systems

model checking for real-time systems

Posted by tonga at 10:48 AM | Comments (0)

September 20, 2005

reading

This is the reading for friday

Posted by tonga at 03:11 PM | Comments (0)

September 14, 2005

My response paper for second week of first paper

Since I know what I am looking for in the response papers for the second week of studying a paper, and I am having a hard time articulating what I want, I thought I would work on my own response paper.

I don't want to give away the subject of my paper because I want people to keep an open mind for a little longer (but I will talk about my response so far on friday).

So far, I have read another paper related to our paper and spent some time thinking about an alternate approach. Its taken me quite a while (like an hour, but I am impatient) to decide if my alternate really is different than what's in the paper. I think it is.

Now, I need to spend some time not thinking about "when does my alternate approach work?" It takes me a few days of not thinking about something to get a good insight on that which I am not thinking about. This is the part of the process where I relax, push the alternate approach to the back of my head and come at it again when I am not so emotionally attached to the idea. That takes time.

So my point is: I had to read another paper, I think I have an alternate approach to one problem in the paper and I need 1 or 2 days to take a break and think about it. So don't procrastinate.

Posted by jones at 02:55 PM | Comments (0)

September 13, 2005

What to write in your first summary paper

Write about what you understand about the paper so far. Ideally, you will understand the entire paper at this point and your summary paper will basicallly summarize the paper. Highlight any interesting ideas or insights that you liked about the paper.

The second presentation on the paper this Friday will be the first part of "going beyond" the ideas in the paper. Then, during next week, you will work on going beyond the paper by either going deeper into the background of the paper (like studying SAT solvers and how to do PO reduction using SAT solvers) or deeper into questions raised by the paper.

Posted by jones at 09:55 PM | Comments (0)

September 09, 2005

First presentation on symbolic model checking for async boolean programs

First presentation which covers the paper upto the algorithm.

Posted by jones at 08:16 AM | Comments (0)

September 08, 2005

Reading for Friday 9/10

I will be presenting this paper: Symbolic model checking asychronous boolean programs in class on Friday. Next week we will not have class Monday but we will meet in our small groups.

Posted by jones at 09:00 AM | Comments (0)

August 31, 2005

Groups and grup schedule

Tonga, Joseph, Neha : 1:45 on Thursday

Joel, Rahul, Rohit: 10 on wednesday

Posted by jones at 10:04 AM | Comments (0)

August 30, 2005

A thought: do papers in two weeks?

I got an idea from talking to Joel today. The idea is to do all of the papers in two weeks instead of one week. On the first friday, the presentor would present the highpoints of hte paper. In the first small group meeting, you would turn in a preliminary response paper. In the second friday meeting, you would discuss the paper as a class or somebody else would present/lead a discussion of the paper and what they (and everyone else?) are stuck on. In the final small group meeting, we would get your final responses to the paper.

The nice thing about this approach is that it gets us deeper into the papers and spreads the reading out a little which will allow you more time for deeper involvement with your 786R projects.

We can talk about it Wednesday.

Posted by jones at 09:42 PM | Comments (0)

August 29, 2005

Symbolic model checking asychronous boolean programs (for 9/2, probably)

here are the google results Symbolic model checking for asynchronous boolean programs - Google Search and here is a link to the paper just in case.

Posted by jones at 10:57 AM | Comments (0)

Lecture notes.

lecture notes

Posted by jones at 08:43 AM | Comments (0)

August 26, 2005

A quick run through symbolic representations

The lecture on 8/29 will consist of a quick run through the process of translating a program statement into a boolean formula. Then we will go over the process of translating a boolean formula that represents a transition into a BDD. This will help you finish your symbolic Bogor projects.

The reading for this lecture is in Model Checking by Clarke et al.


Posted by jones at 03:23 PM | Comments (0)

August 23, 2005

Two papers to read from SPIN 2005

I don't plan to suggest all or even many of the papers that we will read but I think its appropriate for me to pick the first one. So far, my pick for the first one is: "Symbolic model checking for asynchronous boolean programs" by Cook Kroening and Sharygina. its from SPIN 2005. I say its my pick so far because there may be another paper that I want us to read first. I'll have copies of the paper once class starts.

Posted by jones at 12:56 PM | Comments (0)