Second Meeting: Friday April 13th at 11am ("Termination Proofs for System Code")

[Matt Russell]

Hey everyone,

So I've been charged with setting up the next meeting since the seniors who typically plan these meetings are extremely busy writings awards, winning awards, and the like. We had an interesting discussion in the Faculty Candidate Lecture and the "Terminator" came up as a tool to determine (in many but not all cases) termination in programs. There was a lot of interest in this paper among many undergraduates so I thought I'd pick a date and see if there any major objections. I'm assuming pizza as well if we give the front office the heads up.

Paper:

http://research.microsoft.com/en-us/um/cambridge/projects/terminator/binreach.pdf

Matt

[Taylor Lentz]

YES

--
You received this message because you are subscribed to the Google Groups "Tufts CS Reading Group" group.
To view this discussion on the web visit https://groups.google.com/d/msg/tufts-cs-reading-group/-/OQoW0YV84BoJ.
To post to this group, send email to tufts-cs-re...@googlegroups.com.
To unsubscribe from this group, send email to tufts-cs-reading-...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/tufts-cs-reading-group?hl=en.

--
Taylor Lentz | Tufts University School of Engineering - 2014 | B.S. in Computer Science and Math

[Phil Tang]

I'll be out of town, but have fun with the paper! It sounds like a fun one.

Phil

--