« BYU CS Alumni Feed Aggregation | Main | Printers, word and Mac OSX »
June 20, 2006
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 June 20, 2006 09:37 AM
Comments
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)