« May 2006 | Main | July 2006 »
June 27, 2006
[Tech Support] Printers, word and Mac OSX
Generally, I am pretty happy with my Mac. However, I have diagnosed the following problem.
If: I try to print with word, I am not printing on the default printer, and the default printer is not available.
Then: Word will not print. Other applications print fine.
Could be my installation, could be word's problem. Could be a lot of things. All I know for sure that (1) it is annoying and (2) it was hard to figure out.
Posted by jones at 01:16 PM | Comments (0)
June 20, 2006
[Research] Talk at Microsoft Research this Thursday
I'll be giving a talk on "Data Abstraction without Control Abstraction" at Microsoft Research on Thursday. The talk will be in the conference room of building 113. I think I will change the title to "Data Abstraction without Transition Abstraction" though because I think it describes the content of the talk better.
The talk will go over some ideas on model checking for software that our lab is working on. I think these ideas will be interesting to the Microsoft program analysis and model checking people. The model checking work I know at Micrsosoft does data abstraction in a way that relies on transition abstraction. That's good for certain kinds of software, but other forms of data abstraction may prove more useful for other kinds of software.
My PhD student Tonga Bao is coming with.
Posted by jones at 09:37 AM | Comments (0)
June 09, 2006
[Misc.] BYU CS Alumni Feed Aggregation
I was talking with Eric Jarvi the other day and he mentioned creating a BYU CS alumni blog aggregation. I think that's a great idea and here's version 1.0: BYU CS Alumni Blogs. Blogging may just be the ideal way for alumni to keep in touch and build professional networks.
If you are a BYU CS alum and want to add your blog to the aggregation, then please create a comment below (requires TypeKey authentication, accounts are free and you may already have one) with the following information:
- Your name.
- URL for your blog. If the RSS feed is in a non-standard location, then I'll need that too.
- The year in which you graduated from the BYU CS program.
- If you have a work and a home blog and want to include both, then tell me which is which (though I can probably guess).
Posted by jones at 02:37 PM | Comments (1)
June 05, 2006
[Research] Formal Methods Conferences Accept Rates
The following: Software Engineering Conferences (Statistics) is particularly useful in the preparation of notebooks used for getting Tenure (or Continuing Faculty Status as it is known at BYU).
I've also got a paper at PPSN 2006, which is not a formal methods conference, and accept rates in that community can be found here.
Posted by jones at 01:47 PM | Comments (0)